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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-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.27
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 28316

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-25 01:33:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13600 boxname=wulflinc10 idbench=1047 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  cb52c3dd346b4d656b5e715b686fba39  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-mitre.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-mitre.opb
IDLAUNCH: 13600
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        808476 kB
Buffers:         30492 kB
Cached:         174440 kB
SwapCached:        224 kB
Active:          54972 kB
Inactive:       152816 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        808196 kB
SwapTotal:     2097136 kB
SwapFree:      2096792 kB
Dirty:             124 kB
Writeback:           0 kB
Mapped:           6572 kB
Slab:            12808 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:53:28 (client local time) WITH STATUS 0 IN 1175.17 SECONDS
stats: 13600 7 1175.17 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 2007 constraints.
c preprocess terminated 917.447 s
c Initial Lower Bound: 7475
c Lower Bound Elapsed time: 2.27725
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): 0.93 0.98 0.93 2/54 24447
Raw data (stat): 24447 (runsolver) R 24446 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776744465 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 39683 0 0 0 920 77 0 0 25 0 1 0 776744465 175570944 39607 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42864 39607 1111 63 0 42801 0
vsize: 171456
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 66376 0 0 0 1870 128 0 0 25 0 1 0 776744465 284950528 66300 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69568 66300 1111 63 0 69505 0
vsize: 278272
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 74804 0 0 0 2849 148 0 0 25 0 1 0 776744465 285720576 68858 4294967295 134512640 134714508 3221224576 3221223216 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69756 68858 1111 63 0 69693 0
vsize: 279024
[startup+40.001 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 168745 0 0 0 3617 381 0 0 25 0 1 0 776744465 286408704 68999 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69924 69004 1111 63 0 69861 0
vsize: 279696
[startup+50.0009 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 229572 0 0 0 4468 530 0 0 25 0 1 0 776744465 292122624 70421 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71319 70421 1111 63 0 71256 0
vsize: 285276
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 229572 0 0 0 5468 530 0 0 25 0 1 0 776744465 292122624 70421 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71319 70421 1111 63 0 71256 0
vsize: 285276
[startup+70.0017 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 229931 0 0 0 6467 531 0 0 25 0 1 0 776744465 292384768 70485 4294967295 134512640 134714508 3221224576 3221223304 134672913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71383 70485 1111 63 0 71320 0
vsize: 285532
[startup+80.0016 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 233351 0 0 0 7458 540 0 0 25 0 1 0 776744465 295387136 71218 4294967295 134512640 134714508 3221224576 3221223304 134672921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72116 71218 1111 63 0 72053 0
vsize: 288464
[startup+90.0018 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 233531 0 0 0 8458 541 0 0 25 0 1 0 776744465 295387136 71218 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72116 71218 1111 63 0 72053 0
vsize: 288464
[startup+100.001 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 234404 0 0 0 9456 543 0 0 25 0 1 0 776744465 296288256 71438 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72336 71438 1111 63 0 72273 0
vsize: 289344
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 245156 0 0 0 10429 570 0 0 25 0 1 0 776744465 296288256 71438 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72336 71438 1111 63 0 72273 0
vsize: 289344
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 247888 0 0 0 11422 578 0 0 25 0 1 0 776744465 298221568 71910 4294967295 134512640 134714508 3221224576 3221223216 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72808 71910 1111 63 0 72745 0
vsize: 291232
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 254385 0 0 0 12404 595 0 0 25 0 1 0 776744465 299634688 72255 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73153 72255 1111 63 0 73090 0
vsize: 292612
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 255636 0 0 0 13401 599 0 0 25 0 1 0 776744465 300707840 72517 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73415 72517 1111 63 0 73352 0
vsize: 293660
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 256160 0 0 0 14400 600 0 0 25 0 1 0 776744465 302690304 73001 4294967295 134512640 134714508 3221224576 3221223152 1076647868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73899 73001 1111 63 0 73836 0
vsize: 295596
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 258691 0 0 0 15394 606 0 0 25 0 1 0 776744465 302690304 73001 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73899 73001 1111 63 0 73836 0
vsize: 295596
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 265177 0 0 0 16376 624 0 0 25 0 1 0 776744465 302866432 73044 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73942 73044 1111 63 0 73879 0
vsize: 295768
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 273972 0 0 0 17355 645 0 0 25 0 1 0 776744465 302866432 73044 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73942 73044 1111 63 0 73879 0
vsize: 295768
[startup+190.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 276303 0 0 0 18349 652 0 0 25 0 1 0 776744465 303468544 73191 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74089 73191 1111 63 0 74026 0
vsize: 296356
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 278072 0 0 0 19344 657 0 0 25 0 1 0 776744465 307372032 74143 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75042 74143 1111 63 0 74979 0
vsize: 300168
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 278581 0 0 0 20343 658 0 0 25 0 1 0 776744465 308187136 74342 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75241 74342 1111 63 0 75178 0
vsize: 300964
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 278975 0 0 0 21342 659 0 0 25 0 1 0 776744465 308187136 74343 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75241 74343 1111 63 0 75178 0
vsize: 300964
[startup+230.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 279820 0 0 0 22340 661 0 0 25 0 1 0 776744465 308617216 74448 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75346 74448 1111 63 0 75283 0
vsize: 301384
[startup+240.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 280260 0 0 0 23339 663 0 0 25 0 1 0 776744465 308617216 74448 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75346 74448 1111 63 0 75283 0
vsize: 301384
[startup+250.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 282433 0 0 0 24334 668 0 0 25 0 1 0 776744465 314195968 75809 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+260.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 282433 0 0 0 25334 668 0 0 25 0 1 0 776744465 314195968 75809 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+270.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 282433 0 0 0 26334 668 0 0 25 0 1 0 776744465 314195968 75809 4294967295 134512640 134714508 3221224576 3221223304 134672911 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+280.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 282433 0 0 0 27335 668 0 0 25 0 1 0 776744465 314195968 75809 4294967295 134512640 134714508 3221224576 3221223304 134672913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+290.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 282433 0 0 0 28335 668 0 0 25 0 1 0 776744465 314195968 75809 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+300.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 282464 0 0 0 29335 668 0 0 25 0 1 0 776744465 314195968 75810 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75810 1111 63 0 76645 0
vsize: 306832
[startup+310.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 285328 0 0 0 30326 677 0 0 25 0 1 0 776744465 314195968 75810 4294967295 134512640 134714508 3221224576 3221223328 134630775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75810 1111 63 0 76645 0
vsize: 306832
[startup+320.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 294873 0 0 0 31303 700 0 0 25 0 1 0 776744465 314195968 75810 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75810 1111 63 0 76645 0
vsize: 306832
[startup+330.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 301569 0 0 0 32286 717 0 0 25 0 1 0 776744465 314675200 75927 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76825 75927 1111 63 0 76762 0
vsize: 307300
[startup+340.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 310811 0 0 0 33263 740 0 0 25 0 1 0 776744465 314851328 75970 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76868 75970 1111 63 0 76805 0
vsize: 307472
[startup+350.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 311651 0 0 0 34261 743 0 0 25 0 1 0 776744465 315969536 76242 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77141 76242 1111 63 0 77078 0
vsize: 308564
[startup+360.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 312402 0 0 0 35259 745 0 0 25 0 1 0 776744465 315969536 76243 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77141 76243 1111 63 0 77078 0
vsize: 308564
[startup+370.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 314850 0 0 0 36254 750 0 0 25 0 1 0 776744465 315969536 76243 4294967295 134512640 134714508 3221224576 3221223216 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77141 76243 1111 63 0 77078 0
vsize: 308564
[startup+380.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 317444 0 0 0 37247 757 0 0 25 0 1 0 776744465 317341696 76577 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77476 76577 1111 63 0 77413 0
vsize: 309904
[startup+390.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 317891 0 0 0 38246 758 0 0 25 0 1 0 776744465 317939712 76724 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77622 76724 1111 63 0 77559 0
vsize: 310488
[startup+400.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 318004 0 0 0 39246 759 0 0 25 0 1 0 776744465 318242816 76797 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77696 76797 1111 63 0 77633 0
vsize: 310784
[startup+410.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 318627 0 0 0 40244 761 0 0 25 0 1 0 776744465 319401984 77080 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77979 77080 1111 63 0 77916 0
vsize: 311916
[startup+420.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 319440 0 0 0 41241 764 0 0 25 0 1 0 776744465 319959040 77217 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78115 77217 1111 63 0 78052 0
vsize: 312460
[startup+430.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 319943 0 0 0 42241 765 0 0 25 0 1 0 776744465 320303104 77300 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78199 77300 1111 63 0 78136 0
vsize: 312796
[startup+440 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 320782 0 0 0 43238 767 0 0 25 0 1 0 776744465 320303104 77301 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78199 77301 1111 63 0 78136 0
vsize: 312796
[startup+450 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 321412 0 0 0 44237 768 0 0 25 0 1 0 776744465 321032192 77478 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78377 77478 1111 63 0 78314 0
vsize: 313508
[startup+460 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 321673 0 0 0 45237 769 0 0 25 0 1 0 776744465 321032192 77479 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78377 77479 1111 63 0 78314 0
vsize: 313508
[startup+470 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 322274 0 0 0 46235 771 0 0 25 0 1 0 776744465 321458176 77583 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78481 77583 1111 63 0 78418 0
vsize: 313924
[startup+480 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 322487 0 0 0 47235 771 0 0 25 0 1 0 776744465 321720320 77647 4294967295 134512640 134714508 3221224576 3221223216 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78545 77647 1111 63 0 78482 0
vsize: 314180
[startup+490 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 322832 0 0 0 48235 772 0 0 25 0 1 0 776744465 323137536 77992 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78891 77992 1111 63 0 78828 0
vsize: 315564
[startup+500.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 322832 0 0 0 49235 772 0 0 25 0 1 0 776744465 323137536 77992 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78891 77992 1111 63 0 78828 0
vsize: 315564
[startup+510 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 323453 0 0 0 50233 774 0 0 25 0 1 0 776744465 323137536 77993 4294967295 134512640 134714508 3221224576 3221223304 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78891 77993 1111 63 0 78828 0
vsize: 315564
[startup+520 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 323902 0 0 0 51232 775 0 0 25 0 1 0 776744465 323915776 78182 4294967295 134512640 134714508 3221224576 3221223176 1076648037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79081 78182 1111 63 0 79018 0
vsize: 316324
[startup+530 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 325023 0 0 0 52229 777 0 0 25 0 1 0 776744465 327606272 79083 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79982 79083 1111 63 0 79919 0
vsize: 319928
[startup+540 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 325159 0 0 0 53230 778 0 0 25 0 1 0 776744465 328163328 79219 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80118 79219 1111 63 0 80055 0
vsize: 320472
[startup+550 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 325222 0 0 0 54230 778 0 0 25 0 1 0 776744465 328421376 79282 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80181 79282 1111 63 0 80118 0
vsize: 320724
[startup+559.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 325441 0 0 0 55229 779 0 0 25 0 1 0 776744465 329105408 79450 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80348 79450 1111 63 0 80285 0
vsize: 321392
[startup+570 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 326113 0 0 0 56227 780 0 0 25 0 1 0 776744465 330178560 79712 4294967295 134512640 134714508 3221224576 3221223328 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80610 79712 1111 63 0 80547 0
vsize: 322440
[startup+579.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 326113 0 0 0 57227 780 0 0 25 0 1 0 776744465 330178560 79712 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80610 79712 1111 63 0 80547 0
vsize: 322440
[startup+589.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 326547 0 0 0 58226 782 0 0 25 0 1 0 776744465 330178560 79712 4294967295 134512640 134714508 3221224576 3221223216 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80610 79712 1111 63 0 80547 0
vsize: 322440
[startup+599.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 328455 0 0 0 59222 787 0 0 25 0 1 0 776744465 330608640 79816 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80715 79816 1111 63 0 80652 0
vsize: 322860
[startup+609.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 328566 0 0 0 60221 787 0 0 25 0 1 0 776744465 330608640 79817 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80715 79817 1111 63 0 80652 0
vsize: 322860
[startup+619.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 329370 0 0 0 61220 789 0 0 25 0 1 0 776744465 330608640 79817 4294967295 134512640 134714508 3221224576 3221223216 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80715 79817 1111 63 0 80652 0
vsize: 322860
[startup+629.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 330323 0 0 0 62217 792 0 0 25 0 1 0 776744465 331808768 80110 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81008 80110 1111 63 0 80945 0
vsize: 324032
[startup+639.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 330962 0 0 0 63216 793 0 0 25 0 1 0 776744465 334426112 80749 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81647 80749 1111 63 0 81584 0
vsize: 326588
[startup+649.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 331412 0 0 0 64215 794 0 0 25 0 1 0 776744465 336273408 81199 4294967295 134512640 134714508 3221224576 3221223216 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81199 1111 63 0 82035 0
vsize: 328392
[startup+659.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 331412 0 0 0 65215 794 0 0 25 0 1 0 776744465 336273408 81199 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81199 1111 63 0 82035 0
vsize: 328392
[startup+669.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 331433 0 0 0 66215 794 0 0 25 0 1 0 776744465 336273408 81200 4294967295 134512640 134714508 3221224576 3221223216 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81200 1111 63 0 82035 0
vsize: 328392
[startup+679.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 331573 0 0 0 67215 795 0 0 25 0 1 0 776744465 336273408 81200 4294967295 134512640 134714508 3221224576 3221223128 1077377725 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81200 1111 63 0 82035 0
vsize: 328392
[startup+689.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 331901 0 0 0 68214 796 0 0 25 0 1 0 776744465 336273408 81200 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81200 1111 63 0 82035 0
vsize: 328392
[startup+699.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 332279 0 0 0 69213 797 0 0 25 0 1 0 776744465 336273408 81200 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81200 1111 63 0 82035 0
vsize: 328392
[startup+709.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 332687 0 0 0 70212 798 0 0 25 0 1 0 776744465 336273408 81200 4294967295 134512640 134714508 3221224576 3221223216 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81200 1111 63 0 82035 0
vsize: 328392
[startup+719.997 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 333519 0 0 0 71210 800 0 0 25 0 1 0 776744465 339103744 81891 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82789 81891 1111 63 0 82726 0
vsize: 331156
[startup+729.997 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 333859 0 0 0 72209 801 0 0 25 0 1 0 776744465 339103744 81891 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82789 81891 1111 63 0 82726 0
vsize: 331156
[startup+739.997 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 333939 0 0 0 73209 801 0 0 25 0 1 0 776744465 339103744 81891 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82789 81891 1111 63 0 82726 0
vsize: 331156
[startup+749.997 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 333939 0 0 0 74210 801 0 0 25 0 1 0 776744465 339103744 81891 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82789 81891 1111 63 0 82726 0
vsize: 331156
[startup+759.996 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 333939 0 0 0 75210 801 0 0 25 0 1 0 776744465 339103744 81891 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82789 81891 1111 63 0 82726 0
vsize: 331156
[startup+769.996 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 334137 0 0 0 76209 802 0 0 25 0 1 0 776744465 339918848 82089 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82988 82089 1111 63 0 82925 0
vsize: 331952
[startup+779.995 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 334998 0 0 0 77207 804 0 0 25 0 1 0 776744465 339918848 82090 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82988 82090 1111 63 0 82925 0
vsize: 331952
[startup+789.995 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 337876 0 0 0 78199 812 0 0 25 0 1 0 776744465 339918848 82090 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82988 82090 1111 63 0 82925 0
vsize: 331952
[startup+799.995 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 342192 0 0 0 79188 823 0 0 25 0 1 0 776744465 339918848 82090 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82988 82090 1111 63 0 82925 0
vsize: 331952
[startup+809.994 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 347640 0 0 0 80175 836 0 0 25 0 1 0 776744465 339918848 82090 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82988 82090 1111 63 0 82925 0
vsize: 331952
[startup+819.994 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 352620 0 0 0 81161 850 0 0 25 0 1 0 776744465 340140032 82144 4294967295 134512640 134714508 3221224576 3221223328 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83042 82144 1111 63 0 82979 0
vsize: 332168
[startup+829.993 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 356169 0 0 0 82152 860 0 0 25 0 1 0 776744465 340361216 82197 4294967295 134512640 134714508 3221224576 3221223216 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83096 82197 1111 63 0 83033 0
vsize: 332384
[startup+839.994 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 356763 0 0 0 83150 863 0 0 25 0 1 0 776744465 340660224 82271 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83169 82271 1111 63 0 83106 0
vsize: 332676
[startup+849.994 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 357051 0 0 0 84149 863 0 0 25 0 1 0 776744465 341262336 82418 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83316 82418 1111 63 0 83253 0
vsize: 333264
[startup+859.993 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 357564 0 0 0 85147 866 0 0 25 0 1 0 776744465 341561344 82491 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+869.994 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 357564 0 0 0 86147 866 0 0 25 0 1 0 776744465 341561344 82491 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+879.993 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 357564 0 0 0 87147 866 0 0 25 0 1 0 776744465 341561344 82491 4294967295 134512640 134714508 3221224576 3221223224 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+889.993 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 357564 0 0 0 88148 866 0 0 25 0 1 0 776744465 341561344 82491 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+899.994 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 357564 0 0 0 89148 866 0 0 25 0 1 0 776744465 341561344 82491 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+909.993 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 357564 0 0 0 90148 866 0 0 25 0 1 0 776744465 341561344 82491 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+919.993 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 357587 0 0 0 91148 866 0 0 25 0 1 0 776744465 341561344 82514 4294967295 134512640 134714508 3221224576 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83389 82514 1111 63 0 83326 0
vsize: 333556
[startup+929.993 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358246 0 0 0 92146 867 0 0 25 0 1 0 776744465 341561344 82641 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82641 1111 63 0 83326 0
vsize: 333556
[startup+939.992 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358246 0 0 0 93146 868 0 0 25 0 1 0 776744465 341561344 82641 4294967295 134512640 134714508 3221224576 3221223340 134613543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82641 1111 63 0 83326 0
vsize: 333556
[startup+949.992 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358246 0 0 0 94146 868 0 0 25 0 1 0 776744465 341561344 82641 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82641 1111 63 0 83326 0
vsize: 333556
[startup+959.992 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358246 0 0 0 95146 868 0 0 25 0 1 0 776744465 341561344 82641 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82641 1111 63 0 83326 0
vsize: 333556
[startup+969.992 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358246 0 0 0 96145 869 0 0 25 0 1 0 776744465 341561344 82641 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82641 1111 63 0 83326 0
vsize: 333556
[startup+979.992 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358246 0 0 0 97145 869 0 0 25 0 1 0 776744465 341561344 82641 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82641 1111 63 0 83326 0
vsize: 333556
[startup+989.991 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358246 0 0 0 98145 869 0 0 25 0 1 0 776744465 341561344 82641 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82641 1111 63 0 83326 0
vsize: 333556
[startup+999.991 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358247 0 0 0 99145 869 0 0 25 0 1 0 776744465 341561344 82642 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82642 1111 63 0 83326 0
vsize: 333556
[startup+1009.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358247 0 0 0 100145 870 0 0 25 0 1 0 776744465 341561344 82642 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82642 1111 63 0 83326 0
vsize: 333556
[startup+1019.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358249 0 0 0 101145 870 0 0 25 0 1 0 776744465 341561344 82644 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82644 1111 63 0 83326 0
vsize: 333556
[startup+1029.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358252 0 0 0 102144 871 0 0 25 0 1 0 776744465 341561344 82647 4294967295 134512640 134714508 3221224576 3221223368 134597609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82647 1111 63 0 83326 0
vsize: 333556
[startup+1039.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358252 0 0 0 103144 871 0 0 25 0 1 0 776744465 341561344 82647 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82647 1111 63 0 83326 0
vsize: 333556
[startup+1049.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358252 0 0 0 104144 871 0 0 25 0 1 0 776744465 341561344 82647 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82647 1111 63 0 83326 0
vsize: 333556
[startup+1059.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358252 0 0 0 105144 872 0 0 25 0 1 0 776744465 341561344 82647 4294967295 134512640 134714508 3221224576 3221223356 134613543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82647 1111 63 0 83326 0
vsize: 333556
[startup+1069.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358252 0 0 0 106144 872 0 0 25 0 1 0 776744465 341561344 82647 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82647 1111 63 0 83326 0
vsize: 333556
[startup+1079.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358252 0 0 0 107143 872 0 0 25 0 1 0 776744465 341561344 82647 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82647 1111 63 0 83326 0
vsize: 333556
[startup+1089.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358252 0 0 0 108143 873 0 0 25 0 1 0 776744465 341561344 82647 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82647 1111 63 0 83326 0
vsize: 333556
[startup+1099.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358252 0 0 0 109143 873 0 0 25 0 1 0 776744465 341561344 82647 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82647 1111 63 0 83326 0
vsize: 333556
[startup+1109.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358252 0 0 0 110143 874 0 0 25 0 1 0 776744465 341561344 82647 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82647 1111 63 0 83326 0
vsize: 333556
[startup+1119.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358253 0 0 0 111142 874 0 0 25 0 1 0 776744465 341561344 82648 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82648 1111 63 0 83326 0
vsize: 333556
[startup+1129.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358253 0 0 0 112142 875 0 0 25 0 1 0 776744465 341561344 82648 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82648 1111 63 0 83326 0
vsize: 333556
[startup+1139.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358253 0 0 0 113142 875 0 0 25 0 1 0 776744465 341561344 82648 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82648 1111 63 0 83326 0
vsize: 333556
[startup+1149.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358253 0 0 0 114142 875 0 0 25 0 1 0 776744465 341561344 82648 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82648 1111 63 0 83326 0
vsize: 333556
[startup+1159.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358253 0 0 0 115141 876 0 0 25 0 1 0 776744465 341561344 82648 4294967295 134512640 134714508 3221224576 3221223392 134587513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82648 1111 63 0 83326 0
vsize: 333556
[startup+1169.99 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358253 0 0 0 116141 876 0 0 25 0 1 0 776744465 341561344 82648 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82648 1111 63 0 83326 0
vsize: 333556
[startup+1174.98 s]
Raw data (loadavg): 0.99 0.98 0.93 1/53 24447
Raw data (stat): 24447 (bsolo_lpr_cuts) R 24446 15547 15546 0 -1 0 358253 0 0 0 116141 876 0 0 25 0 1 0 776744465 341561344 82648 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82648 1111 63 0 83326 0
vsize: 0

Child status: 0
Real time (s): 1174.98
CPU time (s): 1175.17
CPU user time (s): 1166.25
CPU system time (s): 8.92164
CPU usage (%): 100.016
Max. virtual memory (Kb): 333556
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####