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/frb53-24-opb/normalized-frb53-24-1.opb
MD5SUM	20fc65112f36a5d10cc9eaa82c0beb63
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-38
Optimality of the best value was proved	NO
Number of terms in the objective function	1272
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	1272
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1272
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.1
Number of variables	1272
Total number of constraints	94227
Number of constraints which are clauses	94227
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 24833

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 16:12:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3044 boxname=wulflinc31 idbench=339 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  20fc65112f36a5d10cc9eaa82c0beb63  /oldhome/oroussel/tmp/wulflinc31/normalized-frb53-24-1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb53-24-1.opb
IDLAUNCH: 3044
/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:        859620 kB
Buffers:         37068 kB
Cached:         116240 kB
SwapCached:       1936 kB
Active:         119632 kB
Inactive:        36856 kB
HighTotal:      131008 kB
HighFree:        13916 kB
LowTotal:       903652 kB
LowFree:        845704 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12868 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 16:32:49 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 3044 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1272 variables and 94227 constraints.
c After prepocess the problem consists of 1272 variables and 63978 constraints.
c preprocess terminated 742.851 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.86 0.97 0.91 2/55 18655
Raw data (stat): 18655 (runsolver) R 18654 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 736515151 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0015 s]
Raw data (loadavg): 0.88 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 16871 0 0 0 946 49 0 0 25 0 1 0 736515151 72204288 16791 4294967295 134512640 134714508 3221221776 3221220200 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17661 16795 1111 63 0 17598 0
vsize: 70512
[startup+20.0022 s]
Raw data (loadavg): 0.90 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 35156 0 0 0 1905 90 0 0 25 0 1 0 736515151 143036416 34081 4294967295 134512640 134714508 3221221776 3221220492 134527879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34921 34081 1111 63 0 34858 0
vsize: 139684
[startup+30.0032 s]
Raw data (loadavg): 0.91 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 2902 94 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+40.0044 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 3902 94 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220384 134529113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+50.005 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 4902 95 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+60.006 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 5901 95 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220432 134609146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+70.0069 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 6901 96 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220308 134542835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+80.0078 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 7901 96 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220260 134539352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+90.0087 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 8901 96 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220392 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+100.009 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 9901 97 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+110.01 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 10900 97 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220336 134535762 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+120.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 11900 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+130.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 12900 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220188 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+140.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 13900 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220208 134543674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 14900 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220400 134594954 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 15901 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 16901 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+180.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 17901 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 18901 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220184 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 19901 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220140 134539223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 20902 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 21902 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 22902 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220416 134557581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 23902 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220336 134535760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+250.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 24902 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220256 134542325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 25903 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 26903 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 27903 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 28903 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220392 134543793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 29903 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220184 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 30904 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 31904 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 32904 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220504 134672911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 33904 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220192 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 34904 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 35905 98 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220256 134539437 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 36905 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220268 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 37905 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 38905 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220192 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 39905 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220184 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 40905 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 41906 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220192 134543712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 42906 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220184 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+440.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 43906 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 44906 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 45906 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 46907 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220280 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+480.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 47907 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+490.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 48907 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 49907 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220288 134542865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+510.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 50907 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220336 134535762 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 51907 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 52908 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220392 134543830 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 53908 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220288 134543700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+550.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 54908 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220156 134539341 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 55908 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+570.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 56908 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220140 134539223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+580.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 57909 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+590.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 58909 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220160 134542706 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+600.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 59909 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220268 134543616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+610.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 60909 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+620.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 61909 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+630.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 62910 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+640.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 63910 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+650.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 64910 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+660.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 65910 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+670.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 66910 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+680.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 67910 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+690.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36525 0 0 0 68911 99 0 0 25 0 1 0 736515151 147038208 35033 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35033 1111 63 0 35835 0
vsize: 143592
[startup+700.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36526 0 0 0 69911 99 0 0 25 0 1 0 736515151 147038208 35034 4294967295 134512640 134714508 3221221776 3221220576 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35034 1111 63 0 35835 0
vsize: 143592
[startup+710.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36526 0 0 0 70911 99 0 0 25 0 1 0 736515151 147038208 35034 4294967295 134512640 134714508 3221221776 3221220576 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35034 1111 63 0 35835 0
vsize: 143592
[startup+720.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36526 0 0 0 71911 99 0 0 25 0 1 0 736515151 147038208 35034 4294967295 134512640 134714508 3221221776 3221220656 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35034 1111 63 0 35835 0
vsize: 143592
[startup+730.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36526 0 0 0 72911 99 0 0 25 0 1 0 736515151 147038208 35034 4294967295 134512640 134714508 3221221776 3221220656 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35034 1111 63 0 35835 0
vsize: 143592
[startup+740.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36526 0 0 0 73911 99 0 0 25 0 1 0 736515151 147038208 35034 4294967295 134512640 134714508 3221221776 3221220564 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35034 1111 63 0 35835 0
vsize: 143592
[startup+750.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36548 0 0 0 74911 100 0 0 25 0 1 0 736515151 147038208 35056 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35898 35056 1111 63 0 35835 0
vsize: 143592
[startup+760.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36548 0 0 0 75910 100 0 0 25 0 1 0 736515151 147038208 35056 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35056 1111 63 0 35835 0
vsize: 143592
[startup+770.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36548 0 0 0 76910 100 0 0 25 0 1 0 736515151 147038208 35056 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35056 1111 63 0 35835 0
vsize: 143592
[startup+780.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36548 0 0 0 77910 100 0 0 25 0 1 0 736515151 147038208 35056 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35056 1111 63 0 35835 0
vsize: 143592
[startup+790.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36548 0 0 0 78911 100 0 0 25 0 1 0 736515151 147038208 35056 4294967295 134512640 134714508 3221221776 3221220024 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35898 35056 1111 63 0 35835 0
vsize: 143592
[startup+800.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36733 0 0 0 79910 101 0 0 25 0 1 0 736515151 147791872 35241 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36082 35241 1111 63 0 36019 0
vsize: 144328
[startup+810.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36748 0 0 0 80909 102 0 0 25 0 1 0 736515151 147853312 35256 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36097 35256 1111 63 0 36034 0
vsize: 144388
[startup+820.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36758 0 0 0 81909 103 0 0 25 0 1 0 736515151 147894272 35266 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36107 35266 1111 63 0 36044 0
vsize: 144428
[startup+830.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36769 0 0 0 82908 103 0 0 25 0 1 0 736515151 147939328 35277 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36118 35277 1111 63 0 36055 0
vsize: 144472
[startup+840.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36780 0 0 0 83908 104 0 0 25 0 1 0 736515151 147984384 35288 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36129 35288 1111 63 0 36066 0
vsize: 144516
[startup+850.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36791 0 0 0 84908 104 0 0 25 0 1 0 736515151 148029440 35299 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36140 35299 1111 63 0 36077 0
vsize: 144560
[startup+860.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36802 0 0 0 85907 105 0 0 25 0 1 0 736515151 148074496 35310 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36151 35310 1111 63 0 36088 0
vsize: 144604
[startup+870.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36814 0 0 0 86907 106 0 0 25 0 1 0 736515151 148123648 35322 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36163 35322 1111 63 0 36100 0
vsize: 144652
[startup+880.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36824 0 0 0 87907 106 0 0 25 0 1 0 736515151 148164608 35332 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36173 35332 1111 63 0 36110 0
vsize: 144692
[startup+890.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36835 0 0 0 88906 107 0 0 25 0 1 0 736515151 148209664 35343 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36184 35343 1111 63 0 36121 0
vsize: 144736
[startup+900.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36844 0 0 0 89906 107 0 0 25 0 1 0 736515151 148246528 35352 4294967295 134512640 134714508 3221221776 3221219696 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36193 35352 1111 63 0 36130 0
vsize: 144772
[startup+910.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36853 0 0 0 90906 107 0 0 25 0 1 0 736515151 148283392 35361 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36202 35361 1111 63 0 36139 0
vsize: 144808
[startup+920.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36862 0 0 0 91906 108 0 0 25 0 1 0 736515151 148320256 35370 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36211 35370 1111 63 0 36148 0
vsize: 144844
[startup+930.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36870 0 0 0 92906 108 0 0 25 0 1 0 736515151 148353024 35378 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36219 35378 1111 63 0 36156 0
vsize: 144876
[startup+940.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36878 0 0 0 93906 109 0 0 25 0 1 0 736515151 148385792 35386 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36227 35386 1111 63 0 36164 0
vsize: 144908
[startup+950.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 36885 0 0 0 94906 109 0 0 25 0 1 0 736515151 148414464 35393 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36234 35393 1111 63 0 36171 0
vsize: 144936
[startup+960.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37064 0 0 0 95905 109 0 0 25 0 1 0 736515151 149147648 35572 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36413 35572 1111 63 0 36350 0
vsize: 145652
[startup+970.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37074 0 0 0 96904 110 0 0 25 0 1 0 736515151 149188608 35582 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36423 35582 1111 63 0 36360 0
vsize: 145692
[startup+980.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37085 0 0 0 97904 111 0 0 25 0 1 0 736515151 149233664 35593 4294967295 134512640 134714508 3221221776 3221220048 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36434 35593 1111 63 0 36371 0
vsize: 145736
[startup+990.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37095 0 0 0 98904 111 0 0 25 0 1 0 736515151 149274624 35603 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36444 35603 1111 63 0 36381 0
vsize: 145776
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37106 0 0 0 99904 112 0 0 25 0 1 0 736515151 149319680 35614 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36455 35614 1111 63 0 36392 0
vsize: 145820
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37116 0 0 0 100903 112 0 0 25 0 1 0 736515151 149360640 35624 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36465 35624 1111 63 0 36402 0
vsize: 145860
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37127 0 0 0 101903 113 0 0 25 0 1 0 736515151 149405696 35635 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36476 35635 1111 63 0 36413 0
vsize: 145904
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37137 0 0 0 102903 113 0 0 25 0 1 0 736515151 149446656 35645 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36486 35645 1111 63 0 36423 0
vsize: 145944
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37146 0 0 0 103903 114 0 0 25 0 1 0 736515151 149483520 35654 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36495 35654 1111 63 0 36432 0
vsize: 145980
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37156 0 0 0 104903 114 0 0 25 0 1 0 736515151 149528576 35664 4294967295 134512640 134714508 3221221776 3221220080 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36506 35664 1111 63 0 36443 0
vsize: 146024
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37166 0 0 0 105903 114 0 0 25 0 1 0 736515151 149565440 35674 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36515 35674 1111 63 0 36452 0
vsize: 146060
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37175 0 0 0 106903 114 0 0 25 0 1 0 736515151 149602304 35683 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36524 35683 1111 63 0 36461 0
vsize: 146096
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37184 0 0 0 107902 115 0 0 25 0 1 0 736515151 149639168 35692 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36533 35692 1111 63 0 36470 0
vsize: 146132
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37193 0 0 0 108902 115 0 0 25 0 1 0 736515151 149676032 35701 4294967295 134512640 134714508 3221221776 3221220048 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36542 35701 1111 63 0 36479 0
vsize: 146168
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37203 0 0 0 109902 116 0 0 25 0 1 0 736515151 149716992 35711 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36552 35711 1111 63 0 36489 0
vsize: 146208
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37212 0 0 0 110902 116 0 0 25 0 1 0 736515151 149753856 35720 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36561 35720 1111 63 0 36498 0
vsize: 146244
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37221 0 0 0 111902 116 0 0 25 0 1 0 736515151 149790720 35729 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36570 35729 1111 63 0 36507 0
vsize: 146280
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37232 0 0 0 112901 117 0 0 25 0 1 0 736515151 149835776 35740 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36581 35740 1111 63 0 36518 0
vsize: 146324
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37241 0 0 0 113901 117 0 0 25 0 1 0 736515151 149872640 35749 4294967295 134512640 134714508 3221221776 3221220000 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36590 35749 1111 63 0 36527 0
vsize: 146360
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37250 0 0 0 114901 118 0 0 25 0 1 0 736515151 149909504 35758 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36599 35758 1111 63 0 36536 0
vsize: 146396
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37260 0 0 0 115901 118 0 0 25 0 1 0 736515151 149950464 35768 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36609 35768 1111 63 0 36546 0
vsize: 146436
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37268 0 0 0 116900 119 0 0 25 0 1 0 736515151 149983232 35776 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36617 35776 1111 63 0 36554 0
vsize: 146468
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37277 0 0 0 117900 119 0 0 25 0 1 0 736515151 150020096 35785 4294967295 134512640 134714508 3221221776 3221220048 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36626 35785 1111 63 0 36563 0
vsize: 146504
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37284 0 0 0 118901 119 0 0 25 0 1 0 736515151 150048768 35792 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36633 35792 1111 63 0 36570 0
vsize: 146532
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) R 18654 7876 7672 0 -1 0 37293 0 0 0 119900 119 0 0 25 0 1 0 736515151 150085632 35801 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36642 35801 1111 63 0 36579 0
vsize: 146568
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 18655
Raw data (stat): 18655 (bsolo_lpr_cuts) Z 18654 7876 7672 0 -1 1036 37293 0 0 0 119900 126 0 0 25 0 1 0 736515151 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.14
CPU time (s): 1200.27
CPU user time (s): 1199.01
CPU system time (s): 1.26681
CPU usage (%): 100.011
Max. virtual memory (Kb): 146568
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####