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-2.opb
MD5SUM	a931f7e9a55cb6836807387327525e8b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-35
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.08
Number of variables	945
Total number of constraints	58624
Number of constraints which are clauses	58624
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 40878

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 00:13:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28944 boxname=wulflinc5 idbench=330 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  a931f7e9a55cb6836807387327525e8b  /oldhome/oroussel/tmp/wulflinc5/normalized-frb45-21-2.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-frb45-21-2.opb
IDLAUNCH: 28944
/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:        913652 kB
Buffers:          6628 kB
Cached:          93008 kB
SwapCached:        732 kB
Active:          25300 kB
Inactive:        76420 kB
HighTotal:      131008 kB
HighFree:        36680 kB
LowTotal:       903652 kB
LowFree:        876972 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13748 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 00:33:36 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 28944 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 945 variables and 58624 constraints.
c After prepocess the problem consists of 945 variables and 40213 constraints.
c preprocess terminated 386.839 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.85 0.95 0.90 1/54 24377
Raw data (stat): 24377 (runsolver) R 24376 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905866736 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0015 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 22301 0 0 0 939 58 0 0 25 0 1 0 905866736 94433280 22218 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23055 22218 1111 63 0 22992 0
vsize: 92220
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 1934 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+30.0022 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 2934 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221222992 134542723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+40.0025 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 3934 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+50.0026 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 4934 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223056 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+60.0024 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 5934 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223000 1077377891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+70.0028 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 6935 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+80.0029 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 7935 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+90.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 8935 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 9935 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+110.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 10935 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221222940 134539304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 11935 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 12936 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+140.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 13936 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+150.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 14936 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 15936 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 16936 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 17936 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 18937 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 19937 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223084 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 20937 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 21937 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 22937 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 23937 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 24938 63 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 25938 64 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223196 134543776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 26938 64 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221222968 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 27938 64 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 28938 64 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223020 134542656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 29938 64 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221222964 134542700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 30938 64 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 31938 64 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 32938 64 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 33939 64 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 34939 64 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24000 0 0 0 35939 64 0 0 25 0 1 0 905866736 98455552 23203 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23203 1111 63 0 23974 0
vsize: 96148
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24001 0 0 0 36939 64 0 0 25 0 1 0 905866736 98455552 23204 4294967295 134512640 134716908 3221224576 3221223432 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23204 1111 63 0 23974 0
vsize: 96148
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24001 0 0 0 37939 64 0 0 25 0 1 0 905866736 98455552 23204 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23204 1111 63 0 23974 0
vsize: 96148
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24022 0 0 0 38939 65 0 0 25 0 1 0 905866736 98455552 23225 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23225 1111 63 0 23974 0
vsize: 96148
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24022 0 0 0 39939 65 0 0 25 0 1 0 905866736 98455552 23225 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23225 1111 63 0 23974 0
vsize: 96148
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24214 0 0 0 40937 66 0 0 25 0 1 0 905866736 99237888 23417 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24228 23417 1111 63 0 24165 0
vsize: 96912
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24245 0 0 0 41937 67 0 0 25 0 1 0 905866736 99364864 23448 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24259 23448 1111 63 0 24196 0
vsize: 97036
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24269 0 0 0 42936 68 0 0 25 0 1 0 905866736 99463168 23472 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24283 23472 1111 63 0 24220 0
vsize: 97132
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24293 0 0 0 43935 69 0 0 25 0 1 0 905866736 99561472 23496 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24307 23496 1111 63 0 24244 0
vsize: 97228
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24314 0 0 0 44935 70 0 0 25 0 1 0 905866736 99647488 23517 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24328 23517 1111 63 0 24265 0
vsize: 97312
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24335 0 0 0 45934 71 0 0 25 0 1 0 905866736 99733504 23538 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24349 23538 1111 63 0 24286 0
vsize: 97396
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24355 0 0 0 46934 71 0 0 25 0 1 0 905866736 99815424 23558 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24369 23558 1111 63 0 24306 0
vsize: 97476
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24373 0 0 0 47933 72 0 0 25 0 1 0 905866736 99889152 23576 4294967295 134512640 134716908 3221224576 3221222864 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24387 23576 1111 63 0 24324 0
vsize: 97548
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24447 0 0 0 48932 73 0 0 25 0 1 0 905866736 100192256 23650 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24461 23650 1111 63 0 24398 0
vsize: 97844
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24463 0 0 0 49932 74 0 0 25 0 1 0 905866736 100257792 23666 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24477 23666 1111 63 0 24414 0
vsize: 97908
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24478 0 0 0 50932 74 0 0 25 0 1 0 905866736 100319232 23681 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24492 23681 1111 63 0 24429 0
vsize: 97968
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24493 0 0 0 51931 75 0 0 25 0 1 0 905866736 100380672 23696 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24507 23696 1111 63 0 24444 0
vsize: 98028
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24510 0 0 0 52931 76 0 0 25 0 1 0 905866736 100450304 23713 4294967295 134512640 134716908 3221224576 3221222784 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24524 23713 1111 63 0 24461 0
vsize: 98096
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24525 0 0 0 53930 76 0 0 25 0 1 0 905866736 100511744 23728 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24539 23728 1111 63 0 24476 0
vsize: 98156
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24616 0 0 0 54929 78 0 0 25 0 1 0 905866736 100884480 23819 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24630 23819 1111 63 0 24567 0
vsize: 98520
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24630 0 0 0 55929 78 0 0 25 0 1 0 905866736 100941824 23833 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24644 23833 1111 63 0 24581 0
vsize: 98576
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24645 0 0 0 56929 79 0 0 25 0 1 0 905866736 101003264 23848 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24659 23848 1111 63 0 24596 0
vsize: 98636
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24658 0 0 0 57928 79 0 0 25 0 1 0 905866736 101056512 23861 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24672 23861 1111 63 0 24609 0
vsize: 98688
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24673 0 0 0 58928 80 0 0 25 0 1 0 905866736 101117952 23876 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24687 23876 1111 63 0 24624 0
vsize: 98748
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24687 0 0 0 59927 80 0 0 25 0 1 0 905866736 101175296 23890 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24701 23890 1111 63 0 24638 0
vsize: 98804
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24699 0 0 0 60927 81 0 0 25 0 1 0 905866736 101224448 23902 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24713 23902 1111 63 0 24650 0
vsize: 98852
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24817 0 0 0 61927 82 0 0 25 0 1 0 905866736 101707776 24020 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24831 24020 1111 63 0 24768 0
vsize: 99324
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24830 0 0 0 62926 82 0 0 25 0 1 0 905866736 101761024 24033 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24844 24033 1111 63 0 24781 0
vsize: 99376
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24842 0 0 0 63926 83 0 0 25 0 1 0 905866736 101810176 24045 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24856 24045 1111 63 0 24793 0
vsize: 99424
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24854 0 0 0 64926 83 0 0 25 0 1 0 905866736 101859328 24057 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24868 24057 1111 63 0 24805 0
vsize: 99472
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24866 0 0 0 65925 84 0 0 25 0 1 0 905866736 101908480 24069 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24880 24069 1111 63 0 24817 0
vsize: 99520
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24880 0 0 0 66925 84 0 0 25 0 1 0 905866736 101965824 24083 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24894 24083 1111 63 0 24831 0
vsize: 99576
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24893 0 0 0 67925 84 0 0 25 0 1 0 905866736 102019072 24096 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24907 24096 1111 63 0 24844 0
vsize: 99628
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24905 0 0 0 68925 85 0 0 25 0 1 0 905866736 102068224 24108 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24919 24108 1111 63 0 24856 0
vsize: 99676
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24919 0 0 0 69924 85 0 0 25 0 1 0 905866736 102125568 24122 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24933 24122 1111 63 0 24870 0
vsize: 99732
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24934 0 0 0 70924 86 0 0 25 0 1 0 905866736 102187008 24137 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24948 24137 1111 63 0 24885 0
vsize: 99792
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 24947 0 0 0 71924 86 0 0 25 0 1 0 905866736 102240256 24150 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24961 24150 1111 63 0 24898 0
vsize: 99844
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 25006 0 0 0 72924 87 0 0 25 0 1 0 905866736 102481920 24209 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25020 24209 1111 63 0 24957 0
vsize: 100080
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 25022 0 0 0 73923 87 0 0 25 0 1 0 905866736 102547456 24225 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25036 24225 1111 63 0 24973 0
vsize: 100144
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 32702 0 0 0 74908 103 0 0 25 0 1 0 905866736 133177344 28918 4294967295 134512640 134716908 3221224576 3221220720 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32514 28918 1111 63 0 32451 0
vsize: 130056
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 32812 0 0 0 75908 103 0 0 25 0 1 0 905866736 133177344 29028 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32514 29028 1111 63 0 32451 0
vsize: 130056
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 34248 0 0 0 76905 106 0 0 25 0 1 0 905866736 136126464 30462 4294967295 134512640 134716908 3221224576 3221220640 1075093377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33234 30462 1111 63 0 33171 0
vsize: 132936
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 34505 0 0 0 77905 107 0 0 25 0 1 0 905866736 130236416 29395 4294967295 134512640 134716908 3221224576 3221220524 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31796 29395 1111 63 0 31733 0
vsize: 127184
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 34522 0 0 0 78905 107 0 0 25 0 1 0 905866736 130236416 29410 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31796 29410 1111 63 0 31733 0
vsize: 127184
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 34530 0 0 0 79905 107 0 0 25 0 1 0 905866736 130236416 29416 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31796 29416 1111 63 0 31733 0
vsize: 127184
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 35036 0 0 0 80905 108 0 0 25 0 1 0 905866736 136126464 29920 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33234 29920 1111 63 0 33171 0
vsize: 132936
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 35080 0 0 0 81905 108 0 0 25 0 1 0 905866736 136126464 29964 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33234 29964 1111 63 0 33171 0
vsize: 132936
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 35124 0 0 0 82905 108 0 0 25 0 1 0 905866736 136126464 30008 4294967295 134512640 134716908 3221224576 3221220688 1074815309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33234 30008 1111 63 0 33171 0
vsize: 132936
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 35913 0 0 0 83903 110 0 0 25 0 1 0 905866736 136126464 30795 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33234 30795 1111 63 0 33171 0
vsize: 132936
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 35937 0 0 0 84903 110 0 0 25 0 1 0 905866736 136126464 30819 4294967295 134512640 134716908 3221224576 3221220472 1075964742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33234 30819 1111 63 0 33171 0
vsize: 132936
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36121 0 0 0 85902 111 0 0 25 0 1 0 905866736 130826240 29665 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31940 29665 1111 63 0 31877 0
vsize: 127760
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36136 0 0 0 86902 111 0 0 25 0 1 0 905866736 130826240 29678 4294967295 134512640 134716908 3221224576 3221220524 1074873537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31940 29678 1111 63 0 31877 0
vsize: 127760
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36142 0 0 0 87902 111 0 0 25 0 1 0 905866736 131149824 29684 4294967295 134512640 134716908 3221224576 3221221552 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32019 29684 1111 63 0 31956 0
vsize: 128076
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36143 0 0 0 88902 111 0 0 25 0 1 0 905866736 130826240 29683 4294967295 134512640 134716908 3221224576 3221220524 1074873527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31940 29683 1111 63 0 31877 0
vsize: 127760
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36148 0 0 0 89903 111 0 0 25 0 1 0 905866736 130826240 29686 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31940 29686 1111 63 0 31877 0
vsize: 127760
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36150 0 0 0 90903 111 0 0 25 0 1 0 905866736 130826240 29688 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31940 29688 1111 63 0 31877 0
vsize: 127760
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36189 0 0 0 91903 112 0 0 25 0 1 0 905866736 131444736 29725 4294967295 134512640 134716908 3221224576 3221220704 1075895757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32091 29725 1111 63 0 32028 0
vsize: 128364
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36235 0 0 0 92903 112 0 0 25 0 1 0 905866736 131444736 29771 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32091 29771 1111 63 0 32028 0
vsize: 128364
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36263 0 0 0 93903 112 0 0 25 0 1 0 905866736 131444736 29797 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32091 29797 1111 63 0 32028 0
vsize: 128364
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36263 0 0 0 94903 112 0 0 25 0 1 0 905866736 131444736 29797 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32091 29797 1111 63 0 32028 0
vsize: 128364
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36265 0 0 0 95903 112 0 0 25 0 1 0 905866736 131444736 29797 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32091 29797 1111 63 0 32028 0
vsize: 128364
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36265 0 0 0 96903 112 0 0 25 0 1 0 905866736 131444736 29797 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32091 29797 1111 63 0 32028 0
vsize: 128364
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36269 0 0 0 97904 112 0 0 25 0 1 0 905866736 131444736 29799 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32091 29799 1111 63 0 32028 0
vsize: 128364
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36276 0 0 0 98904 112 0 0 25 0 1 0 905866736 131444736 29806 4294967295 134512640 134716908 3221224576 3221220640 1075095094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32091 29806 1111 63 0 32028 0
vsize: 128364
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36361 0 0 0 99904 112 0 0 25 0 1 0 905866736 132087808 29889 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29889 1111 63 0 32185 0
vsize: 128992
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36392 0 0 0 100904 112 0 0 25 0 1 0 905866736 132087808 29918 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29918 1111 63 0 32185 0
vsize: 128992
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36392 0 0 0 101904 112 0 0 25 0 1 0 905866736 132087808 29918 4294967295 134512640 134716908 3221224576 3221220580 1075964227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29918 1111 63 0 32185 0
vsize: 128992
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36399 0 0 0 102904 112 0 0 25 0 1 0 905866736 132087808 29923 4294967295 134512640 134716908 3221224576 3221220708 1075115043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29923 1111 63 0 32185 0
vsize: 128992
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36401 0 0 0 103904 112 0 0 25 0 1 0 905866736 132087808 29925 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29925 1111 63 0 32185 0
vsize: 128992
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36403 0 0 0 104904 113 0 0 25 0 1 0 905866736 132087808 29925 4294967295 134512640 134716908 3221224576 3221220624 1074969680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29925 1111 63 0 32185 0
vsize: 128992
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36413 0 0 0 105904 113 0 0 25 0 1 0 905866736 132411392 29935 4294967295 134512640 134716908 3221224576 3221221072 1074887620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32327 29935 1111 63 0 32264 0
vsize: 129308
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36421 0 0 0 106904 113 0 0 25 0 1 0 905866736 132087808 29941 4294967295 134512640 134716908 3221224576 3221220752 1074961442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29941 1111 63 0 32185 0
vsize: 128992
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36448 0 0 0 107904 113 0 0 25 0 1 0 905866736 132087808 29966 4294967295 134512640 134716908 3221224576 3221220720 1075088573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29966 1111 63 0 32185 0
vsize: 128992
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36454 0 0 0 108904 113 0 0 25 0 1 0 905866736 132087808 29972 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29972 1111 63 0 32185 0
vsize: 128992
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36458 0 0 0 109905 113 0 0 25 0 1 0 905866736 132087808 29974 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29974 1111 63 0 32185 0
vsize: 128992
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36467 0 0 0 110905 113 0 0 25 0 1 0 905866736 132087808 29981 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29981 1111 63 0 32185 0
vsize: 128992
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36468 0 0 0 111905 113 0 0 25 0 1 0 905866736 132087808 29982 4294967295 134512640 134716908 3221224576 3221220624 1074969471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32248 29982 1111 63 0 32185 0
vsize: 128992
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36556 0 0 0 112905 113 0 0 25 0 1 0 905866736 132771840 30068 4294967295 134512640 134716908 3221224576 3221220640 1075093377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32415 30068 1111 63 0 32352 0
vsize: 129660
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36595 0 0 0 113905 113 0 0 25 0 1 0 905866736 132771840 30105 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32415 30105 1111 63 0 32352 0
vsize: 129660
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36595 0 0 0 114905 113 0 0 25 0 1 0 905866736 132771840 30105 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32415 30105 1111 63 0 32352 0
vsize: 129660
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36604 0 0 0 115906 113 0 0 25 0 1 0 905866736 132771840 30112 4294967295 134512640 134716908 3221224576 3221220808 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32415 30112 1111 63 0 32352 0
vsize: 129660
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36609 0 0 0 116906 113 0 0 25 0 1 0 905866736 132771840 30115 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32415 30115 1111 63 0 32352 0
vsize: 129660
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36615 0 0 0 117906 113 0 0 25 0 1 0 905866736 132771840 30121 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32415 30121 1111 63 0 32352 0
vsize: 129660
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36706 0 0 0 118906 114 0 0 25 0 1 0 905866736 133492736 30210 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32591 30210 1111 63 0 32528 0
vsize: 130364
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) R 24376 7266 7265 0 -1 0 36744 0 0 0 119906 114 0 0 25 0 1 0 905866736 133492736 30248 4294967295 134512640 134716908 3221224576 3221220624 1074969467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32591 30248 1111 63 0 32528 0
vsize: 130364
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 24377
Raw data (stat): 24377 (bsolo_lpr_cuts-) Z 24376 7266 7265 0 -1 1036 36744 0 0 0 119906 119 0 0 25 0 1 0 905866736 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.26
CPU user time (s): 1199.07
CPU system time (s): 1.19782
CPU usage (%): 100.014
Max. virtual memory (Kb): 132936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####