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/frb45-21-opb/normalized-frb45-21-2.opb
MD5SUM	a931f7e9a55cb6836807387327525e8b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-35
Optimality of the best value was proved	NO
Number of terms in the objective function	945
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	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	945
Total number of constraints	58624
Number of constraints which are clauses	58624
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 24788

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 01:03:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2963 boxname=wulflinc31 idbench=330 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  a931f7e9a55cb6836807387327525e8b  /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-2.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-2.opb
IDLAUNCH: 2963
/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:        877720 kB
Buffers:         35708 kB
Cached:          99444 kB
SwapCached:       1936 kB
Active:         103064 kB
Inactive:        35284 kB
HighTotal:      131008 kB
HighFree:        30744 kB
LowTotal:       903652 kB
LowFree:        846976 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12888 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 01:23:18 (client local time) WITH STATUS 0 IN 1200.18 SECONDS
stats: 2963 7 1200.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 945 variables and 58624 constraints.
c After prepocess the problem consists of 945 variables and 40191 constraints.
c preprocess terminated 395.426 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.97 2/55 13495
Raw data (stat): 13495 (runsolver) R 13494 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 731057351 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0014 s]
Raw data (loadavg): 0.93 0.98 0.97 2/55 13495
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 22300 0 0 0 939 56 0 0 25 0 1 0 731057351 94437376 22220 4294967295 134512640 134714508 3221221776 3221220400 134538617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23056 22220 1111 63 0 22993 0
vsize: 92224
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.98 0.97 2/55 13495
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 1935 60 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.98 0.97 2/55 13495
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 2935 60 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220412 1076647876 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+40.0036 s]
Raw data (loadavg): 0.96 0.98 0.97 2/55 13495
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 3935 60 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.98 0.97 2/55 13495
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 4935 60 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220240 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 13495
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 5935 60 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+70.005 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 13495
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 6935 61 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220144 134542998 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 13495
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 7935 61 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+90.0054 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 13495
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 8935 61 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 13495
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 9935 61 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220352 134524262 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 13495
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 10934 62 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220284 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13495
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 11934 62 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220184 134543638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13495
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 12935 62 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220208 134543671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13495
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 13934 62 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220160 134542342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13495
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 14934 63 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13495
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 15934 63 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220256 134542344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 16934 64 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 17933 64 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 18933 64 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 19933 65 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220192 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 20933 65 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220256 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 21933 65 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 22932 66 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220240 134536695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 23931 67 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 24931 68 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220240 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 25931 68 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 26931 68 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220296 134652781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 27931 68 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+290.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 28931 68 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220140 134539270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+300.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 29931 69 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+310.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 30930 69 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+320.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 31930 69 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 32930 69 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+340.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 33930 70 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220448 134627217 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+350.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 34929 71 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+360.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 35929 71 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220448 134627252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+370.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 23999 0 0 0 36929 72 0 0 25 0 1 0 731057351 98459648 23205 4294967295 134512640 134714508 3221221776 3221220448 134627231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+380.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24000 0 0 0 37928 72 0 0 25 0 1 0 731057351 98459648 23206 4294967295 134512640 134714508 3221221776 3221220552 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23206 1111 63 0 23975 0
vsize: 96152
[startup+390.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24000 0 0 0 38929 72 0 0 25 0 1 0 731057351 98459648 23206 4294967295 134512640 134714508 3221221776 3221220644 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23206 1111 63 0 23975 0
vsize: 96152
[startup+400.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24022 0 0 0 39928 73 0 0 25 0 1 0 731057351 98459648 23228 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23228 1111 63 0 23975 0
vsize: 96152
[startup+410.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24022 0 0 0 40928 73 0 0 25 0 1 0 731057351 98459648 23228 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24038 23228 1111 63 0 23975 0
vsize: 96152
[startup+420.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24215 0 0 0 41927 74 0 0 25 0 1 0 731057351 99246080 23421 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24230 23421 1111 63 0 24167 0
vsize: 96920
[startup+430.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24245 0 0 0 42926 76 0 0 25 0 1 0 731057351 99368960 23451 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24260 23451 1111 63 0 24197 0
vsize: 97040
[startup+440.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24269 0 0 0 43925 77 0 0 25 0 1 0 731057351 99467264 23475 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24284 23475 1111 63 0 24221 0
vsize: 97136
[startup+450.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24293 0 0 0 44923 78 0 0 25 0 1 0 731057351 99565568 23499 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24308 23499 1111 63 0 24245 0
vsize: 97232
[startup+460.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24313 0 0 0 45922 80 0 0 25 0 1 0 731057351 99647488 23519 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24328 23519 1111 63 0 24265 0
vsize: 97312
[startup+470.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24334 0 0 0 46921 81 0 0 25 0 1 0 731057351 99733504 23540 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24349 23540 1111 63 0 24286 0
vsize: 97396
[startup+480.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24352 0 0 0 47920 82 0 0 25 0 1 0 731057351 99811328 23558 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24368 23558 1111 63 0 24305 0
vsize: 97472
[startup+490.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24371 0 0 0 48919 83 0 0 25 0 1 0 731057351 99885056 23577 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24386 23577 1111 63 0 24323 0
vsize: 97544
[startup+500.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24389 0 0 0 49918 85 0 0 25 0 1 0 731057351 99958784 23595 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24404 23595 1111 63 0 24341 0
vsize: 97616
[startup+510.031 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24460 0 0 0 50917 85 0 0 25 0 1 0 731057351 100249600 23666 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24475 23666 1111 63 0 24412 0
vsize: 97900
[startup+520.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24477 0 0 0 51917 86 0 0 25 0 1 0 731057351 100319232 23683 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24492 23683 1111 63 0 24429 0
vsize: 97968
[startup+530.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24492 0 0 0 52916 87 0 0 25 0 1 0 731057351 100380672 23698 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24507 23698 1111 63 0 24444 0
vsize: 98028
[startup+540.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24507 0 0 0 53915 88 0 0 25 0 1 0 731057351 100442112 23713 4294967295 134512640 134714508 3221221776 3221220032 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24522 23713 1111 63 0 24459 0
vsize: 98088
[startup+550.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24522 0 0 0 54914 89 0 0 25 0 1 0 731057351 100503552 23728 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24537 23728 1111 63 0 24474 0
vsize: 98148
[startup+560.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24613 0 0 0 55913 90 0 0 25 0 1 0 731057351 100876288 23819 4294967295 134512640 134714508 3221221776 3221220032 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24628 23819 1111 63 0 24565 0
vsize: 98512
[startup+570.036 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24627 0 0 0 56913 90 0 0 25 0 1 0 731057351 100933632 23833 4294967295 134512640 134714508 3221221776 3221220032 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24642 23833 1111 63 0 24579 0
vsize: 98568
[startup+580.037 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24640 0 0 0 57912 91 0 0 25 0 1 0 731057351 100986880 23846 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24655 23846 1111 63 0 24592 0
vsize: 98620
[startup+590.037 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24655 0 0 0 58912 92 0 0 25 0 1 0 731057351 101048320 23861 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24670 23861 1111 63 0 24607 0
vsize: 98680
[startup+600.039 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24670 0 0 0 59911 92 0 0 25 0 1 0 731057351 101109760 23876 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24685 23876 1111 63 0 24622 0
vsize: 98740
[startup+610.039 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24682 0 0 0 60910 94 0 0 25 0 1 0 731057351 101158912 23888 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24697 23888 1111 63 0 24634 0
vsize: 98788
[startup+620.039 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24694 0 0 0 61909 95 0 0 25 0 1 0 731057351 101208064 23900 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24709 23900 1111 63 0 24646 0
vsize: 98836
[startup+630.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24706 0 0 0 62908 95 0 0 25 0 1 0 731057351 101257216 23912 4294967295 134512640 134714508 3221221776 3221220032 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24721 23912 1111 63 0 24658 0
vsize: 98884
[startup+640.041 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24824 0 0 0 63908 96 0 0 25 0 1 0 731057351 101740544 24030 4294967295 134512640 134714508 3221221776 3221220032 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24839 24030 1111 63 0 24776 0
vsize: 99356
[startup+650.041 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24837 0 0 0 64907 97 0 0 25 0 1 0 731057351 101793792 24043 4294967295 134512640 134714508 3221221776 3221220032 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24852 24043 1111 63 0 24789 0
vsize: 99408
[startup+660.042 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24848 0 0 0 65907 97 0 0 25 0 1 0 731057351 101838848 24054 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24863 24054 1111 63 0 24800 0
vsize: 99452
[startup+670.043 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24860 0 0 0 66906 98 0 0 25 0 1 0 731057351 101888000 24066 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24875 24066 1111 63 0 24812 0
vsize: 99500
[startup+680.044 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24872 0 0 0 67905 99 0 0 25 0 1 0 731057351 101937152 24078 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24887 24078 1111 63 0 24824 0
vsize: 99548
[startup+690.044 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24886 0 0 0 68905 100 0 0 25 0 1 0 731057351 101994496 24092 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24901 24092 1111 63 0 24838 0
vsize: 99604
[startup+700.044 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24896 0 0 0 69903 101 0 0 25 0 1 0 731057351 102035456 24102 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24911 24102 1111 63 0 24848 0
vsize: 99644
[startup+710.045 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24910 0 0 0 70903 101 0 0 25 0 1 0 731057351 102092800 24116 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24925 24116 1111 63 0 24862 0
vsize: 99700
[startup+720.045 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24925 0 0 0 71902 102 0 0 25 0 1 0 731057351 102154240 24131 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24940 24131 1111 63 0 24877 0
vsize: 99760
[startup+730.046 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24937 0 0 0 72902 103 0 0 25 0 1 0 731057351 102203392 24143 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24952 24143 1111 63 0 24889 0
vsize: 99808
[startup+740.047 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 24950 0 0 0 73901 104 0 0 25 0 1 0 731057351 102256640 24156 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24965 24156 1111 63 0 24902 0
vsize: 99860
[startup+750.047 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 25009 0 0 0 74900 105 0 0 25 0 1 0 731057351 102498304 24215 4294967295 134512640 134714508 3221221776 3221220000 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25024 24215 1111 63 0 24961 0
vsize: 100096
[startup+760.049 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 26755 0 0 0 75896 108 0 0 25 0 1 0 731057351 109592576 25961 4294967295 134512640 134714508 3221221776 3221219656 1074138309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26756 25961 1111 63 0 26693 0
vsize: 107024
[startup+770.049 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 32716 0 0 0 76883 122 0 0 25 0 1 0 731057351 133156864 28943 4294967295 134512640 134714508 3221221776 3221217968 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32509 28943 1111 63 0 32446 0
vsize: 130036
[startup+780.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 32801 0 0 0 77883 122 0 0 25 0 1 0 731057351 133156864 29028 4294967295 134512640 134714508 3221221776 3221217840 1074969471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32509 29028 1111 63 0 32446 0
vsize: 130036
[startup+790.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34238 0 0 0 78880 125 0 0 25 0 1 0 731057351 136097792 30463 4294967295 134512640 134714508 3221221776 3221217856 1074883509 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33227 30463 1111 63 0 33164 0
vsize: 132908
[startup+800.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34482 0 0 0 79878 127 0 0 25 0 1 0 731057351 130211840 29381 4294967295 134512640 134714508 3221221776 3221218508 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31790 29381 1111 63 0 31727 0
vsize: 127160
[startup+810.051 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34503 0 0 0 80878 128 0 0 25 0 1 0 731057351 130535424 29402 4294967295 134512640 134714508 3221221776 3221218352 1075969182 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31869 29402 1111 63 0 31806 0
vsize: 127476
[startup+820.051 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34505 0 0 0 81877 128 0 0 25 0 1 0 731057351 130211840 29402 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31790 29402 1111 63 0 31727 0
vsize: 127160
[startup+830.052 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34517 0 0 0 82877 129 0 0 25 0 1 0 731057351 130211840 29412 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31790 29412 1111 63 0 31727 0
vsize: 127160
[startup+840.052 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34538 0 0 0 83876 130 0 0 25 0 1 0 731057351 130211840 29431 4294967295 134512640 134714508 3221221776 3221217840 1074969465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31790 29431 1111 63 0 31727 0
vsize: 127160
[startup+850.051 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34551 0 0 0 84876 130 0 0 25 0 1 0 731057351 130211840 29444 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31790 29444 1111 63 0 31727 0
vsize: 127160
[startup+860.051 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34657 0 0 0 85875 131 0 0 25 0 1 0 731057351 130801664 29548 4294967295 134512640 134714508 3221221776 3221217968 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29548 1111 63 0 31871 0
vsize: 127736
[startup+870.052 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34680 0 0 0 86875 131 0 0 25 0 1 0 731057351 130801664 29569 4294967295 134512640 134714508 3221221776 3221217604 1074786498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29569 1111 63 0 31871 0
vsize: 127736
[startup+880.054 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34686 0 0 0 87875 132 0 0 25 0 1 0 731057351 130801664 29573 4294967295 134512640 134714508 3221221776 3221217824 1075112103 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29573 1111 63 0 31871 0
vsize: 127736
[startup+890.054 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34693 0 0 0 88875 132 0 0 25 0 1 0 731057351 130801664 29578 4294967295 134512640 134714508 3221221776 3221217840 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29578 1111 63 0 31871 0
vsize: 127736
[startup+900.054 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34698 0 0 0 89875 132 0 0 25 0 1 0 731057351 130801664 29583 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29583 1111 63 0 31871 0
vsize: 127736
[startup+910.055 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34720 0 0 0 90874 133 0 0 25 0 1 0 731057351 130801664 29603 4294967295 134512640 134714508 3221221776 3221217660 1074788168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29603 1111 63 0 31871 0
vsize: 127736
[startup+920.055 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34727 0 0 0 91874 134 0 0 25 0 1 0 731057351 130801664 29608 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29608 1111 63 0 31871 0
vsize: 127736
[startup+930.056 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34735 0 0 0 92874 134 0 0 25 0 1 0 731057351 130801664 29614 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29614 1111 63 0 31871 0
vsize: 127736
[startup+940.057 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34737 0 0 0 93873 134 0 0 25 0 1 0 731057351 130801664 29614 4294967295 134512640 134714508 3221221776 3221217840 1074969685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29614 1111 63 0 31871 0
vsize: 127736
[startup+950.058 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34741 0 0 0 94873 135 0 0 25 0 1 0 731057351 130801664 29618 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29618 1111 63 0 31871 0
vsize: 127736
[startup+960.058 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34748 0 0 0 95873 135 0 0 25 0 1 0 731057351 130801664 29625 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29625 1111 63 0 31871 0
vsize: 127736
[startup+970.059 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34809 0 0 0 96872 136 0 0 25 0 1 0 731057351 131411968 29684 4294967295 134512640 134714508 3221221776 3221217808 1075895652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32083 29684 1111 63 0 32020 0
vsize: 128332
[startup+980.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34835 0 0 0 97872 137 0 0 25 0 1 0 731057351 131411968 29708 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32083 29708 1111 63 0 32020 0
vsize: 128332
[startup+990.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34835 0 0 0 98872 137 0 0 25 0 1 0 731057351 131411968 29708 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32083 29708 1111 63 0 32020 0
vsize: 128332
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34842 0 0 0 99872 137 0 0 25 0 1 0 731057351 131411968 29713 4294967295 134512640 134714508 3221221776 3221217904 1074815265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32083 29713 1111 63 0 32020 0
vsize: 128332
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34847 0 0 0 100871 137 0 0 25 0 1 0 731057351 131411968 29716 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32083 29716 1111 63 0 32020 0
vsize: 128332
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34856 0 0 0 101871 138 0 0 25 0 1 0 731057351 131411968 29725 4294967295 134512640 134714508 3221221776 3221217840 1074969474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32083 29725 1111 63 0 32020 0
vsize: 128332
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34934 0 0 0 102871 138 0 0 25 0 1 0 731057351 132063232 29801 4294967295 134512640 134714508 3221221776 3221217808 1075895652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32242 29801 1111 63 0 32179 0
vsize: 128968
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34961 0 0 0 103870 139 0 0 25 0 1 0 731057351 132063232 29828 4294967295 134512640 134714508 3221221776 3221217968 1074961278 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32242 29828 1111 63 0 32179 0
vsize: 128968
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34972 0 0 0 104870 139 0 0 25 0 1 0 731057351 132063232 29837 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32242 29837 1111 63 0 32179 0
vsize: 128968
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34978 0 0 0 105870 140 0 0 25 0 1 0 731057351 132063232 29841 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32242 29841 1111 63 0 32179 0
vsize: 128968
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34981 0 0 0 106869 140 0 0 25 0 1 0 731057351 132063232 29842 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32242 29842 1111 63 0 32179 0
vsize: 128968
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34984 0 0 0 107869 140 0 0 25 0 1 0 731057351 132063232 29845 4294967295 134512640 134714508 3221221776 3221217840 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32242 29845 1111 63 0 32179 0
vsize: 128968
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 34995 0 0 0 108869 141 0 0 25 0 1 0 731057351 132063232 29856 4294967295 134512640 134714508 3221221776 3221217840 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32242 29856 1111 63 0 32179 0
vsize: 128968
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 35082 0 0 0 109868 142 0 0 25 0 1 0 731057351 132739072 29941 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32407 29941 1111 63 0 32344 0
vsize: 129628
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 35107 0 0 0 110868 142 0 0 25 0 1 0 731057351 132739072 29964 4294967295 134512640 134714508 3221221776 3221217796 1075964218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32407 29964 1111 63 0 32344 0
vsize: 129628
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 35108 0 0 0 111868 142 0 0 25 0 1 0 731057351 132739072 29965 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32407 29965 1111 63 0 32344 0
vsize: 129628
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 35116 0 0 0 112868 143 0 0 25 0 1 0 731057351 132739072 29971 4294967295 134512640 134714508 3221221776 3221217656 1075964742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32407 29971 1111 63 0 32344 0
vsize: 129628
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 35119 0 0 0 113868 143 0 0 25 0 1 0 731057351 132739072 29972 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32407 29972 1111 63 0 32344 0
vsize: 129628
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 35124 0 0 0 114868 143 0 0 25 0 1 0 731057351 132739072 29977 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32407 29977 1111 63 0 32344 0
vsize: 129628
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 35239 0 0 0 115867 144 0 0 25 0 1 0 731057351 133459968 30090 4294967295 134512640 134714508 3221221776 3221217936 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32583 30090 1111 63 0 32520 0
vsize: 130332
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 35274 0 0 0 116866 145 0 0 25 0 1 0 731057351 133459968 30123 4294967295 134512640 134714508 3221221776 3221217840 1074969465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32583 30123 1111 63 0 32520 0
vsize: 130332
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 35275 0 0 0 117866 145 0 0 25 0 1 0 731057351 133459968 30124 4294967295 134512640 134714508 3221221776 3221217660 1074788153 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32583 30124 1111 63 0 32520 0
vsize: 130332
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 35284 0 0 0 118865 146 0 0 25 0 1 0 731057351 133459968 30129 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32583 30129 1111 63 0 32520 0
vsize: 130332
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) R 13494 7876 7672 0 -1 0 35288 0 0 0 119865 146 0 0 25 0 1 0 731057351 133459968 30133 4294967295 134512640 134714508 3221221776 3221217796 1075964227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32583 30133 1111 63 0 32520 0
vsize: 130332
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.98 0.97 1/55 13497
Raw data (stat): 13495 (bsolo_lpr_cuts) Z 13494 7876 7672 0 -1 1036 35288 0 0 0 119865 152 0 0 25 0 1 0 731057351 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.13
CPU time (s): 1200.18
CPU user time (s): 1198.66
CPU system time (s): 1.52177
CPU usage (%): 100.004
Max. virtual memory (Kb): 132908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####