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/frb50-23-opb/normalized-frb50-23-5.opb
MD5SUM	54f6acf3ab92bda8abb11350f74de20e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-37
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
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	1150
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	1150
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.08
Number of variables	1150
Total number of constraints	80035
Number of constraints which are clauses	80035
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 24828

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 14:31:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3035 boxname=wulflinc31 idbench=338 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  54f6acf3ab92bda8abb11350f74de20e  /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-5.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-5.opb
IDLAUNCH: 3035
/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:        862316 kB
Buffers:         36912 kB
Cached:         113744 kB
SwapCached:       1936 kB
Active:         117084 kB
Inactive:        36728 kB
HighTotal:      131008 kB
HighFree:        16492 kB
LowTotal:       903652 kB
LowFree:        845824 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12956 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 14:51:44 (client local time) WITH STATUS 0 IN 1200.18 SECONDS
stats: 3035 7 1200.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1150 variables and 80035 constraints.
c After prepocess the problem consists of 1150 variables and 53093 constraints.
c preprocess terminated 564.766 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.91 0.97 0.92 2/55 18062
Raw data (stat): 18062 (runsolver) R 18061 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 735908565 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.0007 s]
Raw data (loadavg): 0.93 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 19362 0 0 0 941 55 0 0 25 0 1 0 735908565 82501632 19281 4294967295 134512640 134714508 3221221776 3221220576 134617624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20142 19281 1111 63 0 20079 0
vsize: 80568
[startup+20.002 s]
Raw data (loadavg): 0.94 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 24998 0 0 0 1929 66 0 0 25 0 1 0 735908565 102686720 24212 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25070 24212 1111 63 0 25007 0
vsize: 100280
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 26952 0 0 0 2924 71 0 0 25 0 1 0 735908565 110411776 26112 4294967295 134512640 134714508 3221221776 3221220272 134537797 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26956 26112 1111 63 0 26893 0
vsize: 107824
[startup+40.0034 s]
Raw data (loadavg): 0.95 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 26952 0 0 0 3924 71 0 0 25 0 1 0 735908565 110411776 26112 4294967295 134512640 134714508 3221221776 3221220356 1077374508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26956 26112 1111 63 0 26893 0
vsize: 107824
[startup+50.0047 s]
Raw data (loadavg): 0.96 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27411 0 0 0 4922 73 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+60.0052 s]
Raw data (loadavg): 0.97 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 5922 74 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+70.0062 s]
Raw data (loadavg): 0.97 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 6921 74 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+80.0066 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 7921 75 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220412 134517908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+90.0071 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 8920 76 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220260 134539580 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 9920 76 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 10920 77 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 11920 77 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220256 134543108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 12919 77 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220184 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 13919 77 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220192 134542668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 14919 77 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 15919 78 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220392 134543785 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 16919 78 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220208 134543674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 17919 79 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220416 134594944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 18918 79 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 19918 79 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 20918 80 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 21918 80 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 22918 81 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220284 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 23917 81 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 24917 81 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 25917 82 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 26917 82 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 27916 83 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 28916 83 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 29916 83 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 30916 84 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 31915 84 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 32915 85 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220192 134543735 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 33915 85 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220192 134543712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 34914 86 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 35914 86 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220396 134543776 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 36914 87 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220392 134543834 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 37914 87 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 38913 87 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 39913 88 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 40913 88 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220192 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 41913 89 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 42912 89 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220192 134543710 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 43912 89 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220288 134542865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 44912 90 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 45912 90 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 46912 91 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 47911 91 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+490.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 48911 91 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+500.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 49911 92 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 50911 92 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+520.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 51911 92 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+530.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27464 0 0 0 52911 92 0 0 25 0 1 0 735908565 110489600 26141 4294967295 134512640 134714508 3221221776 3221220440 134543174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 26141 1111 63 0 26912 0
vsize: 107900
[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27939 0 0 0 53910 94 0 0 25 0 1 0 735908565 112431104 26616 4294967295 134512640 134714508 3221221776 3221220576 134622873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27449 26616 1111 63 0 27386 0
vsize: 109796
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27939 0 0 0 54909 94 0 0 25 0 1 0 735908565 112431104 26616 4294967295 134512640 134714508 3221221776 3221220564 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27449 26616 1111 63 0 27386 0
vsize: 109796
[startup+560.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 27939 0 0 0 55909 94 0 0 25 0 1 0 735908565 112431104 26616 4294967295 134512640 134714508 3221221776 3221220656 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27449 26616 1111 63 0 27386 0
vsize: 109796
[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28272 0 0 0 56908 96 0 0 25 0 1 0 735908565 114401280 26949 4294967295 134512640 134714508 3221221776 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27930 26949 1111 63 0 27867 0
vsize: 111720
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28411 0 0 0 57906 98 0 0 25 0 1 0 735908565 114929664 27088 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28059 27088 1111 63 0 27996 0
vsize: 112236
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28483 0 0 0 58903 101 0 0 25 0 1 0 735908565 115298304 27160 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28149 27160 1111 63 0 28086 0
vsize: 112596
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28513 0 0 0 59902 102 0 0 25 0 1 0 735908565 115412992 27190 4294967295 134512640 134714508 3221221776 3221219648 1074052098 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28177 27190 1111 63 0 28114 0
vsize: 112708
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28577 0 0 0 60900 104 0 0 25 0 1 0 735908565 115650560 27254 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28235 27254 1111 63 0 28172 0
vsize: 112940
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28655 0 0 0 61899 105 0 0 25 0 1 0 735908565 115937280 27332 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28305 27332 1111 63 0 28242 0
vsize: 113220
[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28679 0 0 0 62897 107 0 0 25 0 1 0 735908565 116031488 27356 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28328 27356 1111 63 0 28265 0
vsize: 113312
[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28699 0 0 0 63896 109 0 0 25 0 1 0 735908565 116109312 27376 4294967295 134512640 134714508 3221221776 3221220048 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28347 27376 1111 63 0 28284 0
vsize: 113388
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28742 0 0 0 64895 110 0 0 25 0 1 0 735908565 116248576 27419 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28381 27419 1111 63 0 28318 0
vsize: 113524
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28760 0 0 0 65894 111 0 0 25 0 1 0 735908565 116318208 27437 4294967295 134512640 134714508 3221221776 3221220080 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28398 27437 1111 63 0 28335 0
vsize: 113592
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28777 0 0 0 66893 112 0 0 25 0 1 0 735908565 116383744 27454 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28414 27454 1111 63 0 28351 0
vsize: 113656
[startup+680.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28795 0 0 0 67892 113 0 0 25 0 1 0 735908565 116453376 27472 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28431 27472 1111 63 0 28368 0
vsize: 113724
[startup+690.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28895 0 0 0 68891 114 0 0 25 0 1 0 735908565 116822016 27572 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28521 27572 1111 63 0 28458 0
vsize: 114084
[startup+700.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28911 0 0 0 69890 115 0 0 25 0 1 0 735908565 116883456 27588 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28536 27588 1111 63 0 28473 0
vsize: 114144
[startup+710.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28925 0 0 0 70890 116 0 0 25 0 1 0 735908565 116936704 27602 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28549 27602 1111 63 0 28486 0
vsize: 114196
[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28940 0 0 0 71889 116 0 0 25 0 1 0 735908565 116994048 27617 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28563 27617 1111 63 0 28500 0
vsize: 114252
[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 28956 0 0 0 72888 117 0 0 25 0 1 0 735908565 117055488 27633 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28578 27633 1111 63 0 28515 0
vsize: 114312
[startup+740.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29004 0 0 0 73888 118 0 0 25 0 1 0 735908565 116928512 27606 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28547 27606 1111 63 0 28484 0
vsize: 114188
[startup+750.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29018 0 0 0 74887 119 0 0 25 0 1 0 735908565 116981760 27620 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28560 27620 1111 63 0 28497 0
vsize: 114240
[startup+760.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29031 0 0 0 75886 120 0 0 25 0 1 0 735908565 117030912 27633 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28572 27633 1111 63 0 28509 0
vsize: 114288
[startup+770.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29043 0 0 0 76885 121 0 0 25 0 1 0 735908565 117080064 27645 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28584 27645 1111 63 0 28521 0
vsize: 114336
[startup+780.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29058 0 0 0 77884 122 0 0 25 0 1 0 735908565 117137408 27660 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28598 27660 1111 63 0 28535 0
vsize: 114392
[startup+790.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29069 0 0 0 78883 123 0 0 25 0 1 0 735908565 117178368 27671 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28608 27671 1111 63 0 28545 0
vsize: 114432
[startup+800.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29083 0 0 0 79883 124 0 0 25 0 1 0 735908565 117235712 27685 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28622 27685 1111 63 0 28559 0
vsize: 114488
[startup+810.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29094 0 0 0 80882 125 0 0 25 0 1 0 735908565 117276672 27696 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28632 27696 1111 63 0 28569 0
vsize: 114528
[startup+820.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29308 0 0 0 81881 126 0 0 25 0 1 0 735908565 118149120 27910 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28845 27910 1111 63 0 28782 0
vsize: 115380
[startup+830.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29320 0 0 0 82880 127 0 0 25 0 1 0 735908565 118198272 27922 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28857 27922 1111 63 0 28794 0
vsize: 115428
[startup+840.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29332 0 0 0 83879 128 0 0 25 0 1 0 735908565 118243328 27934 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28868 27934 1111 63 0 28805 0
vsize: 115472
[startup+850.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29343 0 0 0 84878 129 0 0 25 0 1 0 735908565 118284288 27945 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28878 27945 1111 63 0 28815 0
vsize: 115512
[startup+860.051 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29354 0 0 0 85877 130 0 0 25 0 1 0 735908565 118329344 27956 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28889 27956 1111 63 0 28826 0
vsize: 115556
[startup+870.052 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29367 0 0 0 86877 131 0 0 25 0 1 0 735908565 118378496 27969 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28901 27969 1111 63 0 28838 0
vsize: 115604
[startup+880.052 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29377 0 0 0 87876 131 0 0 25 0 1 0 735908565 118419456 27979 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28911 27979 1111 63 0 28848 0
vsize: 115644
[startup+890.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29390 0 0 0 88876 132 0 0 25 0 1 0 735908565 118468608 27992 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28923 27992 1111 63 0 28860 0
vsize: 115692
[startup+900.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29401 0 0 0 89875 133 0 0 25 0 1 0 735908565 118513664 28003 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28934 28003 1111 63 0 28871 0
vsize: 115736
[startup+910.055 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29411 0 0 0 90875 133 0 0 25 0 1 0 735908565 118550528 28013 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28943 28013 1111 63 0 28880 0
vsize: 115772
[startup+920.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29420 0 0 0 91874 134 0 0 25 0 1 0 735908565 118587392 28022 4294967295 134512640 134714508 3221221776 3221220032 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28952 28022 1111 63 0 28889 0
vsize: 115808
[startup+930.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29430 0 0 0 92873 135 0 0 25 0 1 0 735908565 118624256 28032 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28961 28032 1111 63 0 28898 0
vsize: 115844
[startup+940.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29515 0 0 0 93872 136 0 0 25 0 1 0 735908565 118972416 28117 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29046 28117 1111 63 0 28983 0
vsize: 116184
[startup+950.058 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29525 0 0 0 94871 137 0 0 25 0 1 0 735908565 119009280 28127 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29055 28127 1111 63 0 28992 0
vsize: 116220
[startup+960.059 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29534 0 0 0 95871 138 0 0 25 0 1 0 735908565 119046144 28136 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29064 28136 1111 63 0 29001 0
vsize: 116256
[startup+970.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29544 0 0 0 96870 138 0 0 25 0 1 0 735908565 119083008 28146 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29073 28146 1111 63 0 29010 0
vsize: 116292
[startup+980.061 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29553 0 0 0 97869 139 0 0 25 0 1 0 735908565 119119872 28155 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29082 28155 1111 63 0 29019 0
vsize: 116328
[startup+990.062 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29563 0 0 0 98869 140 0 0 25 0 1 0 735908565 119156736 28165 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29091 28165 1111 63 0 29028 0
vsize: 116364
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29574 0 0 0 99868 141 0 0 25 0 1 0 735908565 119201792 28176 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29102 28176 1111 63 0 29039 0
vsize: 116408
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29584 0 0 0 100867 142 0 0 25 0 1 0 735908565 119238656 28186 4294967295 134512640 134714508 3221221776 3221220048 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29111 28186 1111 63 0 29048 0
vsize: 116444
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29593 0 0 0 101866 143 0 0 25 0 1 0 735908565 119275520 28195 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29120 28195 1111 63 0 29057 0
vsize: 116480
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29601 0 0 0 102865 144 0 0 25 0 1 0 735908565 119304192 28203 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29127 28203 1111 63 0 29064 0
vsize: 116508
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29610 0 0 0 103865 144 0 0 25 0 1 0 735908565 119341056 28212 4294967295 134512640 134714508 3221221776 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29136 28212 1111 63 0 29073 0
vsize: 116544
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29620 0 0 0 104864 145 0 0 25 0 1 0 735908565 119377920 28222 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29145 28222 1111 63 0 29082 0
vsize: 116580
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29628 0 0 0 105863 146 0 0 25 0 1 0 735908565 119410688 28230 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29153 28230 1111 63 0 29090 0
vsize: 116612
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29637 0 0 0 106863 147 0 0 25 0 1 0 735908565 119447552 28239 4294967295 134512640 134714508 3221221776 3221220080 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29162 28239 1111 63 0 29099 0
vsize: 116648
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29647 0 0 0 107862 147 0 0 25 0 1 0 735908565 119484416 28249 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29171 28249 1111 63 0 29108 0
vsize: 116684
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29654 0 0 0 108862 148 0 0 25 0 1 0 735908565 119513088 28256 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29178 28256 1111 63 0 29115 0
vsize: 116712
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29663 0 0 0 109862 149 0 0 25 0 1 0 735908565 119545856 28265 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29186 28265 1111 63 0 29123 0
vsize: 116744
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29767 0 0 0 110861 150 0 0 25 0 1 0 735908565 119971840 28369 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29290 28369 1111 63 0 29227 0
vsize: 117160
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29775 0 0 0 111860 151 0 0 25 0 1 0 735908565 120000512 28377 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29297 28377 1111 63 0 29234 0
vsize: 117188
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29783 0 0 0 112860 151 0 0 25 0 1 0 735908565 120033280 28385 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29305 28385 1111 63 0 29242 0
vsize: 117220
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29790 0 0 0 113859 152 0 0 25 0 1 0 735908565 120061952 28392 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29312 28392 1111 63 0 29249 0
vsize: 117248
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29799 0 0 0 114858 152 0 0 25 0 1 0 735908565 120094720 28401 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29320 28401 1111 63 0 29257 0
vsize: 117280
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29808 0 0 0 115859 153 0 0 25 0 1 0 735908565 120131584 28410 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29329 28410 1111 63 0 29266 0
vsize: 117316
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29816 0 0 0 116859 153 0 0 25 0 1 0 735908565 120160256 28418 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29336 28418 1111 63 0 29273 0
vsize: 117344
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29824 0 0 0 117859 153 0 0 25 0 1 0 735908565 120193024 28426 4294967295 134512640 134714508 3221221776 3221220032 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29344 28426 1111 63 0 29281 0
vsize: 117376
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29833 0 0 0 118859 153 0 0 25 0 1 0 735908565 120229888 28435 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29353 28435 1111 63 0 29290 0
vsize: 117412
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) R 18061 7876 7672 0 -1 0 29841 0 0 0 119859 153 0 0 25 0 1 0 735908565 120258560 28443 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29360 28443 1111 63 0 29297 0
vsize: 117440
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 18062
Raw data (stat): 18062 (bsolo_lpr_cuts) Z 18061 7876 7672 0 -1 1036 29841 0 0 0 119859 159 0 0 25 0 1 0 735908565 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.13
CPU time (s): 1200.18
CPU user time (s): 1198.59
CPU system time (s): 1.59176
CPU usage (%): 100.004
Max. virtual memory (Kb): 117440
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####