PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
MD5SUM	94f501465233508e2f652cf118ddaf2d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-31
Optimality of the best value was proved	NO
Number of terms in the objective function	760
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	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	760
Total number of constraints	41314
Number of constraints which are clauses	41314
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 24758

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 14:57:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2909 boxname=wulflinc31 idbench=324 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  94f501465233508e2f652cf118ddaf2d  /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-1.opb
IDLAUNCH: 2909
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        886460 kB
Buffers:         34812 kB
Cached:          91840 kB
SwapCached:       1936 kB
Active:          93504 kB
Inactive:        36336 kB
HighTotal:      131008 kB
HighFree:        38388 kB
LowTotal:       903652 kB
LowFree:        848072 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12776 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 15:17:27 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 2909 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 760 variables and 41314 constraints.
c After prepocess the problem consists of 760 variables and 30189 constraints.
c preprocess terminated 281.706 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.98 1/55 9992
Raw data (stat): 9992 (runsolver) R 9991 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 727421865 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.98 0.98 2/55 9992
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 15633 0 0 0 951 44 0 0 25 0 1 0 727421865 67137536 15553 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16391 15553 1111 63 0 16328 0
vsize: 65564
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.98 0.98 2/55 9992
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 16069 0 0 0 1950 45 0 0 25 0 1 0 727421865 69033984 15989 4294967295 134512640 134714508 3221221776 3221220516 134630783 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16854 15989 1111 63 0 16791 0
vsize: 67416
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.98 0.98 2/55 9992
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 2945 50 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220292 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+40.0031 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 9992
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 3945 51 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+50.0045 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 9992
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 4945 51 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220184 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+60.004 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 9992
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 5944 51 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 9992
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 6944 52 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+80.0063 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 9992
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 7944 52 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+90.0068 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 9992
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 8944 52 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 9992
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 9944 52 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220232 134536665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 9992
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 10944 52 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220284 134542372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9992
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 11943 53 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220268 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9992
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 12943 53 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220140 134539306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9992
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 13943 54 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9992
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 14943 54 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220140 134539298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.98 3/58 10001
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 15940 56 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220272 134543681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+170.011 s]
Raw data (loadavg): 1.07 1.00 0.99 2/55 10045
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 16940 57 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+180.011 s]
Raw data (loadavg): 1.06 1.00 0.99 2/55 10045
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 17940 57 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+190.012 s]
Raw data (loadavg): 1.05 1.00 0.99 2/55 10045
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 18940 57 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220188 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+200.012 s]
Raw data (loadavg): 1.04 1.00 0.99 2/55 10045
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 19940 57 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220288 134542865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+210.012 s]
Raw data (loadavg): 1.03 1.00 0.99 2/55 10045
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 20940 58 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+220.013 s]
Raw data (loadavg): 1.03 1.00 0.99 2/55 10045
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 21940 58 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+230.013 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 10045
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 22940 58 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+240.014 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 23939 59 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+250.015 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 24939 59 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+260.015 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18139 0 0 0 25939 60 0 0 25 0 1 0 727421865 77418496 18059 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18901 18059 1111 63 0 18838 0
vsize: 75604
[startup+270.016 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18140 0 0 0 26939 60 0 0 25 0 1 0 727421865 77418496 18060 4294967295 134512640 134714508 3221221776 3221220628 134622281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18901 18060 1111 63 0 18838 0
vsize: 75604
[startup+280.017 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18140 0 0 0 27939 60 0 0 25 0 1 0 727421865 77418496 18060 4294967295 134512640 134714508 3221221776 3221220644 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18901 18060 1111 63 0 18838 0
vsize: 75604
[startup+290.018 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18170 0 0 0 28939 61 0 0 25 0 1 0 727421865 77762560 18090 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18985 18090 1111 63 0 18922 0
vsize: 75940
[startup+300.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18286 0 0 0 29937 62 0 0 25 0 1 0 727421865 78221312 18206 4294967295 134512640 134714508 3221221776 3221219696 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19097 18206 1111 63 0 19034 0
vsize: 76388
[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18310 0 0 0 30936 64 0 0 25 0 1 0 727421865 78311424 18230 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19119 18230 1111 63 0 19056 0
vsize: 76476
[startup+320.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18334 0 0 0 31935 65 0 0 25 0 1 0 727421865 78401536 18254 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19141 18254 1111 63 0 19078 0
vsize: 76564
[startup+330.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18439 0 0 0 32934 66 0 0 25 0 1 0 727421865 78827520 18359 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19245 18359 1111 63 0 19182 0
vsize: 76980
[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18463 0 0 0 33932 68 0 0 25 0 1 0 727421865 78917632 18383 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19267 18383 1111 63 0 19204 0
vsize: 77068
[startup+350.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18484 0 0 0 34932 68 0 0 25 0 1 0 727421865 78999552 18404 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19287 18404 1111 63 0 19224 0
vsize: 77148
[startup+360.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18504 0 0 0 35931 70 0 0 25 0 1 0 727421865 79077376 18424 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19306 18424 1111 63 0 19243 0
vsize: 77224
[startup+370.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18525 0 0 0 36930 71 0 0 25 0 1 0 727421865 79159296 18445 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19326 18445 1111 63 0 19263 0
vsize: 77304
[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18545 0 0 0 37929 72 0 0 25 0 1 0 727421865 79237120 18465 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19345 18465 1111 63 0 19282 0
vsize: 77380
[startup+390.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18563 0 0 0 38929 73 0 0 25 0 1 0 727421865 79306752 18483 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19362 18483 1111 63 0 19299 0
vsize: 77448
[startup+400.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18582 0 0 0 39928 74 0 0 25 0 1 0 727421865 79380480 18502 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19380 18502 1111 63 0 19317 0
vsize: 77520
[startup+410.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18599 0 0 0 40927 75 0 0 25 0 1 0 727421865 79446016 18519 4294967295 134512640 134714508 3221221776 3221219984 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19396 18519 1111 63 0 19333 0
vsize: 77584
[startup+420.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18621 0 0 0 41927 75 0 0 25 0 1 0 727421865 79532032 18541 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19417 18541 1111 63 0 19354 0
vsize: 77668
[startup+430.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18642 0 0 0 42926 76 0 0 25 0 1 0 727421865 79618048 18562 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19438 18562 1111 63 0 19375 0
vsize: 77752
[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18660 0 0 0 43925 77 0 0 25 0 1 0 727421865 79687680 18580 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19455 18580 1111 63 0 19392 0
vsize: 77820
[startup+450.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18674 0 0 0 44924 78 0 0 25 0 1 0 727421865 79740928 18594 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19468 18594 1111 63 0 19405 0
vsize: 77872
[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18692 0 0 0 45924 79 0 0 25 0 1 0 727421865 79810560 18612 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19485 18612 1111 63 0 19422 0
vsize: 77940
[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18707 0 0 0 46923 80 0 0 25 0 1 0 727421865 79872000 18627 4294967295 134512640 134714508 3221221776 3221220000 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19500 18627 1111 63 0 19437 0
vsize: 78000
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 18724 0 0 0 47922 81 0 0 25 0 1 0 727421865 79937536 18644 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19516 18644 1111 63 0 19453 0
vsize: 78064
[startup+490.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 24021 0 0 0 48911 92 0 0 25 0 1 0 727421865 101445632 21992 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24767 21992 1111 63 0 24704 0
vsize: 99068
[startup+500.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25120 0 0 0 49908 95 0 0 25 0 1 0 727421865 103673856 23089 4294967295 134512640 134714508 3221221776 3221217740 1074873501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25311 23089 1111 63 0 25248 0
vsize: 101244
[startup+510.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25314 0 0 0 50907 96 0 0 25 0 1 0 727421865 99229696 22283 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24226 22283 1111 63 0 24163 0
vsize: 96904
[startup+520.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10047
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25338 0 0 0 51907 97 0 0 25 0 1 0 727421865 99229696 22305 4294967295 134512640 134714508 3221221776 3221217840 1074969465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24226 22305 1111 63 0 24163 0
vsize: 96904
[startup+530.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25362 0 0 0 52907 97 0 0 25 0 1 0 727421865 99229696 22327 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24226 22327 1111 63 0 24163 0
vsize: 96904
[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25417 0 0 0 53907 98 0 0 25 0 1 0 727421865 99917824 22380 4294967295 134512640 134714508 3221221776 3221218228 1075863638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24394 22380 1111 63 0 24331 0
vsize: 97576
[startup+550.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25425 0 0 0 54907 98 0 0 25 0 1 0 727421865 99676160 22386 4294967295 134512640 134714508 3221221776 3221217796 1075964227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24335 22386 1111 63 0 24272 0
vsize: 97340
[startup+560.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25452 0 0 0 55906 99 0 0 25 0 1 0 727421865 99676160 22411 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24335 22411 1111 63 0 24272 0
vsize: 97340
[startup+570.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25517 0 0 0 56906 99 0 0 25 0 1 0 727421865 100134912 22474 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24447 22474 1111 63 0 24384 0
vsize: 97788
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25548 0 0 0 57906 99 0 0 25 0 1 0 727421865 100134912 22503 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24447 22503 1111 63 0 24384 0
vsize: 97788
[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25562 0 0 0 58905 100 0 0 25 0 1 0 727421865 100134912 22515 4294967295 134512640 134714508 3221221776 3221217904 1074815309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24447 22515 1111 63 0 24384 0
vsize: 97788
[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25591 0 0 0 59904 101 0 0 25 0 1 0 727421865 100134912 22542 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24447 22542 1111 63 0 24384 0
vsize: 97788
[startup+610.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25602 0 0 0 60904 102 0 0 25 0 1 0 727421865 100134912 22551 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24447 22551 1111 63 0 24384 0
vsize: 97788
[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25614 0 0 0 61904 102 0 0 25 0 1 0 727421865 100134912 22561 4294967295 134512640 134714508 3221221776 3221217856 1075095115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24447 22561 1111 63 0 24384 0
vsize: 97788
[startup+630.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25673 0 0 0 62903 103 0 0 25 0 1 0 727421865 100626432 22618 4294967295 134512640 134714508 3221221776 3221217688 1075964745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24567 22618 1111 63 0 24504 0
vsize: 98268
[startup+640.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25705 0 0 0 63903 104 0 0 25 0 1 0 727421865 100626432 22648 4294967295 134512640 134714508 3221221776 3221217924 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24567 22648 1111 63 0 24504 0
vsize: 98268
[startup+650.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25711 0 0 0 64903 104 0 0 25 0 1 0 727421865 100626432 22652 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24567 22652 1111 63 0 24504 0
vsize: 98268
[startup+660.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25779 0 0 0 65902 105 0 0 25 0 1 0 727421865 101146624 22718 4294967295 134512640 134714508 3221221776 3221217760 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24694 22718 1111 63 0 24631 0
vsize: 98776
[startup+670.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25807 0 0 0 66902 105 0 0 25 0 1 0 727421865 101146624 22744 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24694 22744 1111 63 0 24631 0
vsize: 98776
[startup+680.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25813 0 0 0 67902 106 0 0 25 0 1 0 727421865 101146624 22748 4294967295 134512640 134714508 3221221776 3221217840 1074969467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24694 22748 1111 63 0 24631 0
vsize: 98776
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25830 0 0 0 68901 106 0 0 25 0 1 0 727421865 101146624 22763 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24694 22763 1111 63 0 24631 0
vsize: 98776
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25837 0 0 0 69901 107 0 0 25 0 1 0 727421865 101146624 22766 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24694 22766 1111 63 0 24631 0
vsize: 98776
[startup+710.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25901 0 0 0 70901 107 0 0 25 0 1 0 727421865 101687296 22828 4294967295 134512640 134714508 3221221776 3221217904 1074815372 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24826 22828 1111 63 0 24763 0
vsize: 99304
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25920 0 0 0 71901 107 0 0 25 0 1 0 727421865 101687296 22843 4294967295 134512640 134714508 3221221776 3221217760 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24826 22843 1111 63 0 24763 0
vsize: 99304
[startup+730.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 25943 0 0 0 72901 108 0 0 25 0 1 0 727421865 102490112 22866 4294967295 134512640 134714508 3221221776 3221218736 1075971376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25022 22866 1111 63 0 24959 0
vsize: 100088
[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26042 0 0 0 73900 108 0 0 25 0 1 0 727421865 102248448 22961 4294967295 134512640 134714508 3221221776 3221217696 1075965253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24963 22961 1111 63 0 24900 0
vsize: 99852
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26048 0 0 0 74901 108 0 0 25 0 1 0 727421865 102248448 22965 4294967295 134512640 134714508 3221221776 3221217580 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24963 22965 1111 63 0 24900 0
vsize: 99852
[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26140 0 0 0 75900 108 0 0 25 0 1 0 727421865 102850560 23055 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25110 23055 1111 63 0 25047 0
vsize: 100440
[startup+770.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26150 0 0 0 76901 108 0 0 25 0 1 0 727421865 102850560 23061 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25110 23061 1111 63 0 25047 0
vsize: 100440
[startup+780.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26172 0 0 0 77901 108 0 0 25 0 1 0 727421865 102850560 23081 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25110 23081 1111 63 0 25047 0
vsize: 100440
[startup+790.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26176 0 0 0 78901 109 0 0 25 0 1 0 727421865 102850560 23081 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25110 23081 1111 63 0 25047 0
vsize: 100440
[startup+800.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26261 0 0 0 79901 109 0 0 25 0 1 0 727421865 103473152 23164 4294967295 134512640 134714508 3221221776 3221217856 1075093367 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25262 23164 1111 63 0 25199 0
vsize: 101048
[startup+810.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26292 0 0 0 80901 109 0 0 25 0 1 0 727421865 103473152 23193 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25262 23193 1111 63 0 25199 0
vsize: 101048
[startup+820.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26306 0 0 0 81901 109 0 0 25 0 1 0 727421865 103714816 23205 4294967295 134512640 134714508 3221221776 3221218464 1076083615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25321 23205 1111 63 0 25258 0
vsize: 101284
[startup+830.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26309 0 0 0 82901 109 0 0 25 0 1 0 727421865 103473152 23204 4294967295 134512640 134714508 3221221776 3221217824 1075112103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25262 23204 1111 63 0 25199 0
vsize: 101048
[startup+840.043 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26311 0 0 0 83901 109 0 0 25 0 1 0 727421865 103473152 23204 4294967295 134512640 134714508 3221221776 3221217692 1074788153 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25262 23204 1111 63 0 25199 0
vsize: 101048
[startup+850.044 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26315 0 0 0 84902 109 0 0 25 0 1 0 727421865 103473152 23204 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25262 23204 1111 63 0 25199 0
vsize: 101048
[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26317 0 0 0 85902 109 0 0 25 0 1 0 727421865 103473152 23204 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25262 23204 1111 63 0 25199 0
vsize: 101048
[startup+870.044 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26319 0 0 0 86902 109 0 0 25 0 1 0 727421865 103473152 23204 4294967295 134512640 134714508 3221221776 3221217760 1075084528 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25262 23204 1111 63 0 25199 0
vsize: 101048
[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26323 0 0 0 87902 109 0 0 25 0 1 0 727421865 103473152 23204 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25262 23204 1111 63 0 25199 0
vsize: 101048
[startup+890.045 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26326 0 0 0 88902 109 0 0 25 0 1 0 727421865 103473152 23205 4294967295 134512640 134714508 3221221776 3221217688 1075964745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25262 23205 1111 63 0 25199 0
vsize: 101048
[startup+900.046 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26329 0 0 0 89902 109 0 0 25 0 1 0 727421865 103473152 23206 4294967295 134512640 134714508 3221221776 3221217656 1075964745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25262 23206 1111 63 0 25199 0
vsize: 101048
[startup+910.045 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26333 0 0 0 90903 109 0 0 25 0 1 0 727421865 103473152 23208 4294967295 134512640 134714508 3221221776 3221217856 1075093369 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25262 23208 1111 63 0 25199 0
vsize: 101048
[startup+920.045 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26341 0 0 0 91903 109 0 0 25 0 1 0 727421865 103473152 23212 4294967295 134512640 134714508 3221221776 3221217936 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25262 23212 1111 63 0 25199 0
vsize: 101048
[startup+930.045 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26343 0 0 0 92903 109 0 0 25 0 1 0 727421865 103473152 23212 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25262 23212 1111 63 0 25199 0
vsize: 101048
[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26345 0 0 0 93903 109 0 0 25 0 1 0 727421865 103473152 23212 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25262 23212 1111 63 0 25199 0
vsize: 101048
[startup+950.047 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26347 0 0 0 94903 109 0 0 25 0 1 0 727421865 103473152 23212 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25262 23212 1111 63 0 25199 0
vsize: 101048
[startup+960.047 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26349 0 0 0 95903 109 0 0 25 0 1 0 727421865 103473152 23212 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25262 23212 1111 63 0 25199 0
vsize: 101048
[startup+970.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26354 0 0 0 96904 109 0 0 25 0 1 0 727421865 103473152 23213 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25262 23213 1111 63 0 25199 0
vsize: 101048
[startup+980.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26359 0 0 0 97904 109 0 0 25 0 1 0 727421865 103473152 23214 4294967295 134512640 134714508 3221221776 3221217924 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25262 23214 1111 63 0 25199 0
vsize: 101048
[startup+990.049 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26455 0 0 0 98904 110 0 0 25 0 1 0 727421865 104128512 23308 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25422 23308 1111 63 0 25359 0
vsize: 101688
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26468 0 0 0 99904 110 0 0 25 0 1 0 727421865 104128512 23319 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25422 23319 1111 63 0 25359 0
vsize: 101688
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26479 0 0 0 100904 110 0 0 25 0 1 0 727421865 104128512 23326 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25422 23326 1111 63 0 25359 0
vsize: 101688
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26483 0 0 0 101904 110 0 0 25 0 1 0 727421865 104128512 23328 4294967295 134512640 134714508 3221221776 3221217924 1075114975 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25422 23328 1111 63 0 25359 0
vsize: 101688
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26565 0 0 0 102904 110 0 0 25 0 1 0 727421865 104816640 23408 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25590 23408 1111 63 0 25527 0
vsize: 102360
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26601 0 0 0 103904 111 0 0 25 0 1 0 727421865 104816640 23442 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25590 23442 1111 63 0 25527 0
vsize: 102360
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26604 0 0 0 104904 111 0 0 25 0 1 0 727421865 104816640 23443 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25590 23443 1111 63 0 25527 0
vsize: 102360
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26608 0 0 0 105904 111 0 0 25 0 1 0 727421865 104816640 23445 4294967295 134512640 134714508 3221221776 3221217796 1075964221 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25590 23445 1111 63 0 25527 0
vsize: 102360
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26614 0 0 0 106904 111 0 0 25 0 1 0 727421865 104816640 23447 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25590 23447 1111 63 0 25527 0
vsize: 102360
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26620 0 0 0 107904 111 0 0 25 0 1 0 727421865 104816640 23451 4294967295 134512640 134714508 3221221776 3221217968 1074960771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25590 23451 1111 63 0 25527 0
vsize: 102360
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26726 0 0 0 108904 111 0 0 25 0 1 0 727421865 105541632 23555 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25767 23555 1111 63 0 25704 0
vsize: 103068
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.99 3/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26756 0 0 0 109904 111 0 0 25 0 1 0 727421865 105541632 23583 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25767 23583 1111 63 0 25704 0
vsize: 103068
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26771 0 0 0 110904 111 0 0 25 0 1 0 727421865 105541632 23596 4294967295 134512640 134714508 3221221776 3221217632 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25767 23596 1111 63 0 25704 0
vsize: 103068
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26773 0 0 0 111905 111 0 0 25 0 1 0 727421865 105541632 23596 4294967295 134512640 134714508 3221221776 3221217968 1074960771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25767 23596 1111 63 0 25704 0
vsize: 103068
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26777 0 0 0 112905 111 0 0 25 0 1 0 727421865 105783296 23598 4294967295 134512640 134714508 3221221776 3221218848 1075969871 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25826 23598 1111 63 0 25763 0
vsize: 103304
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26785 0 0 0 113905 111 0 0 25 0 1 0 727421865 105541632 23602 4294967295 134512640 134714508 3221221776 3221218072 1075112600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25767 23602 1111 63 0 25704 0
vsize: 103068
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26789 0 0 0 114905 111 0 0 25 0 1 0 727421865 105541632 23604 4294967295 134512640 134714508 3221221776 3221217968 1074960765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25767 23604 1111 63 0 25704 0
vsize: 103068
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26794 0 0 0 115905 112 0 0 25 0 1 0 727421865 105541632 23607 4294967295 134512640 134714508 3221221776 3221217936 1075115724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25767 23607 1111 63 0 25704 0
vsize: 103068
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26796 0 0 0 116905 112 0 0 25 0 1 0 727421865 105541632 23607 4294967295 134512640 134714508 3221221776 3221218136 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25767 23607 1111 63 0 25704 0
vsize: 103068
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26799 0 0 0 117905 112 0 0 25 0 1 0 727421865 105541632 23608 4294967295 134512640 134714508 3221221776 3221218136 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25767 23608 1111 63 0 25704 0
vsize: 103068
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26807 0 0 0 118905 112 0 0 25 0 1 0 727421865 105541632 23614 4294967295 134512640 134714508 3221221776 3221217968 1074960852 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25767 23614 1111 63 0 25704 0
vsize: 103068
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) R 9991 7876 7672 0 -1 0 26819 0 0 0 119905 112 0 0 25 0 1 0 727421865 105541632 23624 4294967295 134512640 134714508 3221221776 3221218032 1075114277 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25767 23624 1111 63 0 25704 0
vsize: 103068
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 10049
Raw data (stat): 9992 (bsolo_lpr_cuts) Z 9991 7876 7672 0 -1 1036 26819 0 0 0 119905 116 0 0 25 0 1 0 727421865 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.1
CPU time (s): 1200.23
CPU user time (s): 1199.06
CPU system time (s): 1.16882
CPU usage (%): 100.01
Max. virtual memory (Kb): 103304
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####