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-1.opb
MD5SUM	aa1ea44fce5b7bfbe62733720f941ebb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-33
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	59186
Number of constraints which are clauses	59186
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 40877

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 00:02:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28943 boxname=wulflinc2 idbench=329 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  aa1ea44fce5b7bfbe62733720f941ebb  /oldhome/oroussel/tmp/wulflinc2/normalized-frb45-21-1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-frb45-21-1.opb
IDLAUNCH: 28943
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        906140 kB
Buffers:          9120 kB
Cached:          94396 kB
SwapCached:       4468 kB
Active:          26144 kB
Inactive:        82556 kB
HighTotal:      131008 kB
HighFree:        37380 kB
LowTotal:       903652 kB
LowFree:        868760 kB
SwapTotal:     2097136 kB
SwapFree:      2091616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            14092 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 00:22:51 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 28943 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 945 variables and 59186 constraints.
c After prepocess the problem consists of 945 variables and 42419 constraints.
c preprocess terminated 362.145 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.98 0.93 1/54 17409
Raw data (stat): 17409 (runsolver) R 17408 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905805863 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.0003 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 20298 0 0 0 947 49 0 0 25 0 1 0 905805863 86315008 20215 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21073 20215 1111 63 0 21010 0
vsize: 84292
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 1938 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+30.0018 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 2937 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 3938 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+50.0019 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 4938 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 5938 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223056 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+70.0023 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 6938 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223180 134523848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+80.003 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 7938 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221222988 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+90.003 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 8938 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221222960 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 9939 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221222960 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 10939 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223080 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 11939 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221222940 134539270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 12939 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 13939 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223248 134527831 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 14940 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 15940 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 16940 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223136 134535793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 17940 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 18940 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223104 134543674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 19940 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223056 134539353 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17409
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 20941 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 21941 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 22941 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 23941 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221222960 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 24941 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 25941 58 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 26941 59 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 27941 59 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 28941 59 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 29941 59 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 30941 59 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+320.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 31942 59 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24006 0 0 0 32942 60 0 0 25 0 1 0 905805863 98775040 23264 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+340.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24007 0 0 0 33942 60 0 0 25 0 1 0 905805863 98775040 23265 4294967295 134512640 134716908 3221224576 3221223432 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23265 1111 63 0 24052 0
vsize: 96460
[startup+350.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24007 0 0 0 34942 60 0 0 25 0 1 0 905805863 98775040 23265 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23265 1111 63 0 24052 0
vsize: 96460
[startup+360.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24007 0 0 0 35942 60 0 0 25 0 1 0 905805863 98775040 23265 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23265 1111 63 0 24052 0
vsize: 96460
[startup+370.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24028 0 0 0 36941 60 0 0 25 0 1 0 905805863 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24028 0 0 0 37942 60 0 0 25 0 1 0 905805863 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+390.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24028 0 0 0 38942 60 0 0 25 0 1 0 905805863 98775040 23286 4294967295 134512640 134716908 3221224576 3221222712 1074208241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+400.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24028 0 0 0 39942 60 0 0 25 0 1 0 905805863 98775040 23286 4294967295 134512640 134716908 3221224576 3221222864 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+410.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24028 0 0 0 40942 60 0 0 25 0 1 0 905805863 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+420.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24028 0 0 0 41942 60 0 0 25 0 1 0 905805863 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+430.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24028 0 0 0 42942 60 0 0 25 0 1 0 905805863 98775040 23286 4294967295 134512640 134716908 3221224576 3221222864 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+440.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24028 0 0 0 43943 60 0 0 25 0 1 0 905805863 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+450.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24028 0 0 0 44943 60 0 0 25 0 1 0 905805863 98775040 23286 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+460.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24028 0 0 0 45943 60 0 0 25 0 1 0 905805863 98775040 23286 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+470.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24028 0 0 0 46943 60 0 0 25 0 1 0 905805863 98775040 23286 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+480.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24028 0 0 0 47943 60 0 0 25 0 1 0 905805863 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+490.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24028 0 0 0 48943 60 0 0 25 0 1 0 905805863 98775040 23286 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+500.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24028 0 0 0 49943 60 0 0 25 0 1 0 905805863 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+510.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24323 0 0 0 50943 61 0 0 25 0 1 0 905805863 99979264 23581 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24409 23581 1111 63 0 24346 0
vsize: 97636
[startup+520.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24332 0 0 0 51942 61 0 0 25 0 1 0 905805863 100016128 23590 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24418 23590 1111 63 0 24355 0
vsize: 97672
[startup+530.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24341 0 0 0 52942 62 0 0 25 0 1 0 905805863 100052992 23599 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24427 23599 1111 63 0 24364 0
vsize: 97708
[startup+540.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24350 0 0 0 53942 63 0 0 25 0 1 0 905805863 100089856 23608 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24436 23608 1111 63 0 24373 0
vsize: 97744
[startup+550.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24358 0 0 0 54941 63 0 0 25 0 1 0 905805863 100122624 23616 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24444 23616 1111 63 0 24381 0
vsize: 97776
[startup+560.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24366 0 0 0 55941 63 0 0 25 0 1 0 905805863 100155392 23624 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24452 23624 1111 63 0 24389 0
vsize: 97808
[startup+570.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24374 0 0 0 56941 64 0 0 25 0 1 0 905805863 100188160 23632 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24460 23632 1111 63 0 24397 0
vsize: 97840
[startup+580.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24381 0 0 0 57941 64 0 0 25 0 1 0 905805863 100216832 23639 4294967295 134512640 134716908 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24467 23639 1111 63 0 24404 0
vsize: 97868
[startup+590.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24389 0 0 0 58941 64 0 0 25 0 1 0 905805863 100249600 23647 4294967295 134512640 134716908 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24475 23647 1111 63 0 24412 0
vsize: 97900
[startup+600.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24397 0 0 0 59941 65 0 0 25 0 1 0 905805863 100282368 23655 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24483 23655 1111 63 0 24420 0
vsize: 97932
[startup+610.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24404 0 0 0 60941 65 0 0 25 0 1 0 905805863 100311040 23662 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24490 23662 1111 63 0 24427 0
vsize: 97960
[startup+620.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24411 0 0 0 61940 66 0 0 25 0 1 0 905805863 100339712 23669 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24497 23669 1111 63 0 24434 0
vsize: 97988
[startup+630.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24418 0 0 0 62941 66 0 0 25 0 1 0 905805863 100368384 23676 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24504 23676 1111 63 0 24441 0
vsize: 98016
[startup+640.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24425 0 0 0 63940 66 0 0 25 0 1 0 905805863 100397056 23683 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24511 23683 1111 63 0 24448 0
vsize: 98044
[startup+650.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24433 0 0 0 64940 66 0 0 25 0 1 0 905805863 100429824 23691 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24519 23691 1111 63 0 24456 0
vsize: 98076
[startup+660.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24441 0 0 0 65940 66 0 0 25 0 1 0 905805863 100462592 23699 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23699 1111 63 0 24464 0
vsize: 98108
[startup+670.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24448 0 0 0 66940 67 0 0 25 0 1 0 905805863 100491264 23706 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24534 23706 1111 63 0 24471 0
vsize: 98136
[startup+680.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24456 0 0 0 67940 67 0 0 25 0 1 0 905805863 100524032 23714 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24542 23714 1111 63 0 24479 0
vsize: 98168
[startup+690.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24463 0 0 0 68940 67 0 0 25 0 1 0 905805863 100552704 23721 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24549 23721 1111 63 0 24486 0
vsize: 98196
[startup+700.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24470 0 0 0 69940 68 0 0 25 0 1 0 905805863 100581376 23728 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24556 23728 1111 63 0 24493 0
vsize: 98224
[startup+710.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24477 0 0 0 70940 68 0 0 25 0 1 0 905805863 100610048 23735 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24563 23735 1111 63 0 24500 0
vsize: 98252
[startup+720.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24484 0 0 0 71940 68 0 0 25 0 1 0 905805863 100638720 23742 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24570 23742 1111 63 0 24507 0
vsize: 98280
[startup+730.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 24492 0 0 0 72940 68 0 0 25 0 1 0 905805863 100671488 23750 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24578 23750 1111 63 0 24515 0
vsize: 98312
[startup+740.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 31372 0 0 0 73925 84 0 0 25 0 1 0 905805863 130273280 27988 4294967295 134512640 134716908 3221224576 3221220752 1074961387 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31805 27988 1111 63 0 31742 0
vsize: 127220
[startup+750.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 31460 0 0 0 74925 84 0 0 25 0 1 0 905805863 130273280 28076 4294967295 134512640 134716908 3221224576 3221220428 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31805 28076 1111 63 0 31742 0
vsize: 127220
[startup+760.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 32735 0 0 0 75922 87 0 0 25 0 1 0 905805863 130273280 29351 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31805 29351 1111 63 0 31742 0
vsize: 127220
[startup+770.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 32761 0 0 0 76922 87 0 0 25 0 1 0 905805863 130273280 29377 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31805 29377 1111 63 0 31742 0
vsize: 127220
[startup+780.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 33098 0 0 0 77921 88 0 0 25 0 1 0 905805863 127164416 28527 4294967295 134512640 134716908 3221224576 3221220640 1075095098 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28527 1111 63 0 30983 0
vsize: 124184
[startup+790.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 33115 0 0 0 78921 88 0 0 25 0 1 0 905805863 127164416 28544 4294967295 134512640 134716908 3221224576 3221220640 1075095124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28544 1111 63 0 30983 0
vsize: 124184
[startup+800.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 33123 0 0 0 79921 88 0 0 25 0 1 0 905805863 127164416 28552 4294967295 134512640 134716908 3221224576 3221221024 1075088564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28552 1111 63 0 30983 0
vsize: 124184
[startup+810.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 33138 0 0 0 80921 88 0 0 25 0 1 0 905805863 127164416 28567 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28567 1111 63 0 30983 0
vsize: 124184
[startup+820.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34079 0 0 0 81919 91 0 0 25 0 1 0 905805863 133369856 29508 4294967295 134512640 134716908 3221224576 3221220608 1075112103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32561 29508 1111 63 0 32498 0
vsize: 130244
[startup+830.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34578 0 0 0 82917 92 0 0 25 0 1 0 905805863 127164416 28598 4294967295 134512640 134716908 3221224576 3221220640 1075095151 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28598 1111 63 0 30983 0
vsize: 124184
[startup+840.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34580 0 0 0 83917 93 0 0 25 0 1 0 905805863 127164416 28600 4294967295 134512640 134716908 3221224576 3221220704 1075895674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28600 1111 63 0 30983 0
vsize: 124184
[startup+850.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34582 0 0 0 84918 93 0 0 25 0 1 0 905805863 127164416 28602 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28602 1111 63 0 30983 0
vsize: 124184
[startup+860.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34593 0 0 0 85918 93 0 0 25 0 1 0 905805863 127164416 28613 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28613 1111 63 0 30983 0
vsize: 124184
[startup+870.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34618 0 0 0 86917 93 0 0 25 0 1 0 905805863 127164416 28638 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28638 1111 63 0 30983 0
vsize: 124184
[startup+880.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34620 0 0 0 87918 93 0 0 25 0 1 0 905805863 127164416 28640 4294967295 134512640 134716908 3221224576 3221220472 1075964745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28640 1111 63 0 30983 0
vsize: 124184
[startup+890.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34653 0 0 0 88918 94 0 0 25 0 1 0 905805863 127164416 28673 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28673 1111 63 0 30983 0
vsize: 124184
[startup+900.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34655 0 0 0 89918 94 0 0 25 0 1 0 905805863 127164416 28675 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28675 1111 63 0 30983 0
vsize: 124184
[startup+910.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34656 0 0 0 90918 94 0 0 25 0 1 0 905805863 127164416 28676 4294967295 134512640 134716908 3221224576 3221220624 1074969465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28676 1111 63 0 30983 0
vsize: 124184
[startup+920.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34660 0 0 0 91918 94 0 0 25 0 1 0 905805863 127164416 28680 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28680 1111 63 0 30983 0
vsize: 124184
[startup+930.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34675 0 0 0 92918 94 0 0 25 0 1 0 905805863 127164416 28695 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28695 1111 63 0 30983 0
vsize: 124184
[startup+940.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34739 0 0 0 93918 94 0 0 25 0 1 0 905805863 127787008 28759 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31198 28759 1111 63 0 31135 0
vsize: 124792
[startup+950.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34758 0 0 0 94919 94 0 0 25 0 1 0 905805863 127787008 28778 4294967295 134512640 134716908 3221224576 3221220704 1075895697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31198 28778 1111 63 0 31135 0
vsize: 124792
[startup+960.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34763 0 0 0 95919 94 0 0 25 0 1 0 905805863 127787008 28783 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31198 28783 1111 63 0 31135 0
vsize: 124792
[startup+970.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34772 0 0 0 96919 94 0 0 25 0 1 0 905805863 127787008 28792 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31198 28792 1111 63 0 31135 0
vsize: 124792
[startup+980.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34777 0 0 0 97919 94 0 0 25 0 1 0 905805863 127787008 28797 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31198 28797 1111 63 0 31135 0
vsize: 124792
[startup+990.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34782 0 0 0 98919 94 0 0 25 0 1 0 905805863 127787008 28802 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31198 28802 1111 63 0 31135 0
vsize: 124792
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34830 0 0 0 99919 95 0 0 25 0 1 0 905805863 128438272 28850 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28850 1111 63 0 31294 0
vsize: 125428
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34860 0 0 0 100919 95 0 0 25 0 1 0 905805863 128438272 28880 4294967295 134512640 134716908 3221224576 3221220720 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28880 1111 63 0 31294 0
vsize: 125428
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34866 0 0 0 101919 95 0 0 25 0 1 0 905805863 128438272 28886 4294967295 134512640 134716908 3221224576 3221220624 1074969471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28886 1111 63 0 31294 0
vsize: 125428
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34876 0 0 0 102919 95 0 0 25 0 1 0 905805863 128438272 28896 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28896 1111 63 0 31294 0
vsize: 125428
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34880 0 0 0 103920 95 0 0 25 0 1 0 905805863 128438272 28900 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28900 1111 63 0 31294 0
vsize: 125428
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34890 0 0 0 104920 95 0 0 25 0 1 0 905805863 128438272 28910 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28910 1111 63 0 31294 0
vsize: 125428
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34909 0 0 0 105920 95 0 0 25 0 1 0 905805863 128438272 28929 4294967295 134512640 134716908 3221224576 3221220580 1075964227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28929 1111 63 0 31294 0
vsize: 125428
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34912 0 0 0 106920 95 0 0 25 0 1 0 905805863 128438272 28932 4294967295 134512640 134716908 3221224576 3221220864 1074972132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28932 1111 63 0 31294 0
vsize: 125428
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34913 0 0 0 107920 95 0 0 25 0 1 0 905805863 128438272 28933 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28933 1111 63 0 31294 0
vsize: 125428
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34916 0 0 0 108921 95 0 0 25 0 1 0 905805863 128438272 28936 4294967295 134512640 134716908 3221224576 3221220364 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28936 1111 63 0 31294 0
vsize: 125428
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34930 0 0 0 109921 95 0 0 25 0 1 0 905805863 128438272 28950 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28950 1111 63 0 31294 0
vsize: 125428
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34937 0 0 0 110921 95 0 0 25 0 1 0 905805863 128438272 28957 4294967295 134512640 134716908 3221224576 3221220720 1075115768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28957 1111 63 0 31294 0
vsize: 125428
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34945 0 0 0 111921 95 0 0 25 0 1 0 905805863 128438272 28965 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28965 1111 63 0 31294 0
vsize: 125428
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34975 0 0 0 112921 95 0 0 25 0 1 0 905805863 128438272 28995 4294967295 134512640 134716908 3221224576 3221220688 1074815241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28995 1111 63 0 31294 0
vsize: 125428
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34980 0 0 0 113921 95 0 0 25 0 1 0 905805863 128438272 29000 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 29000 1111 63 0 31294 0
vsize: 125428
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 34994 0 0 0 114921 95 0 0 25 0 1 0 905805863 128438272 29014 4294967295 134512640 134716908 3221224576 3221220624 1074969440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 29014 1111 63 0 31294 0
vsize: 125428
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 35000 0 0 0 115921 95 0 0 25 0 1 0 905805863 128438272 29020 4294967295 134512640 134716908 3221224576 3221220688 1074815359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 29020 1111 63 0 31294 0
vsize: 125428
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 35000 0 0 0 116922 95 0 0 25 0 1 0 905805863 128438272 29020 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 29020 1111 63 0 31294 0
vsize: 125428
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 35000 0 0 0 117922 95 0 0 25 0 1 0 905805863 128438272 29020 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 29020 1111 63 0 31294 0
vsize: 125428
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 35000 0 0 0 118922 95 0 0 25 0 1 0 905805863 128438272 29020 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 29020 1111 63 0 31294 0
vsize: 125428
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) R 17408 31399 31398 0 -1 0 35076 0 0 0 119922 95 0 0 25 0 1 0 905805863 129118208 29096 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31523 29096 1111 63 0 31460 0
vsize: 126092
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.98 0.93 1/54 17411
Raw data (stat): 17409 (bsolo_lpr_cuts-) Z 17408 31399 31398 0 -1 1036 35076 0 0 0 119922 100 0 0 25 0 1 0 905805863 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.07
CPU time (s): 1200.24
CPU user time (s): 1199.23
CPU system time (s): 1.00885
CPU usage (%): 100.013
Max. virtual memory (Kb): 130244
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####