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-5.opb
MD5SUM	9b244c88702eddacf15d45f12fda5eb0
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	13501
Number of constraints which are clauses	13501
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 40773

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        736296 kB
Buffers:         28952 kB
Cached:         249244 kB
SwapCached:        808 kB
Active:          46912 kB
Inactive:       233396 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        736044 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12408 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 22:07:24 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 28826 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6352 variables and 13501 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.84 0.95 0.90 2/54 30566
Raw data (stat): 30566 (runsolver) R 30565 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904980828 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.0007 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 25064 0 0 0 940 58 0 0 25 0 1 0 904980828 105848832 24969 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25842 24969 1111 63 0 25779 0
vsize: 103368
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 25064 0 0 0 1940 58 0 0 25 0 1 0 904980828 105848832 24969 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25842 24969 1111 63 0 25779 0
vsize: 103368
[startup+30.0007 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 25064 0 0 0 2940 58 0 0 25 0 1 0 904980828 105848832 24969 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25842 24969 1111 63 0 25779 0
vsize: 103368
[startup+40.0018 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 26090 0 0 0 3938 60 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 26090 0 0 0 4938 60 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+60.0022 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 26090 0 0 0 5938 60 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+70.0037 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 26090 0 0 0 6939 60 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+80.0039 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 26090 0 0 0 7939 60 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+90.0047 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 26207 0 0 0 8939 60 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+100.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 26632 0 0 0 9938 61 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 26632 0 0 0 10938 61 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+120.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 26836 0 0 0 11938 62 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+130.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 27510 0 0 0 12935 64 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+140.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 27510 0 0 0 13936 64 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+150.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 27510 0 0 0 14936 65 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 27510 0 0 0 15936 65 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 27510 0 0 0 16936 65 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 27819 0 0 0 17935 65 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 27930 0 0 0 18935 66 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 27930 0 0 0 19936 66 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 30892 0 0 0 20928 73 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 47322 0 0 0 21890 112 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 57311 0 0 0 22865 137 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 67651 0 0 0 23842 160 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 81788 0 0 0 24808 194 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 94996 0 0 0 25776 227 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 108122 0 0 0 26744 259 0 0 25 0 1 0 904980828 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 134834 0 0 0 27681 322 0 0 25 0 1 0 904980828 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 134834 0 0 0 28681 322 0 0 25 0 1 0 904980828 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 134834 0 0 0 29681 322 0 0 25 0 1 0 904980828 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 134834 0 0 0 30681 322 0 0 25 0 1 0 904980828 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 134834 0 0 0 31682 322 0 0 25 0 1 0 904980828 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 134834 0 0 0 32682 322 0 0 25 0 1 0 904980828 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 134834 0 0 0 33682 322 0 0 25 0 1 0 904980828 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 134834 0 0 0 34682 322 0 0 25 0 1 0 904980828 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 134834 0 0 0 35682 322 0 0 25 0 1 0 904980828 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 134834 0 0 0 36682 322 0 0 25 0 1 0 904980828 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 134834 0 0 0 37683 322 0 0 25 0 1 0 904980828 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 135577 0 0 0 38681 324 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 135577 0 0 0 39682 324 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223224 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 135577 0 0 0 40682 324 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 135577 0 0 0 41682 324 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 135577 0 0 0 42682 324 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 135577 0 0 0 43682 324 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 138251 0 0 0 44675 331 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 138251 0 0 0 45675 331 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 138251 0 0 0 46675 331 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 139985 0 0 0 47672 335 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 139985 0 0 0 48672 335 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 139985 0 0 0 49672 335 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 140465 0 0 0 50671 336 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 140643 0 0 0 51670 337 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 140643 0 0 0 52670 337 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 148027 0 0 0 53653 355 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 154900 0 0 0 54637 371 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 161328 0 0 0 55622 386 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 170516 0 0 0 56600 409 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 179324 0 0 0 57579 429 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 188961 0 0 0 58556 453 0 0 25 0 1 0 904980828 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 190855 0 0 0 59552 457 0 0 25 0 1 0 904980828 115773440 27387 4294967295 134512640 134716908 3221224576 3221223232 134606847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28265 27387 1111 63 0 28202 0
vsize: 113060
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 194061 0 0 0 60544 465 0 0 25 0 1 0 904980828 115802112 27406 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28272 27406 1111 63 0 28209 0
vsize: 113088
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 195454 0 0 0 61541 469 0 0 25 0 1 0 904980828 115802112 27406 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28272 27406 1111 63 0 28209 0
vsize: 113088
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 197339 0 0 0 62536 474 0 0 25 0 1 0 904980828 115802112 27406 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28272 27406 1111 63 0 28209 0
vsize: 113088
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 201042 0 0 0 63528 482 0 0 25 0 1 0 904980828 115802112 27406 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28272 27406 1111 63 0 28209 0
vsize: 113088
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 204282 0 0 0 64521 489 0 0 25 0 1 0 904980828 115802112 27406 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28272 27406 1111 63 0 28209 0
vsize: 113088
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 207822 0 0 0 65513 497 0 0 25 0 1 0 904980828 115802112 27406 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28272 27406 1111 63 0 28209 0
vsize: 113088
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 215470 0 0 0 66494 516 0 0 25 0 1 0 904980828 115802112 27406 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28272 27406 1111 63 0 28209 0
vsize: 113088
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 221437 0 0 0 67481 529 0 0 25 0 1 0 904980828 115802112 27406 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28272 27406 1111 63 0 28209 0
vsize: 113088
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 228313 0 0 0 68465 546 0 0 25 0 1 0 904980828 115802112 27406 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28272 27406 1111 63 0 28209 0
vsize: 113088
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 234215 0 0 0 69450 561 0 0 25 0 1 0 904980828 117264384 27762 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28629 27762 1111 63 0 28566 0
vsize: 114516
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 234215 0 0 0 70450 561 0 0 25 0 1 0 904980828 117264384 27762 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28629 27762 1111 63 0 28566 0
vsize: 114516
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 234215 0 0 0 71450 561 0 0 25 0 1 0 904980828 117264384 27762 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28629 27762 1111 63 0 28566 0
vsize: 114516
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 236238 0 0 0 72446 566 0 0 25 0 1 0 904980828 117264384 27763 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28629 27763 1111 63 0 28566 0
vsize: 114516
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 236328 0 0 0 73445 567 0 0 25 0 1 0 904980828 117264384 27763 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28629 27763 1111 63 0 28566 0
vsize: 114516
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 237356 0 0 0 74443 569 0 0 25 0 1 0 904980828 117264384 27763 4294967295 134512640 134716908 3221224576 3221223300 134618177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28629 27763 1111 63 0 28566 0
vsize: 114516
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30566
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 240578 0 0 0 75435 578 0 0 25 0 1 0 904980828 117264384 27763 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28629 27763 1111 63 0 28566 0
vsize: 114516
[startup+770.029 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 30619
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 243634 0 0 0 76426 586 0 0 25 0 1 0 904980828 117264384 27763 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28629 27763 1111 63 0 28566 0
vsize: 114516
[startup+780.03 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 30619
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 247084 0 0 0 77417 596 0 0 25 0 1 0 904980828 117678080 27857 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28730 27857 1111 63 0 28667 0
vsize: 114920
[startup+790.031 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 30619
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 253397 0 0 0 78402 611 0 0 25 0 1 0 904980828 117678080 27864 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28730 27864 1111 63 0 28667 0
vsize: 114920
[startup+800.032 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 30619
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 256329 0 0 0 79395 618 0 0 25 0 1 0 904980828 117678080 27864 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28730 27864 1111 63 0 28667 0
vsize: 114920
[startup+810.031 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 30619
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 260073 0 0 0 80387 627 0 0 25 0 1 0 904980828 117678080 27864 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28730 27864 1111 63 0 28667 0
vsize: 114920
[startup+820.032 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 30619
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 266853 0 0 0 81371 643 0 0 25 0 1 0 904980828 117678080 27864 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28730 27864 1111 63 0 28667 0
vsize: 114920
[startup+830.032 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 270624 0 0 0 82362 652 0 0 25 0 1 0 904980828 118288384 27995 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28879 27995 1111 63 0 28816 0
vsize: 115516
[startup+840.033 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 270630 0 0 0 83362 652 0 0 25 0 1 0 904980828 118288384 28001 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28879 28001 1111 63 0 28816 0
vsize: 115516
[startup+850.034 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 271112 0 0 0 84361 653 0 0 25 0 1 0 904980828 118345728 28027 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28893 28027 1111 63 0 28830 0
vsize: 115572
[startup+860.035 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 271132 0 0 0 85362 653 0 0 25 0 1 0 904980828 118497280 28032 4294967295 134512640 134716908 3221224576 3221223200 134557601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28930 28032 1111 63 0 28867 0
vsize: 115720
[startup+870.035 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 271297 0 0 0 86361 654 0 0 25 0 1 0 904980828 118497280 28052 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28930 28052 1111 63 0 28867 0
vsize: 115720
[startup+880.035 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 277263 0 0 0 87347 668 0 0 25 0 1 0 904980828 118808576 28133 4294967295 134512640 134716908 3221224576 3221223264 134606725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29006 28133 1111 63 0 28943 0
vsize: 116024
[startup+890.036 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 280349 0 0 0 88340 676 0 0 25 0 1 0 904980828 118505472 28066 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28932 28066 1111 63 0 28869 0
vsize: 115728
[startup+900.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 284005 0 0 0 89331 684 0 0 25 0 1 0 904980828 118505472 28066 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28932 28066 1111 63 0 28869 0
vsize: 115728
[startup+910.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 288945 0 0 0 90319 697 0 0 25 0 1 0 904980828 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+920.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 288945 0 0 0 91320 697 0 0 25 0 1 0 904980828 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+930.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 288945 0 0 0 92320 697 0 0 25 0 1 0 904980828 120291328 28502 4294967295 134512640 134716908 3221224576 3221223000 1077377311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+940.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 289115 0 0 0 93320 697 0 0 25 0 1 0 904980828 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+950.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 289115 0 0 0 94320 697 0 0 25 0 1 0 904980828 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+960.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 289115 0 0 0 95321 697 0 0 25 0 1 0 904980828 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+970.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 289115 0 0 0 96321 697 0 0 25 0 1 0 904980828 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+980.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 289115 0 0 0 97321 697 0 0 25 0 1 0 904980828 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+990.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 289115 0 0 0 98321 697 0 0 25 0 1 0 904980828 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 290859 0 0 0 99318 701 0 0 25 0 1 0 904980828 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 290859 0 0 0 100318 701 0 0 25 0 1 0 904980828 120291328 28502 4294967295 134512640 134716908 3221224576 3221223188 134557818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 290859 0 0 0 101318 701 0 0 25 0 1 0 904980828 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 297394 0 0 0 102302 717 0 0 25 0 1 0 904980828 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 297394 0 0 0 103302 717 0 0 25 0 1 0 904980828 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 297394 0 0 0 104302 717 0 0 25 0 1 0 904980828 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 299030 0 0 0 105298 722 0 0 25 0 1 0 904980828 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 299030 0 0 0 106299 722 0 0 25 0 1 0 904980828 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 299030 0 0 0 107299 722 0 0 25 0 1 0 904980828 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30621
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 300938 0 0 0 108294 726 0 0 25 0 1 0 904980828 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30623
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 300938 0 0 0 109294 726 0 0 25 0 1 0 904980828 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30623
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 300938 0 0 0 110295 726 0 0 25 0 1 0 904980828 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30623
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 301202 0 0 0 111294 727 0 0 25 0 1 0 904980828 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30623
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 301294 0 0 0 112294 728 0 0 25 0 1 0 904980828 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30623
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 301294 0 0 0 113294 728 0 0 25 0 1 0 904980828 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30623
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 302490 0 0 0 114292 730 0 0 25 0 1 0 904980828 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30623
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 303582 0 0 0 115289 733 0 0 25 0 1 0 904980828 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30623
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 304957 0 0 0 116286 736 0 0 25 0 1 0 904980828 121319424 28753 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29619 28753 1111 63 0 29556 0
vsize: 118476
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30623
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 306864 0 0 0 117282 741 0 0 25 0 1 0 904980828 121319424 28753 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29619 28753 1111 63 0 29556 0
vsize: 118476
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30623
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 308753 0 0 0 118277 746 0 0 25 0 1 0 904980828 121319424 28753 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29619 28753 1111 63 0 29556 0
vsize: 118476
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30623
Raw data (stat): 30566 (bsolo_lpr_cuts-) R 30565 20224 20223 0 -1 0 311374 0 0 0 119271 752 0 0 25 0 1 0 904980828 121319424 28753 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29619 28753 1111 63 0 29556 0
vsize: 118476
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 30623
Raw data (stat): 30566 (bsolo_lpr_cuts-) Z 30565 20224 20223 0 -1 1036 311374 0 0 0 119271 757 0 0 25 0 1 0 904980828 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.12
CPU time (s): 1200.29
CPU user time (s): 1192.72
CPU system time (s): 7.57585
CPU usage (%): 100.015
Max. virtual memory (Kb): 118476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####