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/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mitre.opb
MD5SUM	cb52c3dd346b4d656b5e715b686fba39
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	8401
Optimality of the best value was proved	NO
Number of terms in the objective function	9324
Biggest coefficient in the objective function	213
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	909647
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	1069
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	909647
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.29
Number of variables	10724
Total number of constraints	12778
Number of constraints which are clauses	140
Number of constraints which are cardinality constraints (but not clauses)	12255
Number of constraints which are nor clauses,nor cardinality constraints	383
Minimum length of a constraint	1
Maximum length of a constraint	98
Trace number 25644

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 11:21:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18592 boxname=wulflinc31 idbench=1431 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  cb52c3dd346b4d656b5e715b686fba39  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-mitre.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-mitre.opb
IDLAUNCH: 18592
/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:        911320 kB
Buffers:         10884 kB
Cached:          91944 kB
SwapCached:       1076 kB
Active:          47320 kB
Inactive:        57800 kB
HighTotal:      131008 kB
HighFree:        70420 kB
LowTotal:       903652 kB
LowFree:        840900 kB
SwapTotal:     2097892 kB
SwapFree:      2095984 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12692 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 11:41:10 (client local time) WITH STATUS 0 IN 1175.18 SECONDS
stats: 18592 7 1175.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10724 variables and 2045 constraints.
c After prepocess the problem consists of 7047 variables and 1995 constraints.
c preprocess terminated 932.104 s
c Initial Lower Bound: 7475
c Lower Bound Elapsed time: 2.2505
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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): 1.07 1.02 0.97 2/55 9632
Raw data (stat): 9632 (runsolver) R 9631 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 803895590 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 1.06 1.01 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 38944 0 0 0 917 78 0 0 25 0 1 0 803895590 172589056 38867 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42136 38867 1111 63 0 42073 0
vsize: 168544
[startup+20.0013 s]
Raw data (loadavg): 1.05 1.01 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 66292 0 0 0 1865 130 0 0 25 0 1 0 803895590 284549120 66215 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69470 66215 1111 63 0 69407 0
vsize: 277880
[startup+30.0026 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 72513 0 0 0 2848 147 0 0 25 0 1 0 803895590 285724672 68859 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69757 68859 1111 63 0 69694 0
vsize: 279028
[startup+40.0034 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 156183 0 0 0 3639 356 0 0 25 0 1 0 803895590 286412800 69011 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69925 69011 1111 63 0 69862 0
vsize: 279700
[startup+50.0053 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 229494 0 0 0 4454 542 0 0 25 0 1 0 803895590 292126720 70422 4294967295 134512640 134714508 3221221776 3221220504 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71320 70422 1111 63 0 71257 0
vsize: 285280
[startup+60.0063 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 229574 0 0 0 5454 542 0 0 25 0 1 0 803895590 292126720 70422 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71320 70422 1111 63 0 71257 0
vsize: 285280
[startup+70.0072 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 229933 0 0 0 6452 543 0 0 25 0 1 0 803895590 292388864 70486 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71384 70486 1111 63 0 71321 0
vsize: 285536
[startup+80.0081 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 232945 0 0 0 7445 551 0 0 25 0 1 0 803895590 293933056 70863 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71761 70863 1111 63 0 71698 0
vsize: 287044
[startup+90.0091 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 233533 0 0 0 8443 553 0 0 25 0 1 0 803895590 295391232 71219 4294967295 134512640 134714508 3221221776 3221220388 1077374077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72117 71219 1111 63 0 72054 0
vsize: 288468
[startup+100.01 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 233941 0 0 0 9441 555 0 0 25 0 1 0 803895590 296292352 71439 4294967295 134512640 134714508 3221221776 3221220504 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72337 71439 1111 63 0 72274 0
vsize: 289348
[startup+110.011 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 241431 0 0 0 10421 576 0 0 25 0 1 0 803895590 296292352 71439 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72337 71439 1111 63 0 72274 0
vsize: 289348
[startup+120.012 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 247363 0 0 0 11405 592 0 0 25 0 1 0 803895590 298225664 71911 4294967295 134512640 134714508 3221221776 3221220388 1077374123 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72809 71911 1111 63 0 72746 0
vsize: 291236
[startup+130.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 253934 0 0 0 12388 609 0 0 25 0 1 0 803895590 299339776 72183 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73081 72183 1111 63 0 73018 0
vsize: 292324
[startup+140.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 255329 0 0 0 13382 614 0 0 25 0 1 0 803895590 300711936 72518 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73416 72518 1111 63 0 73353 0
vsize: 293664
[startup+150.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 256109 0 0 0 14380 616 0 0 25 0 1 0 803895590 302645248 72989 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73888 72989 1111 63 0 73825 0
vsize: 295552
[startup+160.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 257061 0 0 0 15377 620 0 0 25 0 1 0 803895590 302694400 73002 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73900 73002 1111 63 0 73837 0
vsize: 295600
[startup+170.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 264005 0 0 0 16358 638 0 0 25 0 1 0 803895590 302870528 73045 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73943 73045 1111 63 0 73880 0
vsize: 295772
[startup+180.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 270045 0 0 0 17343 654 0 0 25 0 1 0 803895590 302870528 73045 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73943 73045 1111 63 0 73880 0
vsize: 295772
[startup+190.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 276305 0 0 0 18326 671 0 0 25 0 1 0 803895590 303472640 73192 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74090 73192 1111 63 0 74027 0
vsize: 296360
[startup+200.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 276693 0 0 0 19325 672 0 0 25 0 1 0 803895590 303472640 73192 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74090 73192 1111 63 0 74027 0
vsize: 296360
[startup+210.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 278583 0 0 0 20320 678 0 0 25 0 1 0 803895590 308191232 74343 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75242 74343 1111 63 0 75179 0
vsize: 300968
[startup+220.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 278884 0 0 0 21318 679 0 0 25 0 1 0 803895590 308191232 74344 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75242 74344 1111 63 0 75179 0
vsize: 300968
[startup+230.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 279772 0 0 0 22316 682 0 0 25 0 1 0 803895590 308621312 74449 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75347 74449 1111 63 0 75284 0
vsize: 301388
[startup+240.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 280002 0 0 0 23315 682 0 0 25 0 1 0 803895590 308621312 74449 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75347 74449 1111 63 0 75284 0
vsize: 301388
[startup+250.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 282323 0 0 0 24309 689 0 0 25 0 1 0 803895590 313901056 75738 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76636 75738 1111 63 0 76573 0
vsize: 306544
[startup+260.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 282435 0 0 0 25309 689 0 0 25 0 1 0 803895590 314200064 75810 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76709 75810 1111 63 0 76646 0
vsize: 306836
[startup+270.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 282435 0 0 0 26309 689 0 0 25 0 1 0 803895590 314200064 75810 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76709 75810 1111 63 0 76646 0
vsize: 306836
[startup+280.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 282435 0 0 0 27308 690 0 0 25 0 1 0 803895590 314200064 75810 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76709 75810 1111 63 0 76646 0
vsize: 306836
[startup+290.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 282435 0 0 0 28308 690 0 0 25 0 1 0 803895590 314200064 75810 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76709 75810 1111 63 0 76646 0
vsize: 306836
[startup+300.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 282435 0 0 0 29308 691 0 0 25 0 1 0 803895590 314200064 75810 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76709 75810 1111 63 0 76646 0
vsize: 306836
[startup+310.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 283541 0 0 0 30304 694 0 0 25 0 1 0 803895590 314200064 75811 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76709 75811 1111 63 0 76646 0
vsize: 306836
[startup+320.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 287283 0 0 0 31295 704 0 0 25 0 1 0 803895590 314200064 75811 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76709 75811 1111 63 0 76646 0
vsize: 306836
[startup+330.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 297334 0 0 0 32269 730 0 0 25 0 1 0 803895590 314679296 75928 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76826 75928 1111 63 0 76763 0
vsize: 307304
[startup+340.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 304891 0 0 0 33249 750 0 0 25 0 1 0 803895590 314679296 75928 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76826 75928 1111 63 0 76763 0
vsize: 307304
[startup+350.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 311480 0 0 0 34232 767 0 0 25 0 1 0 803895590 315670528 76170 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77068 76170 1111 63 0 77005 0
vsize: 308272
[startup+360.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 311653 0 0 0 35231 768 0 0 25 0 1 0 803895590 315973632 76243 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77142 76243 1111 63 0 77079 0
vsize: 308568
[startup+370.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 312701 0 0 0 36228 772 0 0 25 0 1 0 803895590 315973632 76244 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77142 76244 1111 63 0 77079 0
vsize: 308568
[startup+380.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 316147 0 0 0 37218 782 0 0 25 0 1 0 803895590 316485632 76369 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77267 76369 1111 63 0 77204 0
vsize: 309068
[startup+390.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 317509 0 0 0 38213 787 0 0 25 0 1 0 803895590 317603840 76641 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77540 76641 1111 63 0 77477 0
vsize: 310160
[startup+400.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 317893 0 0 0 39212 788 0 0 25 0 1 0 803895590 317943808 76725 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77623 76725 1111 63 0 77560 0
vsize: 310492
[startup+410.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 318006 0 0 0 40211 789 0 0 25 0 1 0 803895590 318246912 76798 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77697 76798 1111 63 0 77634 0
vsize: 310788
[startup+420.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 318720 0 0 0 41209 791 0 0 25 0 1 0 803895590 319406080 77082 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77980 77082 1111 63 0 77917 0
vsize: 311920
[startup+430.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 319945 0 0 0 42204 796 0 0 25 0 1 0 803895590 320307200 77301 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78200 77301 1111 63 0 78137 0
vsize: 312800
[startup+440.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 319945 0 0 0 43204 796 0 0 25 0 1 0 803895590 320307200 77301 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78200 77301 1111 63 0 78137 0
vsize: 312800
[startup+450.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 321051 0 0 0 44200 800 0 0 25 0 1 0 803895590 320733184 77406 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78304 77406 1111 63 0 78241 0
vsize: 313216
[startup+460.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 321414 0 0 0 45199 801 0 0 25 0 1 0 803895590 321036288 77479 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78378 77479 1111 63 0 78315 0
vsize: 313512
[startup+470.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 321675 0 0 0 46198 803 0 0 25 0 1 0 803895590 321036288 77480 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78378 77480 1111 63 0 78315 0
vsize: 313512
[startup+480.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 322276 0 0 0 47197 804 0 0 25 0 1 0 803895590 321462272 77584 4294967295 134512640 134714508 3221221776 3221220388 1077374077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78482 77584 1111 63 0 78419 0
vsize: 313928
[startup+490.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 322489 0 0 0 48196 805 0 0 25 0 1 0 803895590 321724416 77648 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78546 77648 1111 63 0 78483 0
vsize: 314184
[startup+500.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 322834 0 0 0 49195 806 0 0 25 0 1 0 803895590 323141632 77993 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78892 77993 1111 63 0 78829 0
vsize: 315568
[startup+510.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 322935 0 0 0 50195 807 0 0 25 0 1 0 803895590 323141632 77994 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78892 77994 1111 63 0 78829 0
vsize: 315568
[startup+520.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 323555 0 0 0 51194 809 0 0 25 0 1 0 803895590 323141632 77994 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78892 77994 1111 63 0 78829 0
vsize: 315568
[startup+530.054 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 323904 0 0 0 52192 810 0 0 25 0 1 0 803895590 323919872 78183 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79082 78183 1111 63 0 79019 0
vsize: 316328
[startup+540.055 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 325025 0 0 0 53190 813 0 0 25 0 1 0 803895590 327610368 79084 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79983 79084 1111 63 0 79920 0
vsize: 319932
[startup+550.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 325224 0 0 0 54189 813 0 0 25 0 1 0 803895590 328425472 79283 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80182 79283 1111 63 0 80119 0
vsize: 320728
[startup+560.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 325224 0 0 0 55189 814 0 0 25 0 1 0 803895590 328425472 79283 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80182 79283 1111 63 0 80119 0
vsize: 320728
[startup+570.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 325443 0 0 0 56188 815 0 0 25 0 1 0 803895590 329109504 79451 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80349 79451 1111 63 0 80286 0
vsize: 321396
[startup+580.059 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 326115 0 0 0 57185 818 0 0 25 0 1 0 803895590 330182656 79713 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80611 79713 1111 63 0 80548 0
vsize: 322444
[startup+590.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 326115 0 0 0 58185 819 0 0 25 0 1 0 803895590 330182656 79713 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80611 79713 1111 63 0 80548 0
vsize: 322444
[startup+600.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 326549 0 0 0 59183 820 0 0 25 0 1 0 803895590 330182656 79713 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80611 79713 1111 63 0 80548 0
vsize: 322444
[startup+610.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 328457 0 0 0 60178 826 0 0 25 0 1 0 803895590 330612736 79817 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80716 79817 1111 63 0 80653 0
vsize: 322864
[startup+620.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 328488 0 0 0 61178 826 0 0 25 0 1 0 803895590 330612736 79818 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80716 79818 1111 63 0 80653 0
vsize: 322864
[startup+630.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 329282 0 0 0 62175 829 0 0 25 0 1 0 803895590 330612736 79818 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80716 79818 1111 63 0 80653 0
vsize: 322864
[startup+640.064 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 330325 0 0 0 63172 832 0 0 25 0 1 0 803895590 331812864 80111 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81009 80111 1111 63 0 80946 0
vsize: 324036
[startup+650.065 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 330712 0 0 0 64172 833 0 0 25 0 1 0 803895590 333402112 80498 4294967295 134512640 134714508 3221221776 3221220428 134532440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81397 80498 1111 63 0 81334 0
vsize: 325588
[startup+660.067 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 331414 0 0 0 65170 835 0 0 25 0 1 0 803895590 336277504 81200 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81200 1111 63 0 82036 0
vsize: 328396
[startup+670.067 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 331414 0 0 0 66169 835 0 0 25 0 1 0 803895590 336277504 81200 4294967295 134512640 134714508 3221221776 3221220440 134606871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81200 1111 63 0 82036 0
vsize: 328396
[startup+680.068 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 331414 0 0 0 67169 836 0 0 25 0 1 0 803895590 336277504 81200 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81200 1111 63 0 82036 0
vsize: 328396
[startup+690.069 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 331535 0 0 0 68168 837 0 0 25 0 1 0 803895590 336277504 81201 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+700.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 331821 0 0 0 69167 838 0 0 25 0 1 0 803895590 336277504 81201 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+710.071 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 332179 0 0 0 70166 839 0 0 25 0 1 0 803895590 336277504 81201 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+720.071 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 332638 0 0 0 71165 840 0 0 25 0 1 0 803895590 336277504 81201 4294967295 134512640 134714508 3221221776 3221220200 1077377331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+730.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 333471 0 0 0 72162 843 0 0 25 0 1 0 803895590 339107840 81892 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82790 81892 1111 63 0 82727 0
vsize: 331160
[startup+740.073 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 333741 0 0 0 73161 845 0 0 25 0 1 0 803895590 339107840 81892 4294967295 134512640 134714508 3221221776 3221220400 1076648027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82790 81892 1111 63 0 82727 0
vsize: 331160
[startup+750.074 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 333941 0 0 0 74160 845 0 0 25 0 1 0 803895590 339107840 81892 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82790 81892 1111 63 0 82727 0
vsize: 331160
[startup+760.075 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 333941 0 0 0 75160 846 0 0 25 0 1 0 803895590 339107840 81892 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82790 81892 1111 63 0 82727 0
vsize: 331160
[startup+770.075 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 333941 0 0 0 76160 846 0 0 25 0 1 0 803895590 339107840 81892 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82790 81892 1111 63 0 82727 0
vsize: 331160
[startup+780.076 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 334139 0 0 0 77159 847 0 0 25 0 1 0 803895590 339922944 82090 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82989 82090 1111 63 0 82926 0
vsize: 331956
[startup+790.076 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 334260 0 0 0 78158 848 0 0 25 0 1 0 803895590 339922944 82091 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82989 82091 1111 63 0 82926 0
vsize: 331956
[startup+800.077 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 336730 0 0 0 79150 856 0 0 25 0 1 0 803895590 339922944 82091 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82989 82091 1111 63 0 82926 0
vsize: 331956
[startup+810.078 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 340478 0 0 0 80141 866 0 0 25 0 1 0 803895590 340267008 82143 4294967295 134512640 134714508 3221221776 3221220388 134557790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83073 82143 1111 63 0 83010 0
vsize: 332292
[startup+820.078 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 345412 0 0 0 81127 879 0 0 25 0 1 0 803895590 339922944 82091 4294967295 134512640 134714508 3221221776 3221220156 1077379963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82989 82091 1111 63 0 82926 0
vsize: 331956
[startup+830.079 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 351441 0 0 0 82111 896 0 0 25 0 1 0 803895590 340144128 82145 4294967295 134512640 134714508 3221221776 3221220512 134630810 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83043 82145 1111 63 0 82980 0
vsize: 332172
[startup+840.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 354662 0 0 0 83102 905 0 0 25 0 1 0 803895590 340144128 82145 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83043 82145 1111 63 0 82980 0
vsize: 332172
[startup+850.082 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 356612 0 0 0 84095 912 0 0 25 0 1 0 803895590 340365312 82199 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83097 82199 1111 63 0 83034 0
vsize: 332388
[startup+860.083 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 356786 0 0 0 85094 913 0 0 25 0 1 0 803895590 340664320 82272 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83170 82272 1111 63 0 83107 0
vsize: 332680
[startup+870.083 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 357346 0 0 0 86091 916 0 0 25 0 1 0 803895590 341565440 82492 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82492 1111 63 0 83327 0
vsize: 333560
[startup+880.084 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 357566 0 0 0 87090 917 0 0 25 0 1 0 803895590 341565440 82492 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82492 1111 63 0 83327 0
vsize: 333560
[startup+890.084 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 357566 0 0 0 88090 917 0 0 25 0 1 0 803895590 341565440 82492 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82492 1111 63 0 83327 0
vsize: 333560
[startup+900.085 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 357566 0 0 0 89090 918 0 0 25 0 1 0 803895590 341565440 82492 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82492 1111 63 0 83327 0
vsize: 333560
[startup+910.087 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 357566 0 0 0 90089 918 0 0 25 0 1 0 803895590 341565440 82492 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82492 1111 63 0 83327 0
vsize: 333560
[startup+920.087 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 357566 0 0 0 91089 919 0 0 25 0 1 0 803895590 341565440 82492 4294967295 134512640 134714508 3221221776 3221220428 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82492 1111 63 0 83327 0
vsize: 333560
[startup+930.088 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 357566 0 0 0 92089 919 0 0 25 0 1 0 803895590 341565440 82492 4294967295 134512640 134714508 3221221776 3221220428 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82492 1111 63 0 83327 0
vsize: 333560
[startup+940.088 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 357900 0 0 0 93088 920 0 0 25 0 1 0 803895590 341565440 82639 4294967295 134512640 134714508 3221221776 3221219424 1075635463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82639 1111 63 0 83327 0
vsize: 333560
[startup+950.089 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358125 0 0 0 94087 921 0 0 25 0 1 0 803895590 341565440 82641 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82641 1111 63 0 83327 0
vsize: 333560
[startup+960.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358125 0 0 0 95086 922 0 0 25 0 1 0 803895590 341565440 82641 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82641 1111 63 0 83327 0
vsize: 333560
[startup+970.091 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358125 0 0 0 96086 922 0 0 25 0 1 0 803895590 341565440 82641 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82641 1111 63 0 83327 0
vsize: 333560
[startup+980.092 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358126 0 0 0 97085 923 0 0 25 0 1 0 803895590 341565440 82642 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82642 1111 63 0 83327 0
vsize: 333560
[startup+990.093 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358126 0 0 0 98085 924 0 0 25 0 1 0 803895590 341565440 82642 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82642 1111 63 0 83327 0
vsize: 333560
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358126 0 0 0 99085 924 0 0 25 0 1 0 803895590 341565440 82642 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82642 1111 63 0 83327 0
vsize: 333560
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358126 0 0 0 100084 925 0 0 25 0 1 0 803895590 341565440 82642 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82642 1111 63 0 83327 0
vsize: 333560
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358126 0 0 0 101084 925 0 0 25 0 1 0 803895590 341565440 82642 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82642 1111 63 0 83327 0
vsize: 333560
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358126 0 0 0 102083 926 0 0 25 0 1 0 803895590 341565440 82642 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82642 1111 63 0 83327 0
vsize: 333560
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358126 0 0 0 103082 927 0 0 25 0 1 0 803895590 341565440 82642 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82642 1111 63 0 83327 0
vsize: 333560
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358126 0 0 0 104081 928 0 0 25 0 1 0 803895590 341565440 82642 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82642 1111 63 0 83327 0
vsize: 333560
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358126 0 0 0 105081 928 0 0 25 0 1 0 803895590 341565440 82642 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82642 1111 63 0 83327 0
vsize: 333560
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358126 0 0 0 106081 929 0 0 25 0 1 0 803895590 341565440 82642 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82642 1111 63 0 83327 0
vsize: 333560
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358126 0 0 0 107080 930 0 0 25 0 1 0 803895590 341565440 82642 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82642 1111 63 0 83327 0
vsize: 333560
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358126 0 0 0 108080 930 0 0 25 0 1 0 803895590 341565440 82642 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82642 1111 63 0 83327 0
vsize: 333560
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358126 0 0 0 109079 931 0 0 25 0 1 0 803895590 341565440 82642 4294967295 134512640 134714508 3221221776 3221220544 134597631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82642 1111 63 0 83327 0
vsize: 333560
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358126 0 0 0 110078 932 0 0 25 0 1 0 803895590 341565440 82642 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82642 1111 63 0 83327 0
vsize: 333560
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358126 0 0 0 111078 933 0 0 25 0 1 0 803895590 341565440 82642 4294967295 134512640 134714508 3221221776 3221220576 134597728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82642 1111 63 0 83327 0
vsize: 333560
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358126 0 0 0 112077 933 0 0 25 0 1 0 803895590 341565440 82642 4294967295 134512640 134714508 3221221776 3221220540 134613500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82642 1111 63 0 83327 0
vsize: 333560
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358126 0 0 0 113076 934 0 0 25 0 1 0 803895590 341565440 82642 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82642 1111 63 0 83327 0
vsize: 333560
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358126 0 0 0 114076 934 0 0 25 0 1 0 803895590 341565440 82642 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83390 82642 1111 63 0 83327 0
vsize: 333560
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358127 0 0 0 115076 935 0 0 25 0 1 0 803895590 341565440 82643 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83390 82643 1111 63 0 83327 0
vsize: 333560
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358130 0 0 0 116076 935 0 0 25 0 1 0 803895590 341565440 82646 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83390 82646 1111 63 0 83327 0
vsize: 333560
[startup+1175.17 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 9632
Raw data (stat): 9632 (bsolo_lpr_cuts) R 9631 7876 7672 0 -1 0 358130 0 0 0 116076 935 0 0 25 0 1 0 803895590 341565440 82646 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83390 82646 1111 63 0 83327 0
vsize: 0

Child status: 0
Real time (s): 1175.17
CPU time (s): 1175.18
CPU user time (s): 1165.66
CPU system time (s): 9.51755
CPU usage (%): 100.001
Max. virtual memory (Kb): 333560
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####