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-circ10_3.opb
MD5SUM	fc17fbe37098e8642918641dd9a84b04
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	350
Optimality of the best value was proved	NO
Number of terms in the objective function	900
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	2500
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	32
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	2500
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	1189.1
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 24418

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 06:30:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2297 boxname=wulflinc31 idbench=256 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  fc17fbe37098e8642918641dd9a84b04  /oldhome/oroussel/tmp/wulflinc31/normalized-circ10_3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-circ10_3.opb
IDLAUNCH: 2297
/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:        294716 kB
Buffers:         46084 kB
Cached:         659656 kB
SwapCached:        644 kB
Active:         309320 kB
Inactive:       398692 kB
HighTotal:      131008 kB
HighFree:        30940 kB
LowTotal:       903652 kB
LowFree:        263776 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26180 kB
Committed_AS:    63648 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 06:50:12 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 2297 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 241.026 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.85 0.97 0.92 2/54 8010
Raw data (stat): 8010 (runsolver) R 8009 7876 7672 0 -1 64 2 0 0 0 0 0 0 0 19 0 1 0 707096075 1056768 98 4294967295 134512640 135381576 3221221680 3221217052 135024803 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 98 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.88 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 8340 0 0 0 968 27 0 0 25 0 1 0 707096075 47394816 8263 4294967295 134512640 134714508 3221221776 3221218540 1077199283 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11571 8264 1111 63 0 11508 0
vsize: 46284
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 55771 0 0 0 1853 142 0 0 25 0 1 0 707096075 51163136 11641 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12491 11641 1111 63 0 12428 0
vsize: 49964
[startup+30.0017 s]
Raw data (loadavg): 0.91 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 79331 0 0 0 2794 201 0 0 25 0 1 0 707096075 54059008 12341 4294967295 134512640 134714508 3221221776 3221220184 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13198 12341 1111 63 0 13135 0
vsize: 52792
[startup+40.0019 s]
Raw data (loadavg): 0.92 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 83557 0 0 0 3782 214 0 0 25 0 1 0 707096075 56336384 12886 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13754 12886 1111 63 0 13691 0
vsize: 55016
[startup+50.0015 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 87500 0 0 0 4772 223 0 0 25 0 1 0 707096075 68644864 15894 4294967295 134512640 134714508 3221221776 3221220240 134543097 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.0015 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 87832 0 0 0 5771 224 0 0 25 0 1 0 707096075 68657152 15918 4294967295 134512640 134714508 3221221776 3221220108 134535925 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.0014 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 88108 0 0 0 6771 225 0 0 25 0 1 0 707096075 68657152 15918 4294967295 134512640 134714508 3221221776 3221220416 134606498 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.0024 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 90096 0 0 0 7767 229 0 0 25 0 1 0 707096075 68657152 15918 4294967295 134512640 134714508 3221221776 3221220140 134539301 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.0023 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 93717 0 0 0 8758 239 0 0 25 0 1 0 707096075 68657152 15918 4294967295 134512640 134714508 3221221776 3221220528 134630795 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.003 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 97817 0 0 0 9747 250 0 0 25 0 1 0 707096075 70582272 16388 4294967295 134512640 134714508 3221221776 3221220416 134606494 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.003 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 98387 0 0 0 10745 251 0 0 25 0 1 0 707096075 72646656 16892 4294967295 134512640 134714508 3221221776 3221220392 134543804 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.003 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 99925 0 0 0 11741 255 0 0 25 0 1 0 707096075 72646656 16892 4294967295 134512640 134714508 3221221776 3221220160 134542350 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.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 101907 0 0 0 12737 260 0 0 25 0 1 0 707096075 75399168 17564 4294967295 134512640 134714508 3221221776 3221220404 134594953 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.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 102635 0 0 0 13735 262 0 0 25 0 1 0 707096075 75399168 17564 4294967295 134512640 134714508 3221221776 3221220192 134543684 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.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 103885 0 0 0 14732 265 0 0 25 0 1 0 707096075 75399168 17564 4294967295 134512640 134714508 3221221776 3221220184 134543652 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.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 105125 0 0 0 15730 267 0 0 25 0 1 0 707096075 75399168 17564 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18408 17564 1111 63 0 18345 0
vsize: 73632
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 106837 0 0 0 16726 271 0 0 25 0 1 0 707096075 78114816 18227 4294967295 134512640 134714508 3221221776 3221220140 134539235 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.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 106837 0 0 0 17727 271 0 0 25 0 1 0 707096075 78114816 18227 4294967295 134512640 134714508 3221221776 3221220448 134627187 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.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 106837 0 0 0 18727 271 0 0 25 0 1 0 707096075 78114816 18227 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 106837 0 0 0 19727 271 0 0 25 0 1 0 707096075 78114816 18227 4294967295 134512640 134714508 3221221776 3221220448 134627274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 106837 0 0 0 20727 271 0 0 25 0 1 0 707096075 78114816 18227 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 106837 0 0 0 21727 271 0 0 25 0 1 0 707096075 78114816 18227 4294967295 134512640 134714508 3221221776 3221220448 134627244 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 106837 0 0 0 22727 272 0 0 25 0 1 0 707096075 78114816 18227 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 106838 0 0 0 23727 272 0 0 25 0 1 0 707096075 78114816 18228 4294967295 134512640 134714508 3221221776 3221220556 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18228 1111 63 0 19008 0
vsize: 76284
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 106860 0 0 0 24727 272 0 0 25 0 1 0 707096075 78114816 18250 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 106860 0 0 0 25727 272 0 0 25 0 1 0 707096075 78114816 18250 4294967295 134512640 134714508 3221221776 3221220048 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 106860 0 0 0 26727 272 0 0 25 0 1 0 707096075 78114816 18250 4294967295 134512640 134714508 3221221776 3221219840 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 106860 0 0 0 27727 272 0 0 25 0 1 0 707096075 78114816 18250 4294967295 134512640 134714508 3221221776 3221219840 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 106860 0 0 0 28727 272 0 0 25 0 1 0 707096075 78114816 18250 4294967295 134512640 134714508 3221221776 3221220048 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 106860 0 0 0 29727 272 0 0 25 0 1 0 707096075 78114816 18250 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 106860 0 0 0 30728 272 0 0 25 0 1 0 707096075 78114816 18250 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 106860 0 0 0 31728 272 0 0 25 0 1 0 707096075 78114816 18250 4294967295 134512640 134714508 3221221776 3221219904 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107140 0 0 0 32727 273 0 0 25 0 1 0 707096075 79257600 18530 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19350 18530 1111 63 0 19287 0
vsize: 77400
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107165 0 0 0 33726 274 0 0 25 0 1 0 707096075 79360000 18555 4294967295 134512640 134714508 3221221776 3221219936 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19375 18555 1111 63 0 19312 0
vsize: 77500
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107186 0 0 0 34725 275 0 0 25 0 1 0 707096075 79446016 18576 4294967295 134512640 134714508 3221221776 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19396 18576 1111 63 0 19333 0
vsize: 77584
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107207 0 0 0 35725 275 0 0 25 0 1 0 707096075 79532032 18597 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19417 18597 1111 63 0 19354 0
vsize: 77668
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107226 0 0 0 36725 276 0 0 25 0 1 0 707096075 79609856 18616 4294967295 134512640 134714508 3221221776 3221219936 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19436 18616 1111 63 0 19373 0
vsize: 77744
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107242 0 0 0 37724 277 0 0 25 0 1 0 707096075 79675392 18632 4294967295 134512640 134714508 3221221776 3221219984 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19452 18632 1111 63 0 19389 0
vsize: 77808
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107260 0 0 0 38724 278 0 0 25 0 1 0 707096075 79749120 18650 4294967295 134512640 134714508 3221221776 3221219840 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19470 18650 1111 63 0 19407 0
vsize: 77880
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107277 0 0 0 39724 278 0 0 25 0 1 0 707096075 79818752 18667 4294967295 134512640 134714508 3221221776 3221219952 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19487 18667 1111 63 0 19424 0
vsize: 77948
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107293 0 0 0 40723 278 0 0 25 0 1 0 707096075 79884288 18683 4294967295 134512640 134714508 3221221776 3221219904 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19503 18683 1111 63 0 19440 0
vsize: 78012
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107307 0 0 0 41723 279 0 0 25 0 1 0 707096075 79941632 18697 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19517 18697 1111 63 0 19454 0
vsize: 78068
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107323 0 0 0 42723 279 0 0 25 0 1 0 707096075 80007168 18713 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19533 18713 1111 63 0 19470 0
vsize: 78132
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107337 0 0 0 43723 279 0 0 25 0 1 0 707096075 80064512 18727 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19547 18727 1111 63 0 19484 0
vsize: 78188
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107351 0 0 0 44723 280 0 0 25 0 1 0 707096075 80121856 18741 4294967295 134512640 134714508 3221221776 3221219904 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19561 18741 1111 63 0 19498 0
vsize: 78244
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107366 0 0 0 45723 280 0 0 25 0 1 0 707096075 80183296 18756 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19576 18756 1111 63 0 19513 0
vsize: 78304
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107378 0 0 0 46722 280 0 0 25 0 1 0 707096075 80232448 18768 4294967295 134512640 134714508 3221221776 3221219808 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19588 18768 1111 63 0 19525 0
vsize: 78352
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107391 0 0 0 47722 281 0 0 25 0 1 0 707096075 80285696 18781 4294967295 134512640 134714508 3221221776 3221219840 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19601 18781 1111 63 0 19538 0
vsize: 78404
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107676 0 0 0 48722 281 0 0 25 0 1 0 707096075 81453056 19066 4294967295 134512640 134714508 3221221776 3221219856 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19886 19066 1111 63 0 19823 0
vsize: 79544
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107695 0 0 0 49722 282 0 0 25 0 1 0 707096075 81530880 19085 4294967295 134512640 134714508 3221221776 3221219808 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19905 19085 1111 63 0 19842 0
vsize: 79620
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107713 0 0 0 50721 282 0 0 25 0 1 0 707096075 81604608 19103 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19923 19103 1111 63 0 19860 0
vsize: 79692
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107731 0 0 0 51721 283 0 0 25 0 1 0 707096075 81678336 19121 4294967295 134512640 134714508 3221221776 3221219856 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19941 19121 1111 63 0 19878 0
vsize: 79764
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107751 0 0 0 52721 283 0 0 25 0 1 0 707096075 81760256 19141 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19961 19141 1111 63 0 19898 0
vsize: 79844
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107767 0 0 0 53721 283 0 0 25 0 1 0 707096075 81825792 19157 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19977 19157 1111 63 0 19914 0
vsize: 79908
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107784 0 0 0 54720 283 0 0 25 0 1 0 707096075 81895424 19174 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19994 19174 1111 63 0 19931 0
vsize: 79976
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107802 0 0 0 55720 284 0 0 25 0 1 0 707096075 81969152 19192 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20012 19192 1111 63 0 19949 0
vsize: 80048
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107815 0 0 0 56720 284 0 0 25 0 1 0 707096075 82022400 19205 4294967295 134512640 134714508 3221221776 3221219856 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20025 19205 1111 63 0 19962 0
vsize: 80100
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107832 0 0 0 57720 285 0 0 25 0 1 0 707096075 82092032 19222 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20042 19222 1111 63 0 19979 0
vsize: 80168
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107848 0 0 0 58720 285 0 0 25 0 1 0 707096075 82157568 19238 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20058 19238 1111 63 0 19995 0
vsize: 80232
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107863 0 0 0 59719 286 0 0 25 0 1 0 707096075 82219008 19253 4294967295 134512640 134714508 3221221776 3221219936 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20073 19253 1111 63 0 20010 0
vsize: 80292
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107881 0 0 0 60719 286 0 0 25 0 1 0 707096075 82292736 19271 4294967295 134512640 134714508 3221221776 3221219792 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20091 19271 1111 63 0 20028 0
vsize: 80364
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107895 0 0 0 61719 286 0 0 25 0 1 0 707096075 82350080 19285 4294967295 134512640 134714508 3221221776 3221219856 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20105 19285 1111 63 0 20042 0
vsize: 80420
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107910 0 0 0 62719 286 0 0 25 0 1 0 707096075 82411520 19300 4294967295 134512640 134714508 3221221776 3221219856 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20120 19300 1111 63 0 20057 0
vsize: 80480
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107923 0 0 0 63719 287 0 0 25 0 1 0 707096075 82464768 19313 4294967295 134512640 134714508 3221221776 3221219904 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20133 19313 1111 63 0 20070 0
vsize: 80532
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107938 0 0 0 64719 287 0 0 25 0 1 0 707096075 82526208 19328 4294967295 134512640 134714508 3221221776 3221219904 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20148 19328 1111 63 0 20085 0
vsize: 80592
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107952 0 0 0 65719 287 0 0 25 0 1 0 707096075 82583552 19342 4294967295 134512640 134714508 3221221776 3221219888 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20162 19342 1111 63 0 20099 0
vsize: 80648
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107967 0 0 0 66719 287 0 0 25 0 1 0 707096075 82644992 19357 4294967295 134512640 134714508 3221221776 3221219856 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20177 19357 1111 63 0 20114 0
vsize: 80708
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107982 0 0 0 67719 287 0 0 25 0 1 0 707096075 82706432 19372 4294967295 134512640 134714508 3221221776 3221219888 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20192 19372 1111 63 0 20129 0
vsize: 80768
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 107997 0 0 0 68719 288 0 0 25 0 1 0 707096075 82767872 19387 4294967295 134512640 134714508 3221221776 3221219840 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20207 19387 1111 63 0 20144 0
vsize: 80828
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108010 0 0 0 69719 288 0 0 25 0 1 0 707096075 82821120 19400 4294967295 134512640 134714508 3221221776 3221219952 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20220 19400 1111 63 0 20157 0
vsize: 80880
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108022 0 0 0 70719 288 0 0 25 0 1 0 707096075 82870272 19412 4294967295 134512640 134714508 3221221776 3221219888 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20232 19412 1111 63 0 20169 0
vsize: 80928
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108037 0 0 0 71718 289 0 0 25 0 1 0 707096075 82931712 19427 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20247 19427 1111 63 0 20184 0
vsize: 80988
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108049 0 0 0 72719 289 0 0 25 0 1 0 707096075 82980864 19439 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20259 19439 1111 63 0 20196 0
vsize: 81036
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108063 0 0 0 73719 289 0 0 25 0 1 0 707096075 83038208 19453 4294967295 134512640 134714508 3221221776 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20273 19453 1111 63 0 20210 0
vsize: 81092
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108076 0 0 0 74719 289 0 0 25 0 1 0 707096075 83091456 19466 4294967295 134512640 134714508 3221221776 3221219808 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20286 19466 1111 63 0 20223 0
vsize: 81144
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108090 0 0 0 75719 289 0 0 25 0 1 0 707096075 83148800 19480 4294967295 134512640 134714508 3221221776 3221219952 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20300 19480 1111 63 0 20237 0
vsize: 81200
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108103 0 0 0 76719 289 0 0 25 0 1 0 707096075 83202048 19493 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20313 19493 1111 63 0 20250 0
vsize: 81252
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108117 0 0 0 77718 290 0 0 25 0 1 0 707096075 83259392 19507 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20327 19507 1111 63 0 20264 0
vsize: 81308
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108127 0 0 0 78719 290 0 0 25 0 1 0 707096075 83300352 19517 4294967295 134512640 134714508 3221221776 3221219808 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20337 19517 1111 63 0 20274 0
vsize: 81348
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108141 0 0 0 79719 290 0 0 25 0 1 0 707096075 83357696 19531 4294967295 134512640 134714508 3221221776 3221219904 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20351 19531 1111 63 0 20288 0
vsize: 81404
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108153 0 0 0 80719 290 0 0 25 0 1 0 707096075 83406848 19543 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20363 19543 1111 63 0 20300 0
vsize: 81452
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108165 0 0 0 81719 290 0 0 25 0 1 0 707096075 83456000 19555 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20375 19555 1111 63 0 20312 0
vsize: 81500
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108177 0 0 0 82719 291 0 0 25 0 1 0 707096075 83505152 19567 4294967295 134512640 134714508 3221221776 3221219856 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20387 19567 1111 63 0 20324 0
vsize: 81548
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108189 0 0 0 83719 291 0 0 25 0 1 0 707096075 83554304 19579 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20399 19579 1111 63 0 20336 0
vsize: 81596
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108201 0 0 0 84718 291 0 0 25 0 1 0 707096075 83603456 19591 4294967295 134512640 134714508 3221221776 3221219936 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20411 19591 1111 63 0 20348 0
vsize: 81644
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108213 0 0 0 85718 291 0 0 25 0 1 0 707096075 83652608 19603 4294967295 134512640 134714508 3221221776 3221219808 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20423 19603 1111 63 0 20360 0
vsize: 81692
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108225 0 0 0 86718 292 0 0 25 0 1 0 707096075 83701760 19615 4294967295 134512640 134714508 3221221776 3221219808 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20435 19615 1111 63 0 20372 0
vsize: 81740
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108237 0 0 0 87718 292 0 0 25 0 1 0 707096075 83750912 19627 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20447 19627 1111 63 0 20384 0
vsize: 81788
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108250 0 0 0 88719 292 0 0 25 0 1 0 707096075 83804160 19640 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20460 19640 1111 63 0 20397 0
vsize: 81840
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108259 0 0 0 89719 292 0 0 25 0 1 0 707096075 83841024 19649 4294967295 134512640 134714508 3221221776 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20469 19649 1111 63 0 20406 0
vsize: 81876
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108270 0 0 0 90719 292 0 0 25 0 1 0 707096075 83886080 19660 4294967295 134512640 134714508 3221221776 3221219952 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20480 19660 1111 63 0 20417 0
vsize: 81920
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 108291 0 0 0 91719 292 0 0 25 0 1 0 707096075 83972096 19681 4294967295 134512640 134714508 3221221776 3221219696 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20501 19681 1111 63 0 20438 0
vsize: 82004
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 118843 0 0 0 92696 315 0 0 25 0 1 0 707096075 119689216 24857 4294967295 134512640 134714508 3221221776 3221217936 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29221 24857 1111 63 0 29158 0
vsize: 116884
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 120288 0 0 0 93693 318 0 0 25 0 1 0 707096075 119689216 26298 4294967295 134512640 134714508 3221221776 3221217856 1075095323 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29221 26298 1111 63 0 29158 0
vsize: 116884
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 120521 0 0 0 94692 319 0 0 25 0 1 0 707096075 115163136 25414 4294967295 134512640 134714508 3221221776 3221217644 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28116 25414 1111 63 0 28053 0
vsize: 112464
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 120640 0 0 0 95692 320 0 0 25 0 1 0 707096075 115687424 25531 4294967295 134512640 134714508 3221221776 3221217856 1075093344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28244 25531 1111 63 0 28181 0
vsize: 112976
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 120870 0 0 0 96692 320 0 0 25 0 1 0 707096075 116244480 25759 4294967295 134512640 134714508 3221221776 3221217740 1074873512 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28380 25759 1111 63 0 28317 0
vsize: 113520
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 120946 0 0 0 97692 320 0 0 25 0 1 0 707096075 116244480 25833 4294967295 134512640 134714508 3221221776 3221217740 1074873504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28380 25833 1111 63 0 28317 0
vsize: 113520
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 120965 0 0 0 98692 320 0 0 25 0 1 0 707096075 116244480 25850 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28380 25850 1111 63 0 28317 0
vsize: 113520
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 120982 0 0 0 99692 320 0 0 25 0 1 0 707096075 116244480 25865 4294967295 134512640 134714508 3221221776 3221218240 1075088563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28380 25865 1111 63 0 28317 0
vsize: 113520
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 120995 0 0 0 100692 321 0 0 25 0 1 0 707096075 116244480 25876 4294967295 134512640 134714508 3221221776 3221217796 1075964214 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28380 25876 1111 63 0 28317 0
vsize: 113520
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121082 0 0 0 101692 321 0 0 25 0 1 0 707096075 116822016 25961 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28521 25961 1111 63 0 28458 0
vsize: 114084
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121112 0 0 0 102692 321 0 0 25 0 1 0 707096075 116822016 25989 4294967295 134512640 134714508 3221221776 3221217856 1075095052 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28521 25989 1111 63 0 28458 0
vsize: 114084
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121118 0 0 0 103692 321 0 0 25 0 1 0 707096075 116822016 25995 4294967295 134512640 134714508 3221221776 3221217688 1075964745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28521 25995 1111 63 0 28458 0
vsize: 114084
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121141 0 0 0 104692 321 0 0 25 0 1 0 707096075 116822016 26016 4294967295 134512640 134714508 3221221776 3221217740 1074873522 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28521 26016 1111 63 0 28458 0
vsize: 114084
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121153 0 0 0 105692 321 0 0 25 0 1 0 707096075 116822016 26026 4294967295 134512640 134714508 3221221776 3221217740 1074873456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28521 26026 1111 63 0 28458 0
vsize: 114084
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121268 0 0 0 106692 322 0 0 25 0 1 0 707096075 117440512 26139 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28672 26139 1111 63 0 28609 0
vsize: 114688
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121302 0 0 0 107692 322 0 0 25 0 1 0 707096075 117440512 26173 4294967295 134512640 134714508 3221221776 3221217740 1074873478 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28672 26173 1111 63 0 28609 0
vsize: 114688
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121441 0 0 0 108692 322 0 0 25 0 1 0 707096075 118079488 26310 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28828 26310 1111 63 0 28765 0
vsize: 115312
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121549 0 0 0 109692 322 0 0 25 0 1 0 707096075 118755328 26416 4294967295 134512640 134714508 3221221776 3221217740 1074873512 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28993 26416 1111 63 0 28930 0
vsize: 115972
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121593 0 0 0 110692 322 0 0 25 0 1 0 707096075 118755328 26458 4294967295 134512640 134714508 3221221776 3221217924 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28993 26458 1111 63 0 28930 0
vsize: 115972
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121597 0 0 0 111693 322 0 0 25 0 1 0 707096075 118755328 26462 4294967295 134512640 134714508 3221221776 3221217968 1074961264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28993 26462 1111 63 0 28930 0
vsize: 115972
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121635 0 0 0 112693 322 0 0 25 0 1 0 707096075 118755328 26498 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28993 26498 1111 63 0 28930 0
vsize: 115972
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121716 0 0 0 113693 323 0 0 25 0 1 0 707096075 119459840 26577 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29165 26577 1111 63 0 29102 0
vsize: 116660
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121746 0 0 0 114693 323 0 0 25 0 1 0 707096075 119459840 26605 4294967295 134512640 134714508 3221221776 3221217824 1075112103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29165 26605 1111 63 0 29102 0
vsize: 116660
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121746 0 0 0 115693 323 0 0 25 0 1 0 707096075 119459840 26605 4294967295 134512640 134714508 3221221776 3221217920 1075895652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29165 26605 1111 63 0 29102 0
vsize: 116660
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121749 0 0 0 116693 323 0 0 25 0 1 0 707096075 119459840 26606 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29165 26606 1111 63 0 29102 0
vsize: 116660
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121767 0 0 0 117693 323 0 0 25 0 1 0 707096075 119459840 26622 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29165 26622 1111 63 0 29102 0
vsize: 116660
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121773 0 0 0 118692 324 0 0 25 0 1 0 707096075 119791616 26628 4294967295 134512640 134714508 3221221776 3221218192 1075864044 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29246 26628 1111 63 0 29183 0
vsize: 116984
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) R 8009 7876 7672 0 -1 0 121786 0 0 0 119692 324 0 0 25 0 1 0 707096075 119459840 26639 4294967295 134512640 134714508 3221221776 3221217656 1075964740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29165 26639 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.92 1/54 8010
Raw data (stat): 8010 (bsolo_lpr_cuts) Z 8009 7876 7672 0 -1 1036 121786 0 0 0 119692 329 0 0 25 0 1 0 707096075 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.22
CPU user time (s): 1196.92
CPU system time (s): 3.2915
CPU usage (%): 100.011
Max. virtual memory (Kb): 116984
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####