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/miplib/normalized-mps-v2-13-7-bell3a.opb
MD5SUM	d95da3ca5417070201766bede2d4ef9c
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	1256
Biggest coefficient in the objective function	393216000000000
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	14511389815457650
Number of bits of the sum of numbers in the objective function	54
Biggest number in a constraint	393216000000000
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	14511389815457650
Number of bits of the biggest sum of numbers	54
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	7.69383
Number of variables	1599
Total number of constraints	194
Number of constraints which are clauses	22
Number of constraints which are cardinality constraints (but not clauses)	39
Number of constraints which are nor clauses,nor cardinality constraints	133
Minimum length of a constraint	1
Maximum length of a constraint	131
Trace number 25919

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 09:39:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16681 boxname=wulflinc31 idbench=1284 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  d95da3ca5417070201766bede2d4ef9c  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-bell3a.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-bell3a.opb
IDLAUNCH: 16681
/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:        910588 kB
Buffers:         28584 kB
Cached:          72716 kB
SwapCached:        972 kB
Active:          72728 kB
Inactive:        30680 kB
HighTotal:      131008 kB
HighFree:        69636 kB
LowTotal:       903652 kB
LowFree:        840952 kB
SwapTotal:     2097892 kB
SwapFree:      2095888 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            14992 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 09:59:35 (client local time) WITH STATUS 0 IN 1188.28 SECONDS
stats: 16681 7 1188.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1599 variables and 147 constraints.
c After prepocess the problem consists of 1468 variables and 267 constraints.
c preprocess terminated 7.151 s
c Initial Lower Bound: 30207396
c Lower Bound Elapsed time: 0.138333
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1188.25 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.64 0.82 0.87 2/55 5905
Raw data (stat): 5905 (runsolver) R 5904 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 820566771 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.69 0.82 0.87 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 5876 0 0 0 977 17 0 0 25 0 1 0 820566771 13991936 2678 4294967295 134512640 134714508 3221221776 3221217912 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2678 1111 63 0 3353 0
vsize: 13664
[startup+20.0012 s]
Raw data (loadavg): 0.74 0.83 0.88 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 13636 0 0 0 1952 43 0 0 25 0 1 0 820566771 13787136 2676 4294967295 134512640 134714508 3221221776 3221219824 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3366 2676 1111 63 0 3303 0
vsize: 13464
[startup+30.0022 s]
Raw data (loadavg): 0.78 0.83 0.88 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 20617 0 0 0 2932 63 0 0 25 0 1 0 820566771 15732736 3153 4294967295 134512640 134714508 3221221776 3221219464 1077377437 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3841 3153 1111 63 0 3778 0
vsize: 15364
[startup+40.0026 s]
Raw data (loadavg): 0.81 0.84 0.88 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 26307 0 0 0 3916 79 0 0 25 0 1 0 820566771 17223680 3517 4294967295 134512640 134714508 3221221776 3221219056 1074140045 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4205 3517 1111 63 0 4142 0
vsize: 16820
[startup+50.0031 s]
Raw data (loadavg): 0.84 0.84 0.88 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 26599 0 0 0 4914 81 0 0 25 0 1 0 820566771 17223680 3517 4294967295 134512640 134714508 3221221776 3221220616 134558582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4205 3517 1111 63 0 4142 0
vsize: 16820
[startup+60.004 s]
Raw data (loadavg): 0.86 0.85 0.88 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 29508 0 0 0 5903 92 0 0 25 0 1 0 820566771 17657856 3569 4294967295 134512640 134714508 3221221776 3221218696 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3569 1111 63 0 4248 0
vsize: 17244
[startup+70.0054 s]
Raw data (loadavg): 0.88 0.85 0.88 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 41492 0 0 0 6869 126 0 0 25 0 1 0 820566771 17612800 3599 4294967295 134512640 134714508 3221221776 3221219120 1074839039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4300 3599 1111 63 0 4237 0
vsize: 17200
[startup+80.0069 s]
Raw data (loadavg): 0.90 0.86 0.88 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 55088 0 0 0 7832 163 0 0 25 0 1 0 820566771 17625088 3589 4294967295 134512640 134714508 3221221776 3221220128 1074115304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3589 1111 63 0 4240 0
vsize: 17212
[startup+90.0068 s]
Raw data (loadavg): 0.92 0.86 0.88 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 69248 0 0 0 8795 200 0 0 25 0 1 0 820566771 17784832 3607 4294967295 134512640 134714508 3221221776 3221218840 1074845845 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4342 3607 1111 63 0 4279 0
vsize: 17368
[startup+100.007 s]
Raw data (loadavg): 0.93 0.86 0.88 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 82797 0 0 0 9760 235 0 0 25 0 1 0 820566771 17629184 3616 4294967295 134512640 134714508 3221221776 3221218956 1077404770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4304 3616 1111 63 0 4241 0
vsize: 17216
[startup+110.008 s]
Raw data (loadavg): 0.94 0.87 0.88 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 93195 0 0 0 10730 265 0 0 25 0 1 0 820566771 17698816 3617 4294967295 134512640 134714508 3221221776 3221219776 1074918771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4321 3617 1111 63 0 4258 0
vsize: 17284
[startup+120.009 s]
Raw data (loadavg): 0.95 0.87 0.89 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 103562 0 0 0 11699 296 0 0 25 0 1 0 820566771 17629184 3616 4294967295 134512640 134714508 3221221776 3221219176 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4304 3616 1111 63 0 4241 0
vsize: 17216
[startup+130.01 s]
Raw data (loadavg): 1.11 0.91 0.90 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 115120 0 0 0 12671 325 0 0 25 0 1 0 820566771 18075648 3726 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4413 3726 1111 63 0 4350 0
vsize: 17652
[startup+140.011 s]
Raw data (loadavg): 1.09 0.91 0.90 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 121959 0 0 0 13650 346 0 0 25 0 1 0 820566771 18223104 3763 4294967295 134512640 134714508 3221221776 3221220008 1074207489 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4449 3763 1111 63 0 4386 0
vsize: 17796
[startup+150.01 s]
Raw data (loadavg): 1.08 0.91 0.90 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 126587 0 0 0 14635 361 0 0 25 0 1 0 820566771 18440192 3816 4294967295 134512640 134714508 3221221776 3221220040 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4502 3816 1111 63 0 4439 0
vsize: 18008
[startup+160.012 s]
Raw data (loadavg): 1.07 0.92 0.90 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 132677 0 0 0 15618 379 0 0 25 0 1 0 820566771 18677760 3874 4294967295 134512640 134714508 3221221776 3221219736 1074138256 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4560 3874 1111 63 0 4497 0
vsize: 18240
[startup+170.012 s]
Raw data (loadavg): 1.06 0.92 0.90 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 144227 0 0 0 16584 412 0 0 25 0 1 0 820566771 19550208 4079 4294967295 134512640 134714508 3221221776 3221220224 1073990361 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4773 4079 1111 63 0 4710 0
vsize: 19092
[startup+180.013 s]
Raw data (loadavg): 1.05 0.92 0.90 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 149692 0 0 0 17568 429 0 0 25 0 1 0 820566771 20815872 4311 4294967295 134512640 134714508 3221221776 3221218132 1075522646 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5082 4311 1111 63 0 5019 0
vsize: 20328
[startup+190.015 s]
Raw data (loadavg): 1.04 0.92 0.90 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 157036 0 0 0 18550 447 0 0 25 0 1 0 820566771 21786624 4550 4294967295 134512640 134714508 3221221776 3221218160 1074972319 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5319 4550 1111 63 0 5256 0
vsize: 21276
[startup+200.014 s]
Raw data (loadavg): 1.03 0.92 0.90 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 161271 0 0 0 19535 462 0 0 25 0 1 0 820566771 21897216 4584 4294967295 134512640 134714508 3221221776 3221218160 1075133386 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4584 1111 63 0 5283 0
vsize: 21384
[startup+210.015 s]
Raw data (loadavg): 1.03 0.93 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 164949 0 0 0 20521 476 0 0 25 0 1 0 820566771 21827584 4631 4294967295 134512640 134714508 3221221776 3221219660 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5329 4631 1111 63 0 5266 0
vsize: 21316
[startup+220.016 s]
Raw data (loadavg): 1.02 0.93 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 169244 0 0 0 21507 490 0 0 25 0 1 0 820566771 21688320 4611 4294967295 134512640 134714508 3221221776 3221218968 1074138290 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5295 4611 1111 63 0 5232 0
vsize: 21180
[startup+230.017 s]
Raw data (loadavg): 1.02 0.93 0.91 3/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 175932 0 0 0 22486 512 0 0 25 0 1 0 820566771 21688320 4611 4294967295 134512640 134714508 3221221776 3221219216 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5295 4611 1111 63 0 5232 0
vsize: 21180
[startup+240.017 s]
Raw data (loadavg): 1.02 0.93 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 181838 0 0 0 23468 529 0 0 25 0 1 0 820566771 22257664 4656 4294967295 134512640 134714508 3221221776 3221218668 1077387418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5434 4656 1111 63 0 5371 0
vsize: 21736
[startup+250.017 s]
Raw data (loadavg): 1.01 0.93 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 186033 0 0 0 24455 542 0 0 25 0 1 0 820566771 21823488 4644 4294967295 134512640 134714508 3221221776 3221219680 1074063767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5328 4644 1111 63 0 5265 0
vsize: 21312
[startup+260.019 s]
Raw data (loadavg): 1.01 0.94 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 189574 0 0 0 25442 555 0 0 25 0 1 0 820566771 21893120 4647 4294967295 134512640 134714508 3221221776 3221219776 1074917025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5345 4647 1111 63 0 5282 0
vsize: 21380
[startup+270.019 s]
Raw data (loadavg): 1.01 0.94 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 194000 0 0 0 26429 568 0 0 25 0 1 0 820566771 22179840 4710 4294967295 134512640 134714508 3221221776 3221219504 1075828584 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5415 4710 1111 63 0 5352 0
vsize: 21660
[startup+280.02 s]
Raw data (loadavg): 1.01 0.94 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 198489 0 0 0 27417 581 0 0 25 0 1 0 820566771 22077440 4706 4294967295 134512640 134714508 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5390 4706 1111 63 0 5327 0
vsize: 21560
[startup+290.021 s]
Raw data (loadavg): 1.00 0.94 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 202396 0 0 0 28406 592 0 0 25 0 1 0 820566771 22007808 4689 4294967295 134512640 134714508 3221221776 3221220032 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5373 4689 1111 63 0 5310 0
vsize: 21492
[startup+300.021 s]
Raw data (loadavg): 1.00 0.94 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 206143 0 0 0 29395 603 0 0 25 0 1 0 820566771 22941696 4828 4294967295 134512640 134714508 3221221776 3221217936 1074794689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4828 1111 63 0 5538 0
vsize: 22404
[startup+310.022 s]
Raw data (loadavg): 1.00 0.94 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 209620 0 0 0 30386 613 0 0 25 0 1 0 820566771 23826432 5072 4294967295 134512640 134714508 3221221776 3221217820 1074873512 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5817 5072 1111 63 0 5754 0
vsize: 23268
[startup+320.022 s]
Raw data (loadavg): 1.00 0.94 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 214144 0 0 0 31373 625 0 0 25 0 1 0 820566771 24453120 5188 4294967295 134512640 134714508 3221221776 3221217740 1074860653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5970 5188 1111 63 0 5907 0
vsize: 23880
[startup+330.024 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 220164 0 0 0 32358 641 0 0 25 0 1 0 820566771 25231360 5458 4294967295 134512640 134714508 3221221776 3221219888 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6160 5458 1111 63 0 6097 0
vsize: 24640
[startup+340.025 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 226686 0 0 0 33341 658 0 0 25 0 1 0 820566771 25595904 5491 4294967295 134512640 134714508 3221221776 3221217780 1074875787 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6249 5491 1111 63 0 6186 0
vsize: 24996
[startup+350.025 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 235826 0 0 0 34316 683 0 0 25 0 1 0 820566771 25784320 5611 4294967295 134512640 134714508 3221221776 3221218880 1074138642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6295 5611 1111 63 0 6232 0
vsize: 25180
[startup+360.026 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 241843 0 0 0 35303 696 0 0 25 0 1 0 820566771 26959872 5821 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6582 5821 1111 63 0 6519 0
vsize: 26328
[startup+370.026 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 247822 0 0 0 36287 712 0 0 25 0 1 0 820566771 26198016 5712 4294967295 134512640 134714508 3221221776 3221220240 134606973 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6396 5712 1111 63 0 6333 0
vsize: 25584
[startup+380.026 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 255910 0 0 0 37266 733 0 0 25 0 1 0 820566771 27713536 6052 4294967295 134512640 134714508 3221221776 3221219600 1075823588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6766 6052 1111 63 0 6703 0
vsize: 27064
[startup+390.027 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 262988 0 0 0 38249 750 0 0 25 0 1 0 820566771 27656192 6011 4294967295 134512640 134714508 3221221776 3221219928 1074950119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6752 6011 1111 63 0 6689 0
vsize: 27008
[startup+400.027 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 268462 0 0 0 39235 765 0 0 25 0 1 0 820566771 28073984 6170 4294967295 134512640 134714508 3221221776 3221219392 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6854 6170 1111 63 0 6791 0
vsize: 27416
[startup+410.028 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 278723 0 0 0 40213 787 0 0 25 0 1 0 820566771 29155328 6362 4294967295 134512640 134714508 3221221776 3221217684 1074786534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6362 1111 63 0 7055 0
vsize: 28472
[startup+420.028 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 289231 0 0 0 41187 813 0 0 25 0 1 0 820566771 29798400 6516 4294967295 134512640 134714508 3221221776 3221218148 1075965465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7275 6516 1111 63 0 7212 0
vsize: 29100
[startup+430.028 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 298929 0 0 0 42165 835 0 0 25 0 1 0 820566771 29843456 6602 4294967295 134512640 134714508 3221221776 3221220208 134535442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7286 6602 1111 63 0 7223 0
vsize: 29144
[startup+440.028 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 306141 0 0 0 43148 852 0 0 25 0 1 0 820566771 30683136 6759 4294967295 134512640 134714508 3221221776 3221218004 1075115007 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7491 6759 1111 63 0 7428 0
vsize: 29964
[startup+450.029 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 311603 0 0 0 44136 865 0 0 25 0 1 0 820566771 30998528 6814 4294967295 134512640 134714508 3221221776 3221217848 1074950227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7568 6814 1111 63 0 7505 0
vsize: 30272
[startup+460.029 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 319538 0 0 0 45118 882 0 0 25 0 1 0 820566771 31150080 6879 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7605 6883 1111 63 0 7542 0
vsize: 30420
[startup+470.029 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 327535 0 0 0 46100 901 0 0 25 0 1 0 820566771 31735808 7021 4294967295 134512640 134714508 3221221776 3221218048 1074961091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7748 7021 1111 63 0 7685 0
vsize: 30992
[startup+480.029 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 335417 0 0 0 47079 922 0 0 25 0 1 0 820566771 32382976 7153 4294967295 134512640 134714508 3221221776 3221217872 1074790226 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7906 7153 1111 63 0 7843 0
vsize: 31624
[startup+490.03 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 339998 0 0 0 48068 934 0 0 25 0 1 0 820566771 33095680 7396 4294967295 134512640 134714508 3221221776 3221219776 1074916993 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8080 7396 1111 63 0 8017 0
vsize: 32320
[startup+500.03 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 346020 0 0 0 49052 950 0 0 25 0 1 0 820566771 34304000 7619 4294967295 134512640 134714508 3221221776 3221218848 1074867325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8375 7619 1111 63 0 8312 0
vsize: 33500
[startup+510.03 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 353366 0 0 0 50035 967 0 0 25 0 1 0 820566771 34197504 7665 4294967295 134512640 134714508 3221221776 3221220304 134648531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8349 7665 1111 63 0 8286 0
vsize: 33396
[startup+520.03 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 359885 0 0 0 51019 983 0 0 25 0 1 0 820566771 35913728 7975 4294967295 134512640 134714508 3221221776 3221218816 1075971414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8768 7979 1111 63 0 8705 0
vsize: 35072
[startup+530.03 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 364573 0 0 0 52007 995 0 0 25 0 1 0 820566771 35311616 7888 4294967295 134512640 134714508 3221221776 3221217760 1074875101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8621 7888 1111 63 0 8558 0
vsize: 34484
[startup+540.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 368564 0 0 0 52997 1005 0 0 25 0 1 0 820566771 35512320 7926 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8670 7926 1111 63 0 8607 0
vsize: 34680
[startup+550.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 370946 0 0 0 53992 1011 0 0 25 0 1 0 820566771 35856384 8017 4294967295 134512640 134714508 3221221776 3221217820 1074873474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8754 8017 1111 63 0 8691 0
vsize: 35016
[startup+560.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 372185 0 0 0 54989 1014 0 0 25 0 1 0 820566771 36020224 8063 4294967295 134512640 134714508 3221221776 3221217936 1075095157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8794 8063 1111 63 0 8731 0
vsize: 35176
[startup+570.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 376083 0 0 0 55981 1022 0 0 25 0 1 0 820566771 35704832 7977 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8717 7977 1111 63 0 8654 0
vsize: 34868
[startup+580.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 379162 0 0 0 56973 1029 0 0 25 0 1 0 820566771 35737600 7988 4294967295 134512640 134714508 3221221776 3221217820 1074873465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8725 7988 1111 63 0 8662 0
vsize: 34900
[startup+590.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 382366 0 0 0 57965 1038 0 0 25 0 1 0 820566771 34717696 7792 4294967295 134512640 134714508 3221221776 3221220112 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8476 7792 1111 63 0 8413 0
vsize: 33904
[startup+600.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 387547 0 0 0 58954 1049 0 0 25 0 1 0 820566771 35737600 7974 4294967295 134512640 134714508 3221221776 3221217820 1074873478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8725 7974 1111 63 0 8662 0
vsize: 34900
[startup+610.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 389591 0 0 0 59949 1054 0 0 25 0 1 0 820566771 35753984 7985 4294967295 134512640 134714508 3221221776 3221217724 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8729 7985 1111 63 0 8666 0
vsize: 34916
[startup+620.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 392809 0 0 0 60942 1061 0 0 25 0 1 0 820566771 35676160 7994 4294967295 134512640 134714508 3221221776 3221217820 1074873465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8710 7994 1111 63 0 8647 0
vsize: 34840
[startup+630.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 395023 0 0 0 61937 1067 0 0 25 0 1 0 820566771 35753984 8003 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8729 8003 1111 63 0 8666 0
vsize: 34916
[startup+640.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 397167 0 0 0 62932 1072 0 0 25 0 1 0 820566771 35721216 7967 4294967295 134512640 134714508 3221221776 3221217880 1074798312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8721 7967 1111 63 0 8658 0
vsize: 34884
[startup+650.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 402567 0 0 0 63919 1085 0 0 25 0 1 0 820566771 35590144 7944 4294967295 134512640 134714508 3221221776 3221217780 1074875760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8689 7944 1111 63 0 8626 0
vsize: 34756
[startup+660.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 408037 0 0 0 64907 1097 0 0 25 0 1 0 820566771 35590144 7951 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8689 7951 1111 63 0 8626 0
vsize: 34756
[startup+670.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 419204 0 0 0 65880 1124 0 0 25 0 1 0 820566771 36761600 8223 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8975 8223 1111 63 0 8912 0
vsize: 35900
[startup+680.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 424273 0 0 0 66867 1137 0 0 25 0 1 0 820566771 37629952 8433 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9187 8433 1111 63 0 9124 0
vsize: 36748
[startup+690.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 427009 0 0 0 67860 1145 0 0 25 0 1 0 820566771 37445632 8415 4294967295 134512640 134714508 3221221776 3221217820 1074873490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9142 8415 1111 63 0 9079 0
vsize: 36568
[startup+700.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 429090 0 0 0 68854 1151 0 0 25 0 1 0 820566771 37482496 8461 4294967295 134512640 134714508 3221221776 3221217820 1074873478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9151 8461 1111 63 0 9088 0
vsize: 36604
[startup+710.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 430560 0 0 0 69851 1154 0 0 25 0 1 0 820566771 37928960 8576 4294967295 134512640 134714508 3221221776 3221219504 1075828444 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9260 8576 1111 63 0 9197 0
vsize: 37040
[startup+720.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 432710 0 0 0 70846 1159 0 0 25 0 1 0 820566771 37785600 8499 4294967295 134512640 134714508 3221221776 3221218696 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9225 8499 1111 63 0 9162 0
vsize: 36900
[startup+730.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 437325 0 0 0 71835 1170 0 0 25 0 1 0 820566771 36859904 8243 4294967295 134512640 134714508 3221221776 3221217936 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8999 8243 1111 63 0 8936 0
vsize: 35996
[startup+740.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 444008 0 0 0 72820 1185 0 0 25 0 1 0 820566771 37539840 8418 4294967295 134512640 134714508 3221221776 3221217820 1074873498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9165 8418 1111 63 0 9102 0
vsize: 36660
[startup+750.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 448789 0 0 0 73808 1197 0 0 25 0 1 0 820566771 37482496 8394 4294967295 134512640 134714508 3221221776 3221218544 1076084520 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9151 8394 1111 63 0 9088 0
vsize: 36604
[startup+760.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 452441 0 0 0 74799 1207 0 0 25 0 1 0 820566771 37523456 8448 4294967295 134512640 134714508 3221221776 3221217848 1074950198 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9161 8448 1111 63 0 9098 0
vsize: 36644
[startup+770.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 455780 0 0 0 75790 1215 0 0 25 0 1 0 820566771 37941248 8539 4294967295 134512640 134714508 3221221776 3221217984 1074815357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9263 8539 1111 63 0 9200 0
vsize: 37052
[startup+780.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 460253 0 0 0 76781 1225 0 0 25 0 1 0 820566771 38625280 8674 4294967295 134512640 134714508 3221221776 3221217936 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9430 8674 1111 63 0 9367 0
vsize: 37720
[startup+790.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 465682 0 0 0 77768 1239 0 0 25 0 1 0 820566771 38912000 8786 4294967295 134512640 134714508 3221221776 3221218720 1074620308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9500 8786 1111 63 0 9437 0
vsize: 38000
[startup+800.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 474030 0 0 0 78748 1259 0 0 25 0 1 0 820566771 38064128 8566 4294967295 134512640 134714508 3221221776 3221220288 134648550 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9293 8566 1111 63 0 9230 0
vsize: 37172
[startup+810.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 480641 0 0 0 79728 1278 0 0 25 0 1 0 820566771 39313408 8914 4294967295 134512640 134714508 3221221776 3221220176 1074118820 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9598 8914 1111 63 0 9535 0
vsize: 38392
[startup+820.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 486621 0 0 0 80714 1293 0 0 25 0 1 0 820566771 39821312 8967 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9722 8967 1111 63 0 9659 0
vsize: 38888
[startup+830.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 494593 0 0 0 81693 1313 0 0 25 0 1 0 820566771 40402944 9146 4294967295 134512640 134714508 3221221776 3221217848 1074950201 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9864 9146 1111 63 0 9801 0
vsize: 39456
[startup+840.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 501081 0 0 0 82677 1330 0 0 25 0 1 0 820566771 38920192 8818 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9502 8818 1111 63 0 9439 0
vsize: 38008
[startup+850.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 505032 0 0 0 83668 1339 0 0 25 0 1 0 820566771 42070016 9559 4294967295 134512640 134714508 3221221776 3221217820 1074873490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10271 9559 1111 63 0 10208 0
vsize: 41084
[startup+860.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 507796 0 0 0 84661 1347 0 0 25 0 1 0 820566771 42250240 9632 4294967295 134512640 134714508 3221221776 3221217660 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10315 9632 1111 63 0 10252 0
vsize: 41260
[startup+870.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 508140 0 0 0 85659 1348 0 0 25 0 1 0 820566771 41054208 9341 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10023 9341 1111 63 0 9960 0
vsize: 40092
[startup+880.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 510329 0 0 0 86654 1354 0 0 25 0 1 0 820566771 43208704 9844 4294967295 134512640 134714508 3221221776 3221217904 1074882601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10549 9844 1111 63 0 10486 0
vsize: 42196
[startup+890.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 511868 0 0 0 87650 1358 0 0 25 0 1 0 820566771 40824832 9252 4294967295 134512640 134714508 3221221776 3221219056 1074140041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9967 9253 1111 63 0 9904 0
vsize: 39868
[startup+900.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 518311 0 0 0 88633 1375 0 0 25 0 1 0 820566771 42430464 9521 4294967295 134512640 134714508 3221221776 3221217936 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10359 9521 1111 63 0 10296 0
vsize: 41436
[startup+910.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 524422 0 0 0 89619 1389 0 0 25 0 1 0 820566771 44285952 10006 4294967295 134512640 134714508 3221221776 3221217820 1074873478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10812 10006 1111 63 0 10749 0
vsize: 43248
[startup+920.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 524512 0 0 0 90619 1390 0 0 25 0 1 0 820566771 44285952 10096 4294967295 134512640 134714508 3221221776 3221217820 1074873465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10812 10096 1111 63 0 10749 0
vsize: 43248
[startup+930.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 526707 0 0 0 91613 1396 0 0 25 0 1 0 820566771 42344448 9656 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10338 9656 1111 63 0 10275 0
vsize: 41352
[startup+940.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 529269 0 0 0 92607 1402 0 0 25 0 1 0 820566771 44408832 10101 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10842 10101 1111 63 0 10779 0
vsize: 43368
[startup+950.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 529584 0 0 0 93606 1402 0 0 25 0 1 0 820566771 44408832 10101 4294967295 134512640 134714508 3221221776 3221217848 1074950198 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10842 10101 1111 63 0 10779 0
vsize: 43368
[startup+960.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 530029 0 0 0 94605 1404 0 0 25 0 1 0 820566771 42639360 9728 4294967295 134512640 134714508 3221221776 3221219648 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10410 9728 1111 63 0 10347 0
vsize: 41640
[startup+970.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 537457 0 0 0 95587 1422 0 0 25 0 1 0 820566771 42991616 9650 4294967295 134512640 134714508 3221221776 3221217940 1075964278 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10496 9650 1111 63 0 10433 0
vsize: 41984
[startup+980.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 544382 0 0 0 96571 1438 0 0 25 0 1 0 820566771 41750528 9502 4294967295 134512640 134714508 3221221776 3221218968 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10193 9502 1111 63 0 10130 0
vsize: 40772
[startup+990.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 547510 0 0 0 97562 1447 0 0 25 0 1 0 820566771 47452160 10667 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11585 10667 1111 63 0 11522 0
vsize: 46340
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 547778 0 0 0 98562 1448 0 0 25 0 1 0 820566771 47202304 10831 4294967295 134512640 134714508 3221221776 3221217988 1075117753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11524 10831 1111 63 0 11461 0
vsize: 46096
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 547780 0 0 0 99562 1448 0 0 25 0 1 0 820566771 47202304 10833 4294967295 134512640 134714508 3221221776 3221217936 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11524 10833 1111 63 0 11461 0
vsize: 46096
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 547846 0 0 0 100562 1448 0 0 25 0 1 0 820566771 47484928 10899 4294967295 134512640 134714508 3221221776 3221218352 1076049546 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11593 10899 1111 63 0 11530 0
vsize: 46372
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 547847 0 0 0 101562 1448 0 0 25 0 1 0 820566771 47484928 10900 4294967295 134512640 134714508 3221221776 3221217744 1074872775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11593 10900 1111 63 0 11530 0
vsize: 46372
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 547849 0 0 0 102562 1448 0 0 25 0 1 0 820566771 47484928 10902 4294967295 134512640 134714508 3221221776 3221218848 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11593 10902 1111 63 0 11530 0
vsize: 46372
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 547849 0 0 0 103562 1448 0 0 25 0 1 0 820566771 47484928 10902 4294967295 134512640 134714508 3221221776 3221217936 1074794536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11593 10902 1111 63 0 11530 0
vsize: 46372
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 547849 0 0 0 104562 1448 0 0 25 0 1 0 820566771 47484928 10902 4294967295 134512640 134714508 3221221776 3221217744 1074872867 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11593 10902 1111 63 0 11530 0
vsize: 46372
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 547849 0 0 0 105563 1448 0 0 25 0 1 0 820566771 47484928 10902 4294967295 134512640 134714508 3221221776 3221217936 1074794560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11593 10902 1111 63 0 11530 0
vsize: 46372
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 547915 0 0 0 106562 1449 0 0 25 0 1 0 820566771 47484928 10806 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11593 10806 1111 63 0 11530 0
vsize: 46372
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 548094 0 0 0 107562 1449 0 0 25 0 1 0 820566771 47484928 10823 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11593 10823 1111 63 0 11530 0
vsize: 46372
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 550272 0 0 0 108556 1455 0 0 25 0 1 0 820566771 45899776 10382 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11206 10382 1111 63 0 11143 0
vsize: 44824
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 552031 0 0 0 109552 1459 0 0 25 0 1 0 820566771 46592000 10682 4294967295 134512640 134714508 3221221776 3221219728 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11375 10682 1111 63 0 11312 0
vsize: 45500
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 553290 0 0 0 110550 1462 0 0 25 0 1 0 820566771 48357376 11008 4294967295 134512640 134714508 3221221776 3221217888 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11806 11008 1111 63 0 11743 0
vsize: 47224
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 553292 0 0 0 111550 1462 0 0 25 0 1 0 820566771 48357376 11010 4294967295 134512640 134714508 3221221776 3221217888 1074794549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11806 11010 1111 63 0 11743 0
vsize: 47224
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 553292 0 0 0 112550 1462 0 0 25 0 1 0 820566771 48357376 11010 4294967295 134512640 134714508 3221221776 3221217904 1074882601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11806 11010 1111 63 0 11743 0
vsize: 47224
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 553541 0 0 0 113550 1463 0 0 25 0 1 0 820566771 49238016 11044 4294967295 134512640 134714508 3221221776 3221217772 1074873439 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12021 11044 1111 63 0 11958 0
vsize: 48084
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 555986 0 0 0 114544 1468 0 0 25 0 1 0 820566771 46825472 10674 4294967295 134512640 134714508 3221221776 3221217904 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11432 10674 1111 63 0 11369 0
vsize: 45728
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 556266 0 0 0 115543 1470 0 0 25 0 1 0 820566771 42917888 9796 4294967295 134512640 134714508 3221221776 3221219744 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10478 9796 1111 63 0 10415 0
vsize: 41912
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 557936 0 0 0 116539 1473 0 0 25 0 1 0 820566771 46309376 10486 4294967295 134512640 134714508 3221221776 3221217952 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11306 10486 1111 63 0 11243 0
vsize: 45224
[startup+1188.18 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 5905
Raw data (stat): 5905 (bsolo_lpr_cuts) R 5904 7876 7672 0 -1 0 557936 0 0 0 116539 1473 0 0 25 0 1 0 820566771 46309376 10486 4294967295 134512640 134714508 3221221776 3221217952 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11306 10486 1111 63 0 11243 0
vsize: 0

Child status: 0
Real time (s): 1188.18
CPU time (s): 1188.28
CPU user time (s): 1173.48
CPU system time (s): 14.7957
CPU usage (%): 100.008
Max. virtual memory (Kb): 48084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####