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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1.opb
MD5SUM	64e81a7b23abbb8a6da4e2377ea69dee
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	6352
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	6352
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	6352
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	6352
Total number of constraints	13453
Number of constraints which are clauses	13453
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	1
Maximum length of a constraint	3
Trace number 40752

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 21:25:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28818 boxname=wulflinc2 idbench=204 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  64e81a7b23abbb8a6da4e2377ea69dee  /oldhome/oroussel/tmp/wulflinc2/normalized-par32-1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-par32-1.opb
IDLAUNCH: 28818
/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:        868480 kB
Buffers:         27348 kB
Cached:         116932 kB
SwapCached:       1376 kB
Active:          30380 kB
Inactive:       115932 kB
HighTotal:      131008 kB
HighFree:        28420 kB
LowTotal:       903652 kB
LowFree:        840060 kB
SwapTotal:     2097136 kB
SwapFree:      2094724 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14200 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 21:45:15 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 28818 7 1200.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6352 variables and 13453 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.97 0.93 1/54 16035
Raw data (stat): 16035 (runsolver) R 16034 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904860109 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 26265 0 0 0 933 64 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+20.0012 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 26265 0 0 0 1933 64 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 26265 0 0 0 2933 64 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 26265 0 0 0 3933 64 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+50.0022 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 26265 0 0 0 4933 64 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223104 1076647554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 26265 0 0 0 5933 64 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 26265 0 0 0 6934 64 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223180 1076648036 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 26265 0 0 0 7934 64 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 26265 0 0 0 8934 64 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 26265 0 0 0 9934 64 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 26265 0 0 0 10935 64 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 26265 0 0 0 11935 64 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 27539 0 0 0 12932 67 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 27539 0 0 0 13932 67 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 27539 0 0 0 14932 67 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 31017 0 0 0 15923 76 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 31017 0 0 0 16924 76 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 31017 0 0 0 17924 76 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 31639 0 0 0 18922 78 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 31639 0 0 0 19922 78 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 31639 0 0 0 20922 78 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 34084 0 0 0 21917 84 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 34084 0 0 0 22917 84 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 34084 0 0 0 23917 84 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 38247 0 0 0 24908 94 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 40167 0 0 0 25903 98 0 0 25 0 1 0 904860109 110571520 26130 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26995 26130 1111 63 0 26932 0
vsize: 107980
[startup+270.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 42493 0 0 0 26899 105 0 0 25 0 1 0 904860109 110624768 26143 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27008 26143 1111 63 0 26945 0
vsize: 108032
[startup+280.028 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 48122 0 0 0 27886 118 0 0 25 0 1 0 904860109 113360896 26811 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27676 26811 1111 63 0 27613 0
vsize: 110704
[startup+290.028 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 48122 0 0 0 28886 118 0 0 25 0 1 0 904860109 113360896 26811 4294967295 134512640 134716908 3221224576 3221223104 1076647554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27676 26811 1111 63 0 27613 0
vsize: 110704
[startup+300.028 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 48122 0 0 0 29886 118 0 0 25 0 1 0 904860109 113360896 26811 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27676 26811 1111 63 0 27613 0
vsize: 110704
[startup+310.028 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 49732 0 0 0 30883 121 0 0 25 0 1 0 904860109 113360896 26811 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27676 26811 1111 63 0 27613 0
vsize: 110704
[startup+320.028 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 49732 0 0 0 31883 121 0 0 25 0 1 0 904860109 113360896 26811 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27676 26811 1111 63 0 27613 0
vsize: 110704
[startup+330.029 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 49732 0 0 0 32883 121 0 0 25 0 1 0 904860109 113360896 26811 4294967295 134512640 134716908 3221224576 3221223304 134675300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27676 26811 1111 63 0 27613 0
vsize: 110704
[startup+340.04 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 51696 0 0 0 33880 126 0 0 25 0 1 0 904860109 113360896 26811 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27676 26811 1111 63 0 27613 0
vsize: 110704
[startup+350.039 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 51696 0 0 0 34880 126 0 0 25 0 1 0 904860109 113360896 26811 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27676 26811 1111 63 0 27613 0
vsize: 110704
[startup+360.04 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 51696 0 0 0 35880 126 0 0 25 0 1 0 904860109 113360896 26811 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27676 26811 1111 63 0 27613 0
vsize: 110704
[startup+370.041 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 60053 0 0 0 36862 145 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223292 134518020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+380.041 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 60599 0 0 0 37861 146 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+390.042 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 60599 0 0 0 38861 146 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+400.043 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 61993 0 0 0 39858 150 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+410.042 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 61993 0 0 0 40858 150 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+420.044 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 61993 0 0 0 41858 150 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+430.059 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 62141 0 0 0 42859 150 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+440.059 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 62141 0 0 0 43859 150 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+450.059 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 62141 0 0 0 44859 150 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+460.059 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 63946 0 0 0 45855 155 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+470.06 s]
Raw data (loadavg): 1.15 1.02 0.94 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 64107 0 0 0 46855 155 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+480.06 s]
Raw data (loadavg): 1.13 1.02 0.94 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 64107 0 0 0 47855 155 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+490.059 s]
Raw data (loadavg): 1.11 1.02 0.94 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 64949 0 0 0 48854 157 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+500.071 s]
Raw data (loadavg): 1.09 1.02 0.94 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 64949 0 0 0 49855 157 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+510.071 s]
Raw data (loadavg): 1.08 1.02 0.94 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 64949 0 0 0 50855 157 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223156 1077374508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+520.071 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 68264 0 0 0 51847 165 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223080 1077377398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+530.071 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 69879 0 0 0 52844 169 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+540.071 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 72311 0 0 0 53838 175 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+550.071 s]
Raw data (loadavg): 1.11 1.03 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 76394 0 0 0 54828 185 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+560.071 s]
Raw data (loadavg): 1.09 1.03 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 80798 0 0 0 55817 196 0 0 25 0 1 0 904860109 115474432 27327 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28192 27327 1111 63 0 28129 0
vsize: 112768
[startup+570.081 s]
Raw data (loadavg): 1.08 1.03 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 83333 0 0 0 56812 202 0 0 25 0 1 0 904860109 115736576 27391 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+580.082 s]
Raw data (loadavg): 1.07 1.03 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 87109 0 0 0 57803 211 0 0 25 0 1 0 904860109 115736576 27391 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+590.081 s]
Raw data (loadavg): 1.06 1.02 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 90961 0 0 0 58795 220 0 0 25 0 1 0 904860109 115736576 27391 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+600.082 s]
Raw data (loadavg): 1.05 1.02 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 95252 0 0 0 59785 230 0 0 25 0 1 0 904860109 115736576 27391 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+610.102 s]
Raw data (loadavg): 1.04 1.02 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 101783 0 0 0 60772 245 0 0 25 0 1 0 904860109 115736576 27391 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+620.102 s]
Raw data (loadavg): 1.03 1.02 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 107395 0 0 0 61759 259 0 0 25 0 1 0 904860109 115736576 27391 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+630.138 s]
Raw data (loadavg): 1.03 1.02 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 113675 0 0 0 62748 273 0 0 25 0 1 0 904860109 115736576 27391 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+640.149 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 124133 0 0 0 63725 297 0 0 25 0 1 0 904860109 115736576 27391 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+650.149 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 133403 0 0 0 64701 321 0 0 25 0 1 0 904860109 115736576 27391 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+660.148 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 143116 0 0 0 65678 345 0 0 25 0 1 0 904860109 115736576 27391 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 27391 1111 63 0 28193 0
vsize: 113024
[startup+670.149 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 148059 0 0 0 66666 357 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+680.15 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 148059 0 0 0 67666 357 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+690.173 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 148059 0 0 0 68669 357 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+700.181 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 150522 0 0 0 69664 362 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+710.198 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 150522 0 0 0 70666 362 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+720.198 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 150522 0 0 0 71666 362 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+730.198 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 150570 0 0 0 72666 363 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+740.198 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 150570 0 0 0 73665 363 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+750.199 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 150570 0 0 0 74665 363 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+760.199 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 152446 0 0 0 75661 368 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+770.2 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 152446 0 0 0 76661 368 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+780.2 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 152446 0 0 0 77661 368 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+790.2 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 154597 0 0 0 78657 372 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+800.201 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 154597 0 0 0 79657 372 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+810.201 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 154597 0 0 0 80657 372 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+820.202 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 159705 0 0 0 81647 383 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+830.203 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 159705 0 0 0 82647 383 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+840.202 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 159705 0 0 0 83647 384 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+850.204 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 162737 0 0 0 84639 391 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+860.203 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 164453 0 0 0 85635 395 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+870.204 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 167043 0 0 0 86630 402 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+880.205 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 170890 0 0 0 87621 410 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+890.205 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 175450 0 0 0 88611 421 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+900.206 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 180307 0 0 0 89600 432 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+910.206 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 188222 0 0 0 90583 449 0 0 25 0 1 0 904860109 119001088 28188 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28188 1111 63 0 28990 0
vsize: 116212
[startup+920.207 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 191204 0 0 0 91576 456 0 0 25 0 1 0 904860109 119566336 28326 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29191 28326 1111 63 0 29128 0
vsize: 116764
[startup+930.208 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 192683 0 0 0 92572 460 0 0 25 0 1 0 904860109 119566336 28326 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29191 28326 1111 63 0 29128 0
vsize: 116764
[startup+940.208 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 195367 0 0 0 93566 467 0 0 25 0 1 0 904860109 119726080 28365 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29230 28365 1111 63 0 29167 0
vsize: 116920
[startup+950.208 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 196015 0 0 0 94564 469 0 0 25 0 1 0 904860109 119808000 28385 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29250 28385 1111 63 0 29187 0
vsize: 117000
[startup+960.209 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 196813 0 0 0 95563 471 0 0 25 0 1 0 904860109 119808000 28385 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29250 28385 1111 63 0 29187 0
vsize: 117000
[startup+970.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 199488 0 0 0 96555 478 0 0 25 0 1 0 904860109 119808000 28385 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29250 28385 1111 63 0 29187 0
vsize: 117000
[startup+980.211 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 201834 0 0 0 97550 484 0 0 25 0 1 0 904860109 119808000 28385 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29250 28385 1111 63 0 29187 0
vsize: 117000
[startup+990.211 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 204637 0 0 0 98544 490 0 0 25 0 1 0 904860109 119808000 28385 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29250 28385 1111 63 0 29187 0
vsize: 117000
[startup+1000.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 211919 0 0 0 99527 507 0 0 25 0 1 0 904860109 119808000 28385 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29250 28385 1111 63 0 29187 0
vsize: 117000
[startup+1010.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 217533 0 0 0 100515 520 0 0 25 0 1 0 904860109 119808000 28385 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29250 28385 1111 63 0 29187 0
vsize: 117000
[startup+1020.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 223617 0 0 0 101500 534 0 0 25 0 1 0 904860109 119808000 28385 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29250 28385 1111 63 0 29187 0
vsize: 117000
[startup+1030.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 232685 0 0 0 102479 556 0 0 25 0 1 0 904860109 119943168 28418 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29283 28418 1111 63 0 29220 0
vsize: 117132
[startup+1040.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 240545 0 0 0 103462 573 0 0 25 0 1 0 904860109 119943168 28418 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29283 28418 1111 63 0 29220 0
vsize: 117132
[startup+1050.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 245215 0 0 0 104452 583 0 0 25 0 1 0 904860109 120856576 28623 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29506 28623 1111 63 0 29443 0
vsize: 118024
[startup+1060.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 248049 0 0 0 105445 590 0 0 25 0 1 0 904860109 120971264 28669 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29534 28669 1111 63 0 29471 0
vsize: 118136
[startup+1070.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 248602 0 0 0 106444 592 0 0 25 0 1 0 904860109 120971264 28669 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29534 28669 1111 63 0 29471 0
vsize: 118136
[startup+1080.22 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 249604 0 0 0 107442 594 0 0 25 0 1 0 904860109 120971264 28669 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29534 28669 1111 63 0 29471 0
vsize: 118136
[startup+1090.22 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 253975 0 0 0 108431 605 0 0 25 0 1 0 904860109 120971264 28669 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29534 28669 1111 63 0 29471 0
vsize: 118136
[startup+1100.22 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 257329 0 0 0 109423 614 0 0 25 0 1 0 904860109 120971264 28669 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29534 28669 1111 63 0 29471 0
vsize: 118136
[startup+1110.22 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 261081 0 0 0 110415 622 0 0 25 0 1 0 904860109 120971264 28669 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29534 28669 1111 63 0 29471 0
vsize: 118136
[startup+1120.22 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 266909 0 0 0 111400 637 0 0 25 0 1 0 904860109 120971264 28669 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29534 28669 1111 63 0 29471 0
vsize: 118136
[startup+1130.22 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 273068 0 0 0 112385 652 0 0 25 0 1 0 904860109 121995264 28919 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29784 28919 1111 63 0 29721 0
vsize: 119136
[startup+1140.22 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 273068 0 0 0 113385 652 0 0 25 0 1 0 904860109 121995264 28919 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29784 28919 1111 63 0 29721 0
vsize: 119136
[startup+1150.22 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 273068 0 0 0 114386 652 0 0 25 0 1 0 904860109 121995264 28919 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29784 28919 1111 63 0 29721 0
vsize: 119136
[startup+1160.22 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 278348 0 0 0 115373 665 0 0 25 0 1 0 904860109 122658816 29081 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29946 29081 1111 63 0 29883 0
vsize: 119784
[startup+1170.22 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 278348 0 0 0 116373 665 0 0 25 0 1 0 904860109 122658816 29081 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29946 29081 1111 63 0 29883 0
vsize: 119784
[startup+1180.22 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 278348 0 0 0 117373 665 0 0 25 0 1 0 904860109 122658816 29081 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29946 29081 1111 63 0 29883 0
vsize: 119784
[startup+1190.22 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 283472 0 0 0 118362 676 0 0 25 0 1 0 904860109 122658816 29081 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29946 29081 1111 63 0 29883 0
vsize: 119784
[startup+1200.22 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) R 16034 31399 31398 0 -1 0 283502 0 0 0 119362 676 0 0 25 0 1 0 904860109 122658816 29081 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29946 29081 1111 63 0 29883 0
vsize: 119784
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.27 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 16035
Raw data (stat): 16035 (bsolo_lpr_cuts-) Z 16034 31399 31398 0 -1 1036 283502 0 0 0 119362 682 0 0 25 0 1 0 904860109 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.27
CPU time (s): 1200.45
CPU user time (s): 1193.63
CPU system time (s): 6.82196
CPU usage (%): 100.015
Max. virtual memory (Kb): 119784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####