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-2.opb
MD5SUM	48ed39004ec868a1cad026c865b17eb2
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	13429
Number of constraints which are clauses	13429
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 40754

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 21:27:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28820 boxname=wulflinc3 idbench=206 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  48ed39004ec868a1cad026c865b17eb2  /oldhome/oroussel/tmp/wulflinc3/normalized-par32-2.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-par32-2.opb
IDLAUNCH: 28820
/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:        737312 kB
Buffers:         28244 kB
Cached:         248796 kB
SwapCached:        808 kB
Active:          46000 kB
Inactive:       233152 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        737060 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12540 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 21:47:14 (client local time) WITH STATUS 0 IN 1200.35 SECONDS
stats: 28820 7 1200.35 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6352 variables and 13429 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.92 0.98 0.91 1/54 30474
Raw data (stat): 30474 (runsolver) R 30473 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904859782 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+9.99995 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 24869 0 0 0 941 55 0 0 25 0 1 0 904859782 105050112 24774 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25647 24774 1111 63 0 25584 0
vsize: 102588
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 24876 0 0 0 1941 56 0 0 25 0 1 0 904859782 105050112 24781 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25647 24781 1111 63 0 25584 0
vsize: 102588
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 26007 0 0 0 2939 58 0 0 25 0 1 0 904859782 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 26037 0 0 0 3939 58 0 0 25 0 1 0 904859782 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 26037 0 0 0 4939 58 0 0 25 0 1 0 904859782 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 26037 0 0 0 5939 58 0 0 25 0 1 0 904859782 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 26037 0 0 0 6940 58 0 0 25 0 1 0 904859782 108613632 25652 4294967295 134512640 134716908 3221224576 3221223164 1076647540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 26037 0 0 0 7940 58 0 0 25 0 1 0 904859782 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+90.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 26617 0 0 0 8939 59 0 0 25 0 1 0 904859782 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 26617 0 0 0 9939 59 0 0 25 0 1 0 904859782 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 26617 0 0 0 10939 59 0 0 25 0 1 0 904859782 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 29929 0 0 0 11932 67 0 0 25 0 1 0 904859782 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 29929 0 0 0 12932 67 0 0 25 0 1 0 904859782 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 29929 0 0 0 13932 67 0 0 25 0 1 0 904859782 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 31427 0 0 0 14928 72 0 0 25 0 1 0 904859782 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 31427 0 0 0 15928 72 0 0 25 0 1 0 904859782 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 31427 0 0 0 16928 72 0 0 25 0 1 0 904859782 108613632 25652 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 32096 0 0 0 17926 74 0 0 25 0 1 0 904859782 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 32096 0 0 0 18927 74 0 0 25 0 1 0 904859782 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 32096 0 0 0 19927 74 0 0 25 0 1 0 904859782 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 32187 0 0 0 20927 74 0 0 25 0 1 0 904859782 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 32187 0 0 0 21927 74 0 0 25 0 1 0 904859782 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 32187 0 0 0 22927 74 0 0 25 0 1 0 904859782 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 32953 0 0 0 23925 76 0 0 25 0 1 0 904859782 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 32953 0 0 0 24925 76 0 0 25 0 1 0 904859782 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 32953 0 0 0 25925 76 0 0 25 0 1 0 904859782 111206400 26285 4294967295 134512640 134716908 3221224576 3221223300 134618365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 32953 0 0 0 26926 76 0 0 25 0 1 0 904859782 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 32953 0 0 0 27926 76 0 0 25 0 1 0 904859782 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 33677 0 0 0 28924 78 0 0 25 0 1 0 904859782 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+300.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 38009 0 0 0 29915 89 0 0 25 0 1 0 904859782 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+310.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 38009 0 0 0 30916 89 0 0 25 0 1 0 904859782 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+320.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 38189 0 0 0 31915 90 0 0 25 0 1 0 904859782 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+330.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 41282 0 0 0 32908 97 0 0 25 0 1 0 904859782 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+340.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 43823 0 0 0 33903 103 0 0 25 0 1 0 904859782 111206400 26285 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+350.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 47555 0 0 0 34894 112 0 0 25 0 1 0 904859782 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+360.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 61556 0 0 0 35861 145 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+370.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 61556 0 0 0 36861 145 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+380.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 61556 0 0 0 37861 145 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+390.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 61556 0 0 0 38861 145 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+400.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 61556 0 0 0 39861 145 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+410.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 61556 0 0 0 40862 145 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+420.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 62262 0 0 0 41860 147 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+430.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 62262 0 0 0 42860 147 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223000 1077377311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+440.054 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 62262 0 0 0 43862 147 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+450.055 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 63542 0 0 0 44858 151 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+460.055 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 63542 0 0 0 45859 151 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+470.054 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 63542 0 0 0 46859 151 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+480.054 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 64408 0 0 0 47856 153 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+490.054 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 64408 0 0 0 48856 153 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+500.101 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 64408 0 0 0 49861 153 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+510.102 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 67556 0 0 0 50854 160 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+520.102 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 67556 0 0 0 51854 160 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+530.102 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 67556 0 0 0 52855 160 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+540.103 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 69168 0 0 0 53851 164 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+550.103 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 69408 0 0 0 54850 165 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+560.104 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 70296 0 0 0 55849 166 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+570.109 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 81626 0 0 0 56821 196 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+580.11 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 88824 0 0 0 57804 213 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+590.109 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 96888 0 0 0 58786 231 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+600.111 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 106649 0 0 0 59763 254 0 0 25 0 1 0 904859782 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+610.111 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 107121 0 0 0 60762 256 0 0 25 0 1 0 904859782 115216384 27263 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28129 27263 1111 63 0 28066 0
vsize: 112516
[startup+620.111 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 107730 0 0 0 61760 257 0 0 25 0 1 0 904859782 115216384 27264 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28129 27264 1111 63 0 28066 0
vsize: 112516
[startup+630.112 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 111610 0 0 0 62750 267 0 0 25 0 1 0 904859782 115216384 27264 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28129 27264 1111 63 0 28066 0
vsize: 112516
[startup+640.113 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 115048 0 0 0 63742 275 0 0 25 0 1 0 904859782 115216384 27264 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28129 27264 1111 63 0 28066 0
vsize: 112516
[startup+650.114 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 119289 0 0 0 64733 285 0 0 25 0 1 0 904859782 115216384 27264 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28129 27264 1111 63 0 28066 0
vsize: 112516
[startup+660.114 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 123360 0 0 0 65723 296 0 0 25 0 1 0 904859782 117002240 27700 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28565 27700 1111 63 0 28502 0
vsize: 114260
[startup+670.114 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 123360 0 0 0 66723 296 0 0 25 0 1 0 904859782 117002240 27700 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28565 27700 1111 63 0 28502 0
vsize: 114260
[startup+680.116 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 123360 0 0 0 67723 296 0 0 25 0 1 0 904859782 117002240 27700 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28565 27700 1111 63 0 28502 0
vsize: 114260
[startup+690.116 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 125717 0 0 0 68718 301 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+700.117 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 125717 0 0 0 69718 301 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223176 134557227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+710.118 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 125717 0 0 0 70718 302 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+720.117 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 126857 0 0 0 71715 304 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223148 1077374432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+730.117 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 126857 0 0 0 72715 304 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+740.119 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 126857 0 0 0 73715 305 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+750.119 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 128319 0 0 0 74712 308 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+760.119 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 128319 0 0 0 75712 308 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+770.119 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 128319 0 0 0 76712 308 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+780.119 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 129813 0 0 0 77709 312 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+790.119 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 129813 0 0 0 78709 312 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+800.121 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 129813 0 0 0 79709 312 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+810.121 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 132415 0 0 0 80703 318 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+820.121 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 140015 0 0 0 81686 336 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+830.121 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 144116 0 0 0 82676 346 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+840.121 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 150074 0 0 0 83662 360 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+850.122 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 156934 0 0 0 84647 376 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+860.123 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 164068 0 0 0 85629 393 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+870.122 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 171330 0 0 0 86613 410 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+880.123 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 181972 0 0 0 87588 435 0 0 25 0 1 0 904859782 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+890.123 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 187783 0 0 0 88575 448 0 0 25 0 1 0 904859782 118259712 28007 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28872 28007 1111 63 0 28809 0
vsize: 115488
[startup+900.123 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 188455 0 0 0 89573 450 0 0 25 0 1 0 904859782 118259712 28007 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28872 28007 1111 63 0 28809 0
vsize: 115488
[startup+910.124 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 192491 0 0 0 90564 459 0 0 25 0 1 0 904859782 118259712 28007 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28872 28007 1111 63 0 28809 0
vsize: 115488
[startup+920.125 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 195351 0 0 0 91558 466 0 0 25 0 1 0 904859782 118259712 28007 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28872 28007 1111 63 0 28809 0
vsize: 115488
[startup+930.125 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 198869 0 0 0 92550 474 0 0 25 0 1 0 904859782 118259712 28007 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28872 28007 1111 63 0 28809 0
vsize: 115488
[startup+940.125 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 203760 0 0 0 93539 485 0 0 25 0 1 0 904859782 118444032 28052 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28917 28052 1111 63 0 28854 0
vsize: 115668
[startup+950.126 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 207060 0 0 0 94532 492 0 0 25 0 1 0 904859782 118444032 28052 4294967295 134512640 134716908 3221224576 3221223212 1076648084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28917 28052 1111 63 0 28854 0
vsize: 115668
[startup+960.126 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 210936 0 0 0 95523 502 0 0 25 0 1 0 904859782 118444032 28052 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28917 28052 1111 63 0 28854 0
vsize: 115668
[startup+970.126 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 217800 0 0 0 96509 516 0 0 25 0 1 0 904859782 118444032 28052 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28917 28052 1111 63 0 28854 0
vsize: 115668
[startup+980.127 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 223512 0 0 0 97495 530 0 0 25 0 1 0 904859782 118444032 28052 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28917 28052 1111 63 0 28854 0
vsize: 115668
[startup+990.127 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 229416 0 0 0 98481 544 0 0 25 0 1 0 904859782 118444032 28052 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28917 28052 1111 63 0 28854 0
vsize: 115668
[startup+1000.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 237668 0 0 0 99463 563 0 0 25 0 1 0 904859782 118444032 28052 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28917 28052 1111 63 0 28854 0
vsize: 115668
[startup+1010.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 245181 0 0 0 100446 580 0 0 25 0 1 0 904859782 118444032 28052 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28917 28052 1111 63 0 28854 0
vsize: 115668
[startup+1020.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 251067 0 0 0 101432 594 0 0 25 0 1 0 904859782 118882304 28159 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29024 28159 1111 63 0 28961 0
vsize: 116096
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 259227 0 0 0 102413 613 0 0 25 0 1 0 904859782 118882304 28159 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29024 28159 1111 63 0 28961 0
vsize: 116096
[startup+1040.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 265227 0 0 0 103400 626 0 0 25 0 1 0 904859782 118882304 28159 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29024 28159 1111 63 0 28961 0
vsize: 116096
[startup+1050.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 271337 0 0 0 104387 640 0 0 25 0 1 0 904859782 118882304 28159 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29024 28159 1111 63 0 28961 0
vsize: 116096
[startup+1060.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 282667 0 0 0 105359 668 0 0 25 0 1 0 904859782 118882304 28159 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29024 28159 1111 63 0 28961 0
vsize: 116096
[startup+1070.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 287011 0 0 0 106347 679 0 0 25 0 1 0 904859782 119930880 28389 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29280 28389 1111 63 0 29217 0
vsize: 117120
[startup+1080.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 287024 0 0 0 107347 679 0 0 25 0 1 0 904859782 119930880 28402 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29280 28402 1111 63 0 29217 0
vsize: 117120
[startup+1090.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 289191 0 0 0 108342 685 0 0 25 0 1 0 904859782 119930880 28415 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29280 28415 1111 63 0 29217 0
vsize: 117120
[startup+1100.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 290841 0 0 0 109339 688 0 0 25 0 1 0 904859782 119930880 28415 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29280 28415 1111 63 0 29217 0
vsize: 117120
[startup+1110.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 292780 0 0 0 110335 693 0 0 25 0 1 0 904859782 119930880 28415 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29280 28415 1111 63 0 29217 0
vsize: 117120
[startup+1120.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 297094 0 0 0 111325 702 0 0 25 0 1 0 904859782 119930880 28415 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29280 28415 1111 63 0 29217 0
vsize: 117120
[startup+1130.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 300290 0 0 0 112317 711 0 0 25 0 1 0 904859782 119930880 28415 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29280 28415 1111 63 0 29217 0
vsize: 117120
[startup+1140.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 303784 0 0 0 113309 719 0 0 25 0 1 0 904859782 120389632 28509 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29392 28509 1111 63 0 29329 0
vsize: 117568
[startup+1150.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 303790 0 0 0 114310 719 0 0 25 0 1 0 904859782 120389632 28515 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29392 28515 1111 63 0 29329 0
vsize: 117568
[startup+1160.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 305833 0 0 0 115305 724 0 0 25 0 1 0 904859782 122560512 29057 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29922 29057 1111 63 0 29859 0
vsize: 119688
[startup+1170.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 305833 0 0 0 116305 724 0 0 25 0 1 0 904859782 122560512 29057 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29922 29057 1111 63 0 29859 0
vsize: 119688
[startup+1180.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 305833 0 0 0 117305 724 0 0 25 0 1 0 904859782 122560512 29057 4294967295 134512640 134716908 3221224576 3221223300 134618177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29922 29057 1111 63 0 29859 0
vsize: 119688
[startup+1190.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 305833 0 0 0 118305 724 0 0 25 0 1 0 904859782 122560512 29057 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29922 29057 1111 63 0 29859 0
vsize: 119688
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) R 30473 20224 20223 0 -1 0 305833 0 0 0 119305 724 0 0 25 0 1 0 904859782 122560512 29057 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29922 29057 1111 63 0 29859 0
vsize: 119688
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.19 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 30474
Raw data (stat): 30474 (bsolo_lpr_cuts-) Z 30473 20224 20223 0 -1 1036 305833 0 0 0 119306 729 0 0 25 0 1 0 904859782 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.19
CPU time (s): 1200.35
CPU user time (s): 1193.06
CPU system time (s): 7.29389
CPU usage (%): 100.014
Max. virtual memory (Kb): 119688
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####