PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-158.opb
MD5SUM	d607820afcd431f46941921bd45aecde
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1327
Optimality of the best value was proved	NO
Number of terms in the objective function	2726
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	2726
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2726
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06784
Number of variables	2726
Total number of constraints	4397
Number of constraints which are clauses	4397
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	5
Trace number 24278

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 09:18:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2045 boxname=wulflinc31 idbench=228 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  d607820afcd431f46941921bd45aecde  /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-158.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-158.opb
IDLAUNCH: 2045
/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:        139396 kB
Buffers:         43868 kB
Cached:         816776 kB
SwapCached:        644 kB
Active:         490308 kB
Inactive:       372660 kB
HighTotal:      131008 kB
HighFree:         1736 kB
LowTotal:       903652 kB
LowFree:        137660 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26460 kB
Committed_AS:    63648 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 09:38:49 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 2045 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2726 variables and 4397 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 27056
Raw data (stat): 27056 (runsolver) R 27055 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 699466867 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.0011 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 41356 0 0 0 897 99 0 0 25 0 1 0 699466867 17707008 3470 4294967295 134512640 134714508 3221221776 3221220200 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4323 3470 1111 63 0 4260 0
vsize: 17292
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 65938 0 0 0 1838 158 0 0 25 0 1 0 699466867 26873856 5718 4294967295 134512640 134714508 3221221776 3221220256 134523859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6561 5718 1111 63 0 6498 0
vsize: 26244
[startup+30.0018 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 87757 0 0 0 2785 211 0 0 25 0 1 0 699466867 33927168 7440 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8283 7440 1111 63 0 8220 0
vsize: 33132
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 96005 0 0 0 3767 229 0 0 25 0 1 0 699466867 37257216 8253 4294967295 134512640 134714508 3221221776 3221220244 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9096 8253 1111 63 0 9033 0
vsize: 36384
[startup+50.0027 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 104270 0 0 0 4746 250 0 0 25 0 1 0 699466867 41631744 9321 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10164 9321 1111 63 0 10101 0
vsize: 40656
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 115937 0 0 0 5718 279 0 0 25 0 1 0 699466867 46100480 10394 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10394 1111 63 0 11192 0
vsize: 45020
[startup+70.0026 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 120393 0 0 0 6708 289 0 0 25 0 1 0 699466867 48951296 11108 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11951 11108 1111 63 0 11888 0
vsize: 47804
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 126134 0 0 0 7695 302 0 0 25 0 1 0 699466867 51671040 11753 4294967295 134512640 134714508 3221221776 3221220392 134543793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12615 11753 1111 63 0 12552 0
vsize: 50460
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 130740 0 0 0 8683 314 0 0 25 0 1 0 699466867 54222848 12366 4294967295 134512640 134714508 3221221776 3221220376 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13238 12366 1111 63 0 13175 0
vsize: 52952
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 133927 0 0 0 9676 322 0 0 25 0 1 0 699466867 56791040 13014 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13865 13014 1111 63 0 13802 0
vsize: 55460
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 137037 0 0 0 10669 328 0 0 25 0 1 0 699466867 58044416 13313 4294967295 134512640 134714508 3221221776 3221220128 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14171 13313 1111 63 0 14108 0
vsize: 56684
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 149038 0 0 0 11639 358 0 0 25 0 1 0 699466867 61333504 14107 4294967295 134512640 134714508 3221221776 3221220200 134539204 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14974 14107 1111 63 0 14911 0
vsize: 59896
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 150037 0 0 0 12636 361 0 0 25 0 1 0 699466867 61616128 14192 4294967295 134512640 134714508 3221221776 3221220256 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15043 14192 1111 63 0 14980 0
vsize: 60172
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 153164 0 0 0 13629 369 0 0 25 0 1 0 699466867 63373312 14605 4294967295 134512640 134714508 3221221776 3221220512 134630815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15472 14605 1111 63 0 15409 0
vsize: 61888
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 156841 0 0 0 14621 378 0 0 25 0 1 0 699466867 65388544 15089 4294967295 134512640 134714508 3221221776 3221220400 134529232 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15964 15089 1111 63 0 15901 0
vsize: 63856
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 159729 0 0 0 15614 384 0 0 25 0 1 0 699466867 66924544 15472 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16339 15472 1111 63 0 16276 0
vsize: 65356
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 164123 0 0 0 16603 395 0 0 25 0 1 0 699466867 67366912 15604 4294967295 134512640 134714508 3221221776 3221220108 134535952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16447 15604 1111 63 0 16384 0
vsize: 65788
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 166979 0 0 0 17596 402 0 0 25 0 1 0 699466867 70201344 16275 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17139 16275 1111 63 0 17076 0
vsize: 68556
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 168733 0 0 0 18592 407 0 0 25 0 1 0 699466867 71700480 16638 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17505 16638 1111 63 0 17442 0
vsize: 70020
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 171879 0 0 0 19585 414 0 0 25 0 1 0 699466867 73150464 17008 4294967295 134512640 134714508 3221221776 3221220384 134529376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17859 17008 1111 63 0 17796 0
vsize: 71436
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 174358 0 0 0 20579 420 0 0 25 0 1 0 699466867 73465856 17093 4294967295 134512640 134714508 3221221776 3221220128 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17936 17093 1111 63 0 17873 0
vsize: 71744
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 176931 0 0 0 21573 426 0 0 25 0 1 0 699466867 75718656 17619 4294967295 134512640 134714508 3221221776 3221220244 134543092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18486 17619 1111 63 0 18423 0
vsize: 73944
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 180074 0 0 0 22566 433 0 0 25 0 1 0 699466867 77070336 17962 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18816 17962 1111 63 0 18753 0
vsize: 75264
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.99 3/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 182619 0 0 0 23560 439 0 0 25 0 1 0 699466867 78127104 18230 4294967295 134512640 134714508 3221221776 3221220228 134536752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19074 18230 1111 63 0 19011 0
vsize: 76296
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 185447 0 0 0 24554 446 0 0 25 0 1 0 699466867 79237120 18481 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19345 18481 1111 63 0 19282 0
vsize: 77380
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 186452 0 0 0 25551 449 0 0 25 0 1 0 699466867 80453632 18772 4294967295 134512640 134714508 3221221776 3221220392 134543785 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19642 18772 1111 63 0 19579 0
vsize: 78568
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 187887 0 0 0 26548 452 0 0 25 0 1 0 699466867 81723392 19093 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19952 19093 1111 63 0 19889 0
vsize: 79808
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 190888 0 0 0 27542 458 0 0 25 0 1 0 699466867 81395712 19029 4294967295 134512640 134714508 3221221776 3221220208 134523350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19872 19029 1111 63 0 19809 0
vsize: 79488
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 195802 0 0 0 28530 470 0 0 25 0 1 0 699466867 83505152 19544 4294967295 134512640 134714508 3221221776 3221220304 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20387 19544 1111 63 0 20324 0
vsize: 81548
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 196939 0 0 0 29528 473 0 0 25 0 1 0 699466867 84824064 19847 4294967295 134512640 134714508 3221221776 3221220256 134539385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20709 19847 1111 63 0 20646 0
vsize: 82836
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 199548 0 0 0 30522 479 0 0 25 0 1 0 699466867 85798912 20077 4294967295 134512640 134714508 3221221776 3221220284 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20947 20077 1111 63 0 20884 0
vsize: 83788
[startup+320.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 203717 0 0 0 31513 488 0 0 25 0 1 0 699466867 86781952 20315 4294967295 134512640 134714508 3221221776 3221220400 134529395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21187 20315 1111 63 0 21124 0
vsize: 84748
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 205496 0 0 0 32510 492 0 0 25 0 1 0 699466867 88518656 20744 4294967295 134512640 134714508 3221221776 3221220380 134543540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21611 20744 1111 63 0 21548 0
vsize: 86444
[startup+340.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 208987 0 0 0 33500 501 0 0 25 0 1 0 699466867 89485312 20975 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21847 20975 1111 63 0 21784 0
vsize: 87388
[startup+350.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 210218 0 0 0 34497 504 0 0 25 0 1 0 699466867 90304512 21204 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22047 21204 1111 63 0 21984 0
vsize: 88188
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 211111 0 0 0 35495 507 0 0 25 0 1 0 699466867 91295744 21435 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22289 21435 1111 63 0 22226 0
vsize: 89156
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 211980 0 0 0 36493 509 0 0 25 0 1 0 699466867 91508736 21498 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22341 21498 1111 63 0 22278 0
vsize: 89364
[startup+380.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 213549 0 0 0 37490 512 0 0 25 0 1 0 699466867 91725824 21551 4294967295 134512640 134714508 3221221776 3221220304 134528738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22394 21551 1111 63 0 22331 0
vsize: 89576
[startup+390.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 215666 0 0 0 38485 517 0 0 25 0 1 0 699466867 93896704 22081 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22924 22081 1111 63 0 22861 0
vsize: 91696
[startup+400.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 217432 0 0 0 39481 521 0 0 25 0 1 0 699466867 93364224 21947 4294967295 134512640 134714508 3221221776 3221220192 134542677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22794 21947 1111 63 0 22731 0
vsize: 91176
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 219263 0 0 0 40478 524 0 0 25 0 1 0 699466867 95424512 22446 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23297 22446 1111 63 0 23234 0
vsize: 93188
[startup+420.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 225598 0 0 0 41462 540 0 0 25 0 1 0 699466867 96669696 22734 4294967295 134512640 134714508 3221221776 3221220256 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23601 22734 1111 63 0 23538 0
vsize: 94404
[startup+430.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 227251 0 0 0 42459 544 0 0 25 0 1 0 699466867 96243712 22654 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23497 22654 1111 63 0 23434 0
vsize: 93988
[startup+440.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 229179 0 0 0 43456 547 0 0 25 0 1 0 699466867 98385920 23147 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24020 23147 1111 63 0 23957 0
vsize: 96080
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 230049 0 0 0 44454 549 0 0 25 0 1 0 699466867 99168256 23336 4294967295 134512640 134714508 3221221776 3221220240 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24211 23336 1111 63 0 24148 0
vsize: 96844
[startup+460.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 230911 0 0 0 45453 550 0 0 25 0 1 0 699466867 99938304 23529 4294967295 134512640 134714508 3221221776 3221220272 134543686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24399 23529 1111 63 0 24336 0
vsize: 97596
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 232392 0 0 0 46450 554 0 0 25 0 1 0 699466867 100450304 23679 4294967295 134512640 134714508 3221221776 3221220284 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24524 23679 1111 63 0 24461 0
vsize: 98096
[startup+480.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 233458 0 0 0 47447 557 0 0 25 0 1 0 699466867 101244928 23867 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24718 23867 1111 63 0 24655 0
vsize: 98872
[startup+490.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 234548 0 0 0 48445 559 0 0 25 0 1 0 699466867 101801984 24011 4294967295 134512640 134714508 3221221776 3221220392 134543793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24854 24011 1111 63 0 24791 0
vsize: 99416
[startup+500.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 238608 0 0 0 49436 568 0 0 25 0 1 0 699466867 102752256 24230 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25086 24230 1111 63 0 25023 0
vsize: 100344
[startup+510.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 239962 0 0 0 50433 571 0 0 25 0 1 0 699466867 103305216 24364 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25221 24364 1111 63 0 25158 0
vsize: 100884
[startup+520.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 241837 0 0 0 51429 576 0 0 25 0 1 0 699466867 104042496 24547 4294967295 134512640 134714508 3221221776 3221220304 134542884 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25401 24547 1111 63 0 25338 0
vsize: 101604
[startup+530.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 243486 0 0 0 52425 580 0 0 25 0 1 0 699466867 103702528 24475 4294967295 134512640 134714508 3221221776 3221220256 134524108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25318 24475 1111 63 0 25255 0
vsize: 101272
[startup+540.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 247864 0 0 0 53415 590 0 0 25 0 1 0 699466867 104898560 24767 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25610 24767 1111 63 0 25547 0
vsize: 102440
[startup+550.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 249661 0 0 0 54411 594 0 0 25 0 1 0 699466867 105951232 25021 4294967295 134512640 134714508 3221221776 3221220392 134543785 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25867 25021 1111 63 0 25804 0
vsize: 103468
[startup+560.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 250564 0 0 0 55409 596 0 0 25 0 1 0 699466867 105807872 24959 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25832 24964 1111 63 0 25769 0
vsize: 103328
[startup+570.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 280274 0 0 0 56339 666 0 0 25 0 1 0 699466867 107958272 25514 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26357 25514 1111 63 0 26294 0
vsize: 105428
[startup+580.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 280473 0 0 0 57339 666 0 0 25 0 1 0 699466867 108384256 25618 4294967295 134512640 134714508 3221221776 3221220284 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26461 25618 1111 63 0 26398 0
vsize: 105844
[startup+590.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 281163 0 0 0 58337 669 0 0 25 0 1 0 699466867 107958272 25514 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26357 25514 1111 63 0 26294 0
vsize: 105428
[startup+600.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 282670 0 0 0 59334 672 0 0 25 0 1 0 699466867 109547520 25872 4294967295 134512640 134714508 3221221776 3221220272 134543707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26745 25872 1111 63 0 26682 0
vsize: 106980
[startup+610.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 283993 0 0 0 60332 675 0 0 25 0 1 0 699466867 110108672 26039 4294967295 134512640 134714508 3221221776 3221220504 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26882 26039 1111 63 0 26819 0
vsize: 107528
[startup+620.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 286395 0 0 0 61326 680 0 0 25 0 1 0 699466867 110673920 26169 4294967295 134512640 134714508 3221221776 3221220392 134543793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27020 26169 1111 63 0 26957 0
vsize: 108080
[startup+630.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 289299 0 0 0 62319 687 0 0 25 0 1 0 699466867 111108096 26283 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27126 26283 1111 63 0 27063 0
vsize: 108504
[startup+640.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 290540 0 0 0 63317 690 0 0 25 0 1 0 699466867 111742976 26409 4294967295 134512640 134714508 3221221776 3221220256 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27281 26409 1111 63 0 27218 0
vsize: 109124
[startup+650.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 291577 0 0 0 64314 692 0 0 25 0 1 0 699466867 112312320 26577 4294967295 134512640 134714508 3221221776 3221220528 134630822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27420 26577 1111 63 0 27357 0
vsize: 109680
[startup+660.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 292770 0 0 0 65312 695 0 0 25 0 1 0 699466867 112775168 26690 4294967295 134512640 134714508 3221221776 3221220352 134523974 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27533 26690 1111 63 0 27470 0
vsize: 110132
[startup+670.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 294328 0 0 0 66308 700 0 0 25 0 1 0 699466867 112635904 26656 4294967295 134512640 134714508 3221221776 3221220188 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27499 26656 1111 63 0 27436 0
vsize: 109996
[startup+680.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 295459 0 0 0 67305 702 0 0 25 0 1 0 699466867 113762304 26925 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27774 26925 1111 63 0 27711 0
vsize: 111096
[startup+690.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 296110 0 0 0 68303 704 0 0 25 0 1 0 699466867 114257920 27047 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27895 27047 1111 63 0 27832 0
vsize: 111580
[startup+700.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 296712 0 0 0 69302 706 0 0 25 0 1 0 699466867 114683904 27152 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27999 27152 1111 63 0 27936 0
vsize: 111996
[startup+710.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 297899 0 0 0 70299 709 0 0 25 0 1 0 699466867 115408896 27317 4294967295 134512640 134714508 3221221776 3221220264 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28176 27317 1111 63 0 28113 0
vsize: 112704
[startup+720.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 299554 0 0 0 71296 712 0 0 25 0 1 0 699466867 115834880 27430 4294967295 134512640 134714508 3221221776 3221220256 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28280 27430 1111 63 0 28217 0
vsize: 113120
[startup+730.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 303377 0 0 0 72286 722 0 0 25 0 1 0 699466867 114860032 27199 4294967295 134512640 134714508 3221221776 3221220108 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28042 27199 1111 63 0 27979 0
vsize: 112168
[startup+740.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 307554 0 0 0 73277 732 0 0 25 0 1 0 699466867 116322304 27556 4294967295 134512640 134714508 3221221776 3221220108 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28399 27556 1111 63 0 28336 0
vsize: 113596
[startup+750.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 308135 0 0 0 74276 733 0 0 25 0 1 0 699466867 116322304 27556 4294967295 134512640 134714508 3221221776 3221220196 134542821 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28399 27556 1111 63 0 28336 0
vsize: 113596
[startup+760.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 310428 0 0 0 75270 738 0 0 25 0 1 0 699466867 117600256 27865 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28711 27865 1111 63 0 28648 0
vsize: 114844
[startup+770.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 311707 0 0 0 76268 741 0 0 25 0 1 0 699466867 118067200 27961 4294967295 134512640 134714508 3221221776 3221220400 134594999 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28825 27961 1111 63 0 28762 0
vsize: 115300
[startup+780.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 312503 0 0 0 77265 744 0 0 25 0 1 0 699466867 118464512 28063 4294967295 134512640 134714508 3221221776 3221220220 134536784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28922 28063 1111 63 0 28859 0
vsize: 115688
[startup+790.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 312935 0 0 0 78264 745 0 0 25 0 1 0 699466867 118743040 28147 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28990 28147 1111 63 0 28927 0
vsize: 115960
[startup+800.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 316275 0 0 0 79257 753 0 0 25 0 1 0 699466867 118743040 28147 4294967295 134512640 134714508 3221221776 3221220184 134542289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28990 28147 1111 63 0 28927 0
vsize: 115960
[startup+810.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 317049 0 0 0 80255 755 0 0 25 0 1 0 699466867 118743040 28147 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28990 28147 1111 63 0 28927 0
vsize: 115960
[startup+820.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 318498 0 0 0 81252 758 0 0 25 0 1 0 699466867 119668736 28373 4294967295 134512640 134714508 3221221776 3221220244 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29216 28373 1111 63 0 29153 0
vsize: 116864
[startup+830.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 319992 0 0 0 82248 762 0 0 25 0 1 0 699466867 119668736 28373 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29216 28373 1111 63 0 29153 0
vsize: 116864
[startup+840.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 320919 0 0 0 83246 764 0 0 25 0 1 0 699466867 120320000 28532 4294967295 134512640 134714508 3221221776 3221220256 134524108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29375 28532 1111 63 0 29312 0
vsize: 117500
[startup+850.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 321895 0 0 0 84243 767 0 0 25 0 1 0 699466867 121167872 28734 4294967295 134512640 134714508 3221221776 3221220576 134617622 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29582 28734 1111 63 0 29519 0
vsize: 118328
[startup+860.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 326181 0 0 0 85233 778 0 0 25 0 1 0 699466867 120320000 28532 4294967295 134512640 134714508 3221221776 3221220108 134535964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29375 28532 1111 63 0 29312 0
vsize: 117500
[startup+870.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 343125 0 0 0 86194 817 0 0 25 0 1 0 699466867 122589184 29086 4294967295 134512640 134714508 3221221776 3221220188 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29929 29086 1111 63 0 29866 0
vsize: 119716
[startup+880.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 343313 0 0 0 87194 818 0 0 25 0 1 0 699466867 122589184 29086 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29929 29086 1111 63 0 29866 0
vsize: 119716
[startup+890.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 343892 0 0 0 88191 820 0 0 25 0 1 0 699466867 122589184 29086 4294967295 134512640 134714508 3221221776 3221220188 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29929 29086 1111 63 0 29866 0
vsize: 119716
[startup+900.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 344827 0 0 0 89190 822 0 0 25 0 1 0 699466867 122589184 29086 4294967295 134512640 134714508 3221221776 3221220108 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29929 29086 1111 63 0 29866 0
vsize: 119716
[startup+910.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 345596 0 0 0 90188 824 0 0 25 0 1 0 699466867 124133376 29461 4294967295 134512640 134714508 3221221776 3221220220 134536814 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30306 29461 1111 63 0 30243 0
vsize: 121224
[startup+920.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 346129 0 0 0 91187 825 0 0 25 0 1 0 699466867 124575744 29545 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30414 29545 1111 63 0 30351 0
vsize: 121656
[startup+930.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 346920 0 0 0 92185 827 0 0 25 0 1 0 699466867 124862464 29640 4294967295 134512640 134714508 3221221776 3221220384 134529381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30484 29640 1111 63 0 30421 0
vsize: 121936
[startup+940.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 348047 0 0 0 93183 830 0 0 25 0 1 0 699466867 125284352 29720 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30587 29720 1111 63 0 30524 0
vsize: 122348
[startup+950.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 349480 0 0 0 94180 833 0 0 25 0 1 0 699466867 125665280 29816 4294967295 134512640 134714508 3221221776 3221220392 134543793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30680 29816 1111 63 0 30617 0
vsize: 122720
[startup+960.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 350020 0 0 0 95179 834 0 0 25 0 1 0 699466867 126038016 29896 4294967295 134512640 134714508 3221221776 3221220504 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30771 29896 1111 63 0 30708 0
vsize: 123084
[startup+970.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 350653 0 0 0 96177 835 0 0 25 0 1 0 699466867 125186048 29720 4294967295 134512640 134714508 3221221776 3221220192 134543712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30563 29720 1111 63 0 30500 0
vsize: 122252
[startup+980.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 351799 0 0 0 97174 839 0 0 25 0 1 0 699466867 125186048 29720 4294967295 134512640 134714508 3221221776 3221220108 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30563 29720 1111 63 0 30500 0
vsize: 122252
[startup+990.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 353218 0 0 0 98171 842 0 0 25 0 1 0 699466867 125530112 29775 4294967295 134512640 134714508 3221221776 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30647 29775 1111 63 0 30584 0
vsize: 122588
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 354526 0 0 0 99168 845 0 0 25 0 1 0 699466867 127225856 30199 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31061 30199 1111 63 0 30998 0
vsize: 124244
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 357901 0 0 0 100161 853 0 0 25 0 1 0 699466867 127569920 30275 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31145 30275 1111 63 0 31082 0
vsize: 124580
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 358211 0 0 0 101160 853 0 0 25 0 1 0 699466867 127868928 30356 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31218 30356 1111 63 0 31155 0
vsize: 124872
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 358525 0 0 0 102160 854 0 0 25 0 1 0 699466867 127586304 30306 4294967295 134512640 134714508 3221221776 3221220192 134542760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31149 30306 1111 63 0 31086 0
vsize: 124596
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 359225 0 0 0 103158 856 0 0 25 0 1 0 699466867 128577536 30522 4294967295 134512640 134714508 3221221776 3221220392 134543830 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31391 30522 1111 63 0 31328 0
vsize: 125564
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 360224 0 0 0 104156 858 0 0 25 0 1 0 699466867 128864256 30591 4294967295 134512640 134714508 3221221776 3221220360 134523854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31461 30591 1111 63 0 31398 0
vsize: 125844
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 360978 0 0 0 105154 860 0 0 25 0 1 0 699466867 129568768 30764 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31633 30764 1111 63 0 31570 0
vsize: 126532
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 361592 0 0 0 106153 862 0 0 25 0 1 0 699466867 129077248 30670 4294967295 134512640 134714508 3221221776 3221220128 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31513 30670 1111 63 0 31450 0
vsize: 126052
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 362248 0 0 0 107152 863 0 0 25 0 1 0 699466867 130396160 30984 4294967295 134512640 134714508 3221221776 3221220280 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31835 30984 1111 63 0 31772 0
vsize: 127340
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 362685 0 0 0 108151 864 0 0 25 0 1 0 699466867 130682880 31048 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31905 31048 1111 63 0 31842 0
vsize: 127620
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 364505 0 0 0 109146 868 0 0 25 0 1 0 699466867 130248704 30956 4294967295 134512640 134714508 3221221776 3221220304 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31799 30956 1111 63 0 31736 0
vsize: 127196
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 365077 0 0 0 110145 870 0 0 25 0 1 0 699466867 131162112 31179 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32022 31179 1111 63 0 31959 0
vsize: 128088
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 365379 0 0 0 111145 870 0 0 25 0 1 0 699466867 131846144 31317 4294967295 134512640 134714508 3221221776 3221220384 134529376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32189 31317 1111 63 0 32126 0
vsize: 128756
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 365657 0 0 0 112144 871 0 0 25 0 1 0 699466867 131989504 31378 4294967295 134512640 134714508 3221221776 3221220528 134630798 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32224 31378 1111 63 0 32161 0
vsize: 128896
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 365954 0 0 0 113144 872 0 0 25 0 1 0 699466867 131756032 31324 4294967295 134512640 134714508 3221221776 3221220108 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32167 31324 1111 63 0 32104 0
vsize: 128668
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 366520 0 0 0 114143 873 0 0 25 0 1 0 699466867 132464640 31487 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32340 31487 1111 63 0 32277 0
vsize: 129360
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 368621 0 0 0 115138 878 0 0 25 0 1 0 699466867 131756032 31324 4294967295 134512640 134714508 3221221776 3221220292 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32167 31324 1111 63 0 32104 0
vsize: 128668
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 369645 0 0 0 116136 880 0 0 25 0 1 0 699466867 131756032 31324 4294967295 134512640 134714508 3221221776 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32167 31324 1111 63 0 32104 0
vsize: 128668
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 370621 0 0 0 117133 883 0 0 25 0 1 0 699466867 133312512 31685 4294967295 134512640 134714508 3221221776 3221220400 134529174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32547 31685 1111 63 0 32484 0
vsize: 130188
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 370714 0 0 0 118133 883 0 0 25 0 1 0 699466867 133169152 31669 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32512 31669 1111 63 0 32449 0
vsize: 130048
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) R 27055 7876 7672 0 -1 0 371076 0 0 0 119133 884 0 0 25 0 1 0 699466867 133738496 31781 4294967295 134512640 134714508 3221221776 3221220400 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32651 31781 1111 63 0 32588 0
vsize: 130604
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 27056
Raw data (stat): 27056 (bsolo_lpr_cuts) Z 27055 7876 7672 0 -1 1036 371076 0 0 0 119133 890 0 0 25 0 1 0 699466867 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.09
CPU time (s): 1200.24
CPU user time (s): 1191.33
CPU system time (s): 8.90465
CPU usage (%): 100.012
Max. virtual memory (Kb): 130604
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####