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/ttp/normalized-data10_3.opb
MD5SUM	4a63b686be1696a2915c6e312773fbad
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	81744
Optimality of the best value was proved	NO
Number of terms in the objective function	900
Biggest coefficient in the objective function	1380
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	559660
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	1380
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	559660
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.07
Number of variables	2700
Total number of constraints	42620
Number of constraints which are clauses	20220
Number of constraints which are cardinality constraints (but not clauses)	800
Number of constraints which are nor clauses,nor cardinality constraints	21600
Minimum length of a constraint	2
Maximum length of a constraint	36
Trace number 24438

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 11:38:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2333 boxname=wulflinc31 idbench=260 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  4a63b686be1696a2915c6e312773fbad  /oldhome/oroussel/tmp/wulflinc31/normalized-data10_3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-data10_3.opb
IDLAUNCH: 2333
/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:        289144 kB
Buffers:         46568 kB
Cached:         664816 kB
SwapCached:        644 kB
Active:         313916 kB
Inactive:       399760 kB
HighTotal:      131008 kB
HighFree:        25816 kB
LowTotal:       903652 kB
LowFree:        263328 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26188 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 11:58:21 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 2333 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2700 variables and 43070 constraints.
c After prepocess the problem consists of 2700 variables and 41276 constraints.
c preprocess terminated 240.638 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.84 0.95 0.98 2/54 9917
Raw data (stat): 9917 (runsolver) R 9916 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 708945134 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.0009 s]
Raw data (loadavg): 0.87 0.95 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 8259 0 0 0 966 30 0 0 25 0 1 0 708945134 46989312 8182 4294967295 134512640 134714508 3221221776 3221220056 134532441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11472 8182 1111 63 0 11409 0
vsize: 45888
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.95 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 54874 0 0 0 1850 145 0 0 25 0 1 0 708945134 52002816 11841 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12696 11841 1111 63 0 12633 0
vsize: 50784
[startup+30.0018 s]
Raw data (loadavg): 0.90 0.95 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 79321 0 0 0 2788 207 0 0 25 0 1 0 708945134 53972992 12330 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13177 12330 1111 63 0 13114 0
vsize: 52708
[startup+40.0017 s]
Raw data (loadavg): 0.92 0.95 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 83533 0 0 0 3776 219 0 0 25 0 1 0 708945134 56193024 12875 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13719 12875 1111 63 0 13656 0
vsize: 54876
[startup+50.0026 s]
Raw data (loadavg): 0.93 0.95 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 87501 0 0 0 4766 230 0 0 25 0 1 0 708945134 68644864 15894 4294967295 134512640 134714508 3221221776 3221220384 134529133 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16759 15894 1111 63 0 16696 0
vsize: 67036
[startup+60.0026 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 87833 0 0 0 5765 231 0 0 25 0 1 0 708945134 68657152 15918 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16762 15918 1111 63 0 16699 0
vsize: 67048
[startup+70.0025 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 88109 0 0 0 6764 232 0 0 25 0 1 0 708945134 68657152 15918 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16762 15918 1111 63 0 16699 0
vsize: 67048
[startup+80.0035 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 90097 0 0 0 7759 237 0 0 25 0 1 0 708945134 68657152 15918 4294967295 134512640 134714508 3221221776 3221220208 134543674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16762 15918 1111 63 0 16699 0
vsize: 67048
[startup+90.0034 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 93718 0 0 0 8749 247 0 0 25 0 1 0 708945134 68657152 15918 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16762 15918 1111 63 0 16699 0
vsize: 67048
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 97818 0 0 0 9740 257 0 0 25 0 1 0 708945134 70582272 16388 4294967295 134512640 134714508 3221221776 3221220392 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17232 16388 1111 63 0 17169 0
vsize: 68928
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 98388 0 0 0 10738 259 0 0 25 0 1 0 708945134 72646656 16892 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17736 16892 1111 63 0 17673 0
vsize: 70944
[startup+120.005 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 99926 0 0 0 11733 263 0 0 25 0 1 0 708945134 72646656 16892 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17736 16892 1111 63 0 17673 0
vsize: 70944
[startup+130.006 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 101908 0 0 0 12729 268 0 0 25 0 1 0 708945134 75399168 17564 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18408 17564 1111 63 0 18345 0
vsize: 73632
[startup+140.006 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 102678 0 0 0 13726 271 0 0 25 0 1 0 708945134 75399168 17564 4294967295 134512640 134714508 3221221776 3221220380 134543540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18408 17564 1111 63 0 18345 0
vsize: 73632
[startup+150.007 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 103886 0 0 0 14723 274 0 0 25 0 1 0 708945134 75399168 17564 4294967295 134512640 134714508 3221221776 3221220256 134536624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18408 17564 1111 63 0 18345 0
vsize: 73632
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 105917 0 0 0 15717 280 0 0 25 0 1 0 708945134 78770176 18355 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19231 18355 1111 63 0 19168 0
vsize: 76924
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 106838 0 0 0 16714 283 0 0 25 0 1 0 708945134 78114816 18227 4294967295 134512640 134714508 3221221776 3221220140 134539296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 106838 0 0 0 17714 283 0 0 25 0 1 0 708945134 78114816 18227 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 106838 0 0 0 18714 283 0 0 25 0 1 0 708945134 78114816 18227 4294967295 134512640 134714508 3221221776 3221220432 134627203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 106838 0 0 0 19715 283 0 0 25 0 1 0 708945134 78114816 18227 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 106838 0 0 0 20715 283 0 0 25 0 1 0 708945134 78114816 18227 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 106838 0 0 0 21715 283 0 0 25 0 1 0 708945134 78114816 18227 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 106838 0 0 0 22715 283 0 0 25 0 1 0 708945134 78114816 18227 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 106839 0 0 0 23715 283 0 0 25 0 1 0 708945134 78114816 18228 4294967295 134512640 134714508 3221221776 3221220644 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19071 18228 1111 63 0 19008 0
vsize: 76284
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 106861 0 0 0 24715 283 0 0 25 0 1 0 708945134 78114816 18250 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 106861 0 0 0 25715 284 0 0 25 0 1 0 708945134 78114816 18250 4294967295 134512640 134714508 3221221776 3221219960 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 106861 0 0 0 26715 284 0 0 25 0 1 0 708945134 78114816 18250 4294967295 134512640 134714508 3221221776 3221220048 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 106861 0 0 0 27715 284 0 0 25 0 1 0 708945134 78114816 18250 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 106861 0 0 0 28715 284 0 0 25 0 1 0 708945134 78114816 18250 4294967295 134512640 134714508 3221221776 3221219856 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 106861 0 0 0 29716 284 0 0 25 0 1 0 708945134 78114816 18250 4294967295 134512640 134714508 3221221776 3221219808 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 106861 0 0 0 30716 284 0 0 25 0 1 0 708945134 78114816 18250 4294967295 134512640 134714508 3221221776 3221219888 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107121 0 0 0 31715 284 0 0 25 0 1 0 708945134 79175680 18510 4294967295 134512640 134714508 3221221776 3221219904 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19330 18510 1111 63 0 19267 0
vsize: 77320
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107149 0 0 0 32715 285 0 0 25 0 1 0 708945134 79290368 18538 4294967295 134512640 134714508 3221221776 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19358 18538 1111 63 0 19295 0
vsize: 77432
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107172 0 0 0 33715 285 0 0 25 0 1 0 708945134 79384576 18561 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19381 18561 1111 63 0 19318 0
vsize: 77524
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107193 0 0 0 34714 286 0 0 25 0 1 0 708945134 79470592 18582 4294967295 134512640 134714508 3221221776 3221219856 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19402 18582 1111 63 0 19339 0
vsize: 77608
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107213 0 0 0 35714 286 0 0 25 0 1 0 708945134 79552512 18602 4294967295 134512640 134714508 3221221776 3221219840 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19422 18602 1111 63 0 19359 0
vsize: 77688
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107232 0 0 0 36714 286 0 0 25 0 1 0 708945134 79630336 18621 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19441 18621 1111 63 0 19378 0
vsize: 77764
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107251 0 0 0 37714 287 0 0 25 0 1 0 708945134 79708160 18640 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19460 18640 1111 63 0 19397 0
vsize: 77840
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107267 0 0 0 38713 288 0 0 25 0 1 0 708945134 79773696 18656 4294967295 134512640 134714508 3221221776 3221219984 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19476 18656 1111 63 0 19413 0
vsize: 77904
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107284 0 0 0 39713 288 0 0 25 0 1 0 708945134 79843328 18673 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19493 18673 1111 63 0 19430 0
vsize: 77972
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107299 0 0 0 40713 288 0 0 25 0 1 0 708945134 79904768 18688 4294967295 134512640 134714508 3221221776 3221219888 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19508 18688 1111 63 0 19445 0
vsize: 78032
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107316 0 0 0 41713 288 0 0 25 0 1 0 708945134 79974400 18705 4294967295 134512640 134714508 3221221776 3221219792 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19525 18705 1111 63 0 19462 0
vsize: 78100
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107330 0 0 0 42713 289 0 0 25 0 1 0 708945134 80031744 18719 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19539 18719 1111 63 0 19476 0
vsize: 78156
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107344 0 0 0 43712 289 0 0 25 0 1 0 708945134 80089088 18733 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19553 18733 1111 63 0 19490 0
vsize: 78212
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107359 0 0 0 44712 290 0 0 25 0 1 0 708945134 80150528 18748 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19568 18748 1111 63 0 19505 0
vsize: 78272
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107372 0 0 0 45712 290 0 0 25 0 1 0 708945134 80203776 18761 4294967295 134512640 134714508 3221221776 3221219840 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19581 18761 1111 63 0 19518 0
vsize: 78324
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107386 0 0 0 46712 290 0 0 25 0 1 0 708945134 80261120 18775 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19595 18775 1111 63 0 19532 0
vsize: 78380
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107666 0 0 0 47711 291 0 0 25 0 1 0 708945134 81408000 19055 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19875 19055 1111 63 0 19812 0
vsize: 79500
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107686 0 0 0 48711 292 0 0 25 0 1 0 708945134 81489920 19075 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19895 19075 1111 63 0 19832 0
vsize: 79580
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107705 0 0 0 49711 292 0 0 25 0 1 0 708945134 81567744 19094 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19914 19094 1111 63 0 19851 0
vsize: 79656
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107723 0 0 0 50710 293 0 0 25 0 1 0 708945134 81641472 19112 4294967295 134512640 134714508 3221221776 3221219840 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19932 19112 1111 63 0 19869 0
vsize: 79728
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107740 0 0 0 51710 293 0 0 25 0 1 0 708945134 81711104 19129 4294967295 134512640 134714508 3221221776 3221219904 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19949 19129 1111 63 0 19886 0
vsize: 79796
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107758 0 0 0 52710 294 0 0 25 0 1 0 708945134 81784832 19147 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19967 19147 1111 63 0 19904 0
vsize: 79868
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107776 0 0 0 53710 294 0 0 25 0 1 0 708945134 81858560 19165 4294967295 134512640 134714508 3221221776 3221219536 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19985 19165 1111 63 0 19922 0
vsize: 79940
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107792 0 0 0 54710 294 0 0 25 0 1 0 708945134 81924096 19181 4294967295 134512640 134714508 3221221776 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20001 19181 1111 63 0 19938 0
vsize: 80004
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107809 0 0 0 55710 294 0 0 25 0 1 0 708945134 81993728 19198 4294967295 134512640 134714508 3221221776 3221219808 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20018 19198 1111 63 0 19955 0
vsize: 80072
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107825 0 0 0 56709 295 0 0 25 0 1 0 708945134 82059264 19214 4294967295 134512640 134714508 3221221776 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20034 19214 1111 63 0 19971 0
vsize: 80136
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107842 0 0 0 57709 295 0 0 25 0 1 0 708945134 82128896 19231 4294967295 134512640 134714508 3221221776 3221219744 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20051 19231 1111 63 0 19988 0
vsize: 80204
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107858 0 0 0 58709 296 0 0 25 0 1 0 708945134 82194432 19247 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20067 19247 1111 63 0 20004 0
vsize: 80268
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107873 0 0 0 59708 296 0 0 25 0 1 0 708945134 82255872 19262 4294967295 134512640 134714508 3221221776 3221219904 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20082 19262 1111 63 0 20019 0
vsize: 80328
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107888 0 0 0 60708 297 0 0 25 0 1 0 708945134 82317312 19277 4294967295 134512640 134714508 3221221776 3221219904 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20097 19277 1111 63 0 20034 0
vsize: 80388
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107903 0 0 0 61708 297 0 0 25 0 1 0 708945134 82378752 19292 4294967295 134512640 134714508 3221221776 3221219984 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20112 19292 1111 63 0 20049 0
vsize: 80448
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107920 0 0 0 62708 297 0 0 25 0 1 0 708945134 82448384 19309 4294967295 134512640 134714508 3221221776 3221219904 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20129 19309 1111 63 0 20066 0
vsize: 80516
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107933 0 0 0 63707 298 0 0 25 0 1 0 708945134 82501632 19322 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20142 19322 1111 63 0 20079 0
vsize: 80568
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107948 0 0 0 64707 298 0 0 25 0 1 0 708945134 82563072 19337 4294967295 134512640 134714508 3221221776 3221219936 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20157 19337 1111 63 0 20094 0
vsize: 80628
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107963 0 0 0 65707 299 0 0 25 0 1 0 708945134 82624512 19352 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20172 19352 1111 63 0 20109 0
vsize: 80688
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107977 0 0 0 66707 299 0 0 25 0 1 0 708945134 82681856 19366 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20186 19366 1111 63 0 20123 0
vsize: 80744
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 107992 0 0 0 67706 299 0 0 25 0 1 0 708945134 82743296 19381 4294967295 134512640 134714508 3221221776 3221219904 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20201 19381 1111 63 0 20138 0
vsize: 80804
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108005 0 0 0 68706 300 0 0 25 0 1 0 708945134 82796544 19394 4294967295 134512640 134714508 3221221776 3221219952 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20214 19394 1111 63 0 20151 0
vsize: 80856
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108020 0 0 0 69706 300 0 0 25 0 1 0 708945134 82857984 19409 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20229 19409 1111 63 0 20166 0
vsize: 80916
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108035 0 0 0 70706 300 0 0 25 0 1 0 708945134 82919424 19424 4294967295 134512640 134714508 3221221776 3221219888 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20244 19424 1111 63 0 20181 0
vsize: 80976
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108046 0 0 0 71706 300 0 0 25 0 1 0 708945134 82964480 19435 4294967295 134512640 134714508 3221221776 3221219856 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20255 19435 1111 63 0 20192 0
vsize: 81020
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108059 0 0 0 72706 301 0 0 25 0 1 0 708945134 83017728 19448 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20268 19448 1111 63 0 20205 0
vsize: 81072
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108073 0 0 0 73706 301 0 0 25 0 1 0 708945134 83075072 19462 4294967295 134512640 134714508 3221221776 3221219984 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20282 19462 1111 63 0 20219 0
vsize: 81128
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108086 0 0 0 74706 301 0 0 25 0 1 0 708945134 83128320 19475 4294967295 134512640 134714508 3221221776 3221219856 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20295 19475 1111 63 0 20232 0
vsize: 81180
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108100 0 0 0 75706 302 0 0 25 0 1 0 708945134 83185664 19489 4294967295 134512640 134714508 3221221776 3221219840 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20309 19489 1111 63 0 20246 0
vsize: 81236
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108112 0 0 0 76706 302 0 0 25 0 1 0 708945134 83234816 19501 4294967295 134512640 134714508 3221221776 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20321 19501 1111 63 0 20258 0
vsize: 81284
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108125 0 0 0 77706 302 0 0 25 0 1 0 708945134 83288064 19514 4294967295 134512640 134714508 3221221776 3221219952 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20334 19514 1111 63 0 20271 0
vsize: 81336
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108137 0 0 0 78705 302 0 0 25 0 1 0 708945134 83337216 19526 4294967295 134512640 134714508 3221221776 3221220000 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20346 19526 1111 63 0 20283 0
vsize: 81384
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108152 0 0 0 79705 303 0 0 25 0 1 0 708945134 83398656 19541 4294967295 134512640 134714508 3221221776 3221219952 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20361 19541 1111 63 0 20298 0
vsize: 81444
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108163 0 0 0 80705 303 0 0 25 0 1 0 708945134 83443712 19552 4294967295 134512640 134714508 3221221776 3221219808 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20372 19552 1111 63 0 20309 0
vsize: 81488
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108175 0 0 0 81705 303 0 0 25 0 1 0 708945134 83492864 19564 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20384 19564 1111 63 0 20321 0
vsize: 81536
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108187 0 0 0 82705 303 0 0 25 0 1 0 708945134 83542016 19576 4294967295 134512640 134714508 3221221776 3221219856 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20396 19576 1111 63 0 20333 0
vsize: 81584
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108199 0 0 0 83705 303 0 0 25 0 1 0 708945134 83591168 19588 4294967295 134512640 134714508 3221221776 3221219808 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20408 19588 1111 63 0 20345 0
vsize: 81632
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108211 0 0 0 84706 304 0 0 25 0 1 0 708945134 83640320 19600 4294967295 134512640 134714508 3221221776 3221219904 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20420 19600 1111 63 0 20357 0
vsize: 81680
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108223 0 0 0 85706 304 0 0 25 0 1 0 708945134 83689472 19612 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20432 19612 1111 63 0 20369 0
vsize: 81728
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108236 0 0 0 86706 304 0 0 25 0 1 0 708945134 83742720 19625 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20445 19625 1111 63 0 20382 0
vsize: 81780
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108247 0 0 0 87706 304 0 0 25 0 1 0 708945134 83787776 19636 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20456 19636 1111 63 0 20393 0
vsize: 81824
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108257 0 0 0 88706 304 0 0 25 0 1 0 708945134 83828736 19646 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20466 19646 1111 63 0 20403 0
vsize: 81864
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108271 0 0 0 89706 304 0 0 25 0 1 0 708945134 83886080 19660 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20480 19660 1111 63 0 20417 0
vsize: 81920
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 108287 0 0 0 90706 304 0 0 25 0 1 0 708945134 83951616 19676 4294967295 134512640 134714508 3221221776 3221219696 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20496 19676 1111 63 0 20433 0
vsize: 81984
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 118782 0 0 0 91684 326 0 0 25 0 1 0 708945134 119689216 24795 4294967295 134512640 134714508 3221221776 3221218224 1075890974 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29221 24795 1111 63 0 29158 0
vsize: 116884
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 119339 0 0 0 92683 328 0 0 25 0 1 0 708945134 119689216 25348 4294967295 134512640 134714508 3221221776 3221218624 1075890974 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29221 25348 1111 63 0 29158 0
vsize: 116884
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 120559 0 0 0 93680 331 0 0 25 0 1 0 708945134 115163136 25406 4294967295 134512640 134714508 3221221776 3221217644 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28116 25406 1111 63 0 28053 0
vsize: 112464
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 120684 0 0 0 94680 331 0 0 25 0 1 0 708945134 115687424 25529 4294967295 134512640 134714508 3221221776 3221217936 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28244 25529 1111 63 0 28181 0
vsize: 112976
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 120842 0 0 0 95680 332 0 0 25 0 1 0 708945134 116244480 25685 4294967295 134512640 134714508 3221221776 3221217768 1074950210 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28380 25685 1111 63 0 28317 0
vsize: 113520
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 120891 0 0 0 96680 332 0 0 25 0 1 0 708945134 116244480 25734 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28380 25734 1111 63 0 28317 0
vsize: 113520
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121014 0 0 0 97680 332 0 0 25 0 1 0 708945134 116822016 25855 4294967295 134512640 134714508 3221221776 3221217904 1074815309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28521 25855 1111 63 0 28458 0
vsize: 114084
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121120 0 0 0 98679 333 0 0 25 0 1 0 708945134 117440512 25959 4294967295 134512640 134714508 3221221776 3221217968 1074961169 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28672 25959 1111 63 0 28609 0
vsize: 114688
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121384 0 0 0 99678 333 0 0 25 0 1 0 708945134 118079488 26221 4294967295 134512640 134714508 3221221776 3221217796 1075964208 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26221 1111 63 0 28765 0
vsize: 115312
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121440 0 0 0 100679 334 0 0 25 0 1 0 708945134 118079488 26275 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26275 1111 63 0 28765 0
vsize: 115312
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121455 0 0 0 101679 334 0 0 25 0 1 0 708945134 118079488 26288 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26288 1111 63 0 28765 0
vsize: 115312
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121462 0 0 0 102679 334 0 0 25 0 1 0 708945134 118079488 26293 4294967295 134512640 134714508 3221221776 3221217968 1074961304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26293 1111 63 0 28765 0
vsize: 115312
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121485 0 0 0 103679 334 0 0 25 0 1 0 708945134 118079488 26314 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26314 1111 63 0 28765 0
vsize: 115312
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121494 0 0 0 104679 334 0 0 25 0 1 0 708945134 118079488 26323 4294967295 134512640 134714508 3221221776 3221217924 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26323 1111 63 0 28765 0
vsize: 115312
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121514 0 0 0 105679 334 0 0 25 0 1 0 708945134 118079488 26341 4294967295 134512640 134714508 3221221776 3221217740 1074873527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26341 1111 63 0 28765 0
vsize: 115312
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121533 0 0 0 106679 334 0 0 25 0 1 0 708945134 118079488 26358 4294967295 134512640 134714508 3221221776 3221217760 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26358 1111 63 0 28765 0
vsize: 115312
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121549 0 0 0 107680 334 0 0 25 0 1 0 708945134 118079488 26372 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26372 1111 63 0 28765 0
vsize: 115312
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121551 0 0 0 108680 334 0 0 25 0 1 0 708945134 118079488 26372 4294967295 134512640 134714508 3221221776 3221217740 1074873527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26372 1111 63 0 28765 0
vsize: 115312
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121551 0 0 0 109680 334 0 0 25 0 1 0 708945134 118079488 26372 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26372 1111 63 0 28765 0
vsize: 115312
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121561 0 0 0 110680 334 0 0 25 0 1 0 708945134 118079488 26380 4294967295 134512640 134714508 3221221776 3221217708 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26380 1111 63 0 28765 0
vsize: 115312
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121631 0 0 0 111680 334 0 0 25 0 1 0 708945134 118755328 26448 4294967295 134512640 134714508 3221221776 3221217740 1074873527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28993 26448 1111 63 0 28930 0
vsize: 115972
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121654 0 0 0 112680 334 0 0 25 0 1 0 708945134 118755328 26469 4294967295 134512640 134714508 3221221776 3221217740 1074873474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28993 26469 1111 63 0 28930 0
vsize: 115972
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121661 0 0 0 113680 334 0 0 25 0 1 0 708945134 118755328 26474 4294967295 134512640 134714508 3221221776 3221217920 1075895652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28993 26474 1111 63 0 28930 0
vsize: 115972
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121667 0 0 0 114680 334 0 0 25 0 1 0 708945134 118755328 26480 4294967295 134512640 134714508 3221221776 3221217660 1074788162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28993 26480 1111 63 0 28930 0
vsize: 115972
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121785 0 0 0 115681 334 0 0 25 0 1 0 708945134 119459840 26596 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29165 26596 1111 63 0 29102 0
vsize: 116660
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121801 0 0 0 116681 334 0 0 25 0 1 0 708945134 119459840 26610 4294967295 134512640 134714508 3221221776 3221217688 1075964737 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29165 26610 1111 63 0 29102 0
vsize: 116660
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121810 0 0 0 117681 335 0 0 25 0 1 0 708945134 119459840 26617 4294967295 134512640 134714508 3221221776 3221217740 1074873506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29165 26617 1111 63 0 29102 0
vsize: 116660
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121810 0 0 0 118681 335 0 0 25 0 1 0 708945134 119459840 26617 4294967295 134512640 134714508 3221221776 3221217740 1074873490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29165 26617 1111 63 0 29102 0
vsize: 116660
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) R 9916 7876 7672 0 -1 0 121818 0 0 0 119681 335 0 0 25 0 1 0 708945134 119459840 26623 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29165 26623 1111 63 0 29102 0
vsize: 116660
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 9917
Raw data (stat): 9917 (bsolo_lpr_cuts) Z 9916 7876 7672 0 -1 1036 121818 0 0 0 119681 340 0 0 25 0 1 0 708945134 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.09
CPU time (s): 1200.22
CPU user time (s): 1196.81
CPU system time (s): 3.40448
CPU usage (%): 100.01
Max. virtual memory (Kb): 116884
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####