PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-bell3a.opb
MD5SUM	47799b7114cd9484def56bec40d7bc3d
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.58885
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 25701

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 19:42:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18202 boxname=wulflinc31 idbench=1401 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  47799b7114cd9484def56bec40d7bc3d  /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: 18202
/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:        925412 kB
Buffers:         10148 kB
Cached:          76064 kB
SwapCached:        964 kB
Active:          48148 kB
Inactive:        40272 kB
HighTotal:      131008 kB
HighFree:        84000 kB
LowTotal:       903652 kB
LowFree:        841412 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            15016 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 20:01:51 (client local time) WITH STATUS 0 IN 1179.57 SECONDS
stats: 18202 7 1179.57 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 6.975 s
c Initial Lower Bound: 30207396
c Lower Bound Elapsed time: 0.140667
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1179.53 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.76 0.92 0.97 2/55 15538
Raw data (stat): 15538 (runsolver) R 15537 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 806899621 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+9.99983 s]
Raw data (loadavg): 0.80 0.93 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 5943 0 1 0 978 16 0 0 25 0 1 0 806899621 13692928 2647 4294967295 134512640 134714508 3221221776 3221218880 1074138827 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3343 2647 1111 63 0 3280 0
vsize: 13372
[startup+20.0012 s]
Raw data (loadavg): 0.83 0.93 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 13632 0 1 0 1954 41 0 0 25 0 1 0 806899621 14233600 2710 4294967295 134512640 134714508 3221221776 3221217740 1074860828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3475 2710 1111 63 0 3412 0
vsize: 13900
[startup+30.0017 s]
Raw data (loadavg): 0.85 0.93 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 20550 0 1 0 2934 60 0 0 25 0 1 0 806899621 15798272 3169 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3857 3169 1111 63 0 3794 0
vsize: 15428
[startup+40.0016 s]
Raw data (loadavg): 0.88 0.93 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 26231 0 1 0 3920 75 0 0 25 0 1 0 806899621 17223680 3517 4294967295 134512640 134714508 3221221776 3221218928 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4205 3517 1111 63 0 4142 0
vsize: 16820
[startup+50.0033 s]
Raw data (loadavg): 0.89 0.93 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 26598 0 1 0 4917 78 0 0 25 0 1 0 806899621 17223680 3517 4294967295 134512640 134714508 3221221776 3221218720 1074620186 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4205 3517 1111 63 0 4142 0
vsize: 16820
[startup+60.0025 s]
Raw data (loadavg): 0.91 0.93 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 28541 0 1 0 5909 86 0 0 25 0 1 0 806899621 17825792 3593 4294967295 134512640 134714508 3221221776 3221218800 1074810528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4352 3593 1111 63 0 4289 0
vsize: 17408
[startup+70.0034 s]
Raw data (loadavg): 0.92 0.94 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 40049 0 1 0 6876 118 0 0 25 0 1 0 806899621 17686528 3604 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4318 3604 1111 63 0 4255 0
vsize: 17272
[startup+80.0037 s]
Raw data (loadavg): 0.93 0.94 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 53431 0 1 0 7840 154 0 0 25 0 1 0 806899621 17592320 3601 4294967295 134512640 134714508 3221221776 3221219520 1075640247 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4295 3601 1111 63 0 4232 0
vsize: 17180
[startup+90.0043 s]
Raw data (loadavg): 0.94 0.94 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 67066 0 1 0 8804 191 0 0 25 0 1 0 806899621 17481728 3580 4294967295 134512640 134714508 3221221776 3221219920 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3580 1111 63 0 4205 0
vsize: 17072
[startup+100.004 s]
Raw data (loadavg): 0.95 0.94 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 80774 0 1 0 9770 225 0 0 25 0 1 0 806899621 17616896 3613 4294967295 134512640 134714508 3221221776 3221220420 134524197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4301 3613 1111 63 0 4238 0
vsize: 17204
[startup+110.007 s]
Raw data (loadavg): 0.96 0.94 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 91679 0 1 0 10738 258 0 0 25 0 1 0 806899621 17645568 3619 4294967295 134512640 134714508 3221221776 3221220176 1074118790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4308 3619 1111 63 0 4245 0
vsize: 17232
[startup+120.007 s]
Raw data (loadavg): 0.97 0.94 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 100750 0 1 0 11713 283 0 0 25 0 1 0 806899621 17772544 3619 4294967295 134512640 134714508 3221221776 3221218968 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4394 3623 1111 63 0 4331 0
vsize: 17356
[startup+130.007 s]
Raw data (loadavg): 0.97 0.95 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 113070 0 1 0 12681 315 0 0 25 0 1 0 806899621 17821696 3663 4294967295 134512640 134714508 3221221776 3221219708 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4351 3663 1111 63 0 4288 0
vsize: 17404
[startup+140.007 s]
Raw data (loadavg): 0.97 0.95 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 120156 0 1 0 13660 336 0 0 25 0 1 0 806899621 18329600 3780 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4475 3781 1111 63 0 4412 0
vsize: 17900
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 125503 0 1 0 14645 351 0 0 25 0 1 0 806899621 18563072 3814 4294967295 134512640 134714508 3221221776 3221219736 1074138306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4532 3817 1111 63 0 4469 0
vsize: 18128
[startup+160.008 s]
Raw data (loadavg): 0.98 0.95 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 130420 0 1 0 15629 367 0 0 25 0 1 0 806899621 18587648 3852 4294967295 134512640 134714508 3221221776 3221219536 1075133651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4538 3852 1111 63 0 4475 0
vsize: 18152
[startup+170.008 s]
Raw data (loadavg): 0.98 0.95 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 142297 0 1 0 16598 398 0 0 25 0 1 0 806899621 19378176 4002 4294967295 134512640 134714508 3221221776 3221219596 1074206265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4731 4002 1111 63 0 4668 0
vsize: 18924
[startup+180.009 s]
Raw data (loadavg): 0.98 0.95 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 148381 0 1 0 17580 416 0 0 25 0 1 0 806899621 20168704 4238 4294967295 134512640 134714508 3221221776 3221220040 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4924 4238 1111 63 0 4861 0
vsize: 19696
[startup+190.01 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 154756 0 1 0 18562 435 0 0 25 0 1 0 806899621 20881408 4413 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5098 4413 1111 63 0 5035 0
vsize: 20392
[startup+200.01 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 159939 0 1 0 19544 453 0 0 25 0 1 0 806899621 21393408 4538 4294967295 134512640 134714508 3221221776 3221220112 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5223 4538 1111 63 0 5160 0
vsize: 20892
[startup+210.01 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 164064 0 1 0 20529 468 0 0 25 0 1 0 806899621 21651456 4601 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5286 4601 1111 63 0 5223 0
vsize: 21144
[startup+220.01 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 167073 0 1 0 21518 479 0 0 25 0 1 0 806899621 21762048 4625 4294967295 134512640 134714508 3221221776 3221220288 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5313 4625 1111 63 0 5250 0
vsize: 21252
[startup+230.011 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 173561 0 1 0 22499 498 0 0 25 0 1 0 806899621 21688320 4611 4294967295 134512640 134714508 3221221776 3221220072 1074138166 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.011 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 180136 0 1 0 23481 516 0 0 25 0 1 0 806899621 22638592 4777 4294967295 134512640 134714508 3221221776 3221218276 1074846128 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5527 4777 1111 63 0 5464 0
vsize: 22108
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 184865 0 1 0 24468 529 0 0 25 0 1 0 806899621 22241280 4663 4294967295 134512640 134714508 3221221776 3221217996 1074878536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4663 1111 63 0 5367 0
vsize: 21720
[startup+260.011 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 188434 0 1 0 25456 541 0 0 25 0 1 0 806899621 21843968 4644 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5333 4644 1111 63 0 5270 0
vsize: 21332
[startup+270.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 192279 0 1 0 26447 550 0 0 25 0 1 0 806899621 22241280 4677 4294967295 134512640 134714508 3221221776 3221217740 1074788110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4677 1111 63 0 5367 0
vsize: 21720
[startup+280.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 197039 0 1 0 27436 561 0 0 25 0 1 0 806899621 22007808 4689 4294967295 134512640 134714508 3221221776 3221220128 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5373 4689 1111 63 0 5310 0
vsize: 21492
[startup+290.014 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 201143 0 1 0 28426 572 0 0 25 0 1 0 806899621 22958080 4861 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5605 4861 1111 63 0 5542 0
vsize: 22420
[startup+300.014 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 204843 0 1 0 29416 582 0 0 25 0 1 0 806899621 22093824 4710 4294967295 134512640 134714508 3221221776 3221220240 134606848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5394 4710 1111 63 0 5331 0
vsize: 21576
[startup+310.014 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 208477 0 1 0 30406 592 0 0 25 0 1 0 806899621 22753280 4871 4294967295 134512640 134714508 3221221776 3221219932 1077404744 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5555 4871 1111 63 0 5492 0
vsize: 22220
[startup+320.015 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 212516 0 1 0 31395 604 0 0 25 0 1 0 806899621 23650304 5090 4294967295 134512640 134714508 3221221776 3221220076 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5774 5090 1111 63 0 5711 0
vsize: 23096
[startup+330.015 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 217882 0 1 0 32381 618 0 0 25 0 1 0 806899621 24571904 5244 4294967295 134512640 134714508 3221221776 3221217936 1074794545 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5999 5244 1111 63 0 5936 0
vsize: 23996
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 224211 0 1 0 33364 635 0 0 25 0 1 0 806899621 25460736 5459 4294967295 134512640 134714508 3221221776 3221217820 1074873474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6216 5459 1111 63 0 6153 0
vsize: 24864
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 234556 0 1 0 34339 660 0 0 25 0 1 0 806899621 26169344 5654 4294967295 134512640 134714508 3221221776 3221218696 1074950119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6389 5654 1111 63 0 6326 0
vsize: 25556
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 240291 0 1 0 35325 675 0 0 25 0 1 0 806899621 26906624 5812 4294967295 134512640 134714508 3221221776 3221218160 1074972049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6569 5812 1111 63 0 6506 0
vsize: 26276
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 245066 0 1 0 36313 687 0 0 25 0 1 0 806899621 26112000 5691 4294967295 134512640 134714508 3221221776 3221220280 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6375 5691 1111 63 0 6312 0
vsize: 25500
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 252128 0 1 0 37293 706 0 0 25 0 1 0 806899621 26320896 5742 4294967295 134512640 134714508 3221221776 3221219120 1074839062 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6459 5743 1111 63 0 6396 0
vsize: 25704
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 261274 0 1 0 38271 729 0 0 25 0 1 0 806899621 27955200 6067 4294967295 134512640 134714508 3221221776 3221218816 1075860294 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6825 6067 1111 63 0 6762 0
vsize: 27300
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 266779 0 1 0 39257 743 0 0 25 0 1 0 806899621 28340224 6227 4294967295 134512640 134714508 3221221776 3221220056 1074138315 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6919 6227 1111 63 0 6856 0
vsize: 27676
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 275793 0 1 0 40234 766 0 0 25 0 1 0 806899621 28098560 6176 4294967295 134512640 134714508 3221221776 3221219572 1077378662 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6860 6176 1111 63 0 6797 0
vsize: 27440
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 287071 0 1 0 41208 792 0 0 25 0 1 0 806899621 28655616 6312 4294967295 134512640 134714508 3221221776 3221220076 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6996 6312 1111 63 0 6933 0
vsize: 27984
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 297658 0 1 0 42183 818 0 0 25 0 1 0 806899621 29782016 6587 4294967295 134512640 134714508 3221221776 3221220304 134647053 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7271 6587 1111 63 0 7208 0
vsize: 29084
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 305191 0 1 0 43165 836 0 0 25 0 1 0 806899621 30810112 6742 4294967295 134512640 134714508 3221221776 3221217776 1075965307 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7522 6742 1111 63 0 7459 0
vsize: 30088
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 309960 0 1 0 44155 846 0 0 25 0 1 0 806899621 30085120 6661 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7345 6661 1111 63 0 7282 0
vsize: 29380
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 318527 0 1 0 45135 866 0 0 25 0 1 0 806899621 30588928 6784 4294967295 134512640 134714508 3221221776 3221219440 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7468 6784 1111 63 0 7405 0
vsize: 29872
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 326581 0 1 0 46116 886 0 0 25 0 1 0 806899621 31014912 6853 4294967295 134512640 134714508 3221221776 3221220280 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7572 6853 1111 63 0 7509 0
vsize: 30288
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 334649 0 1 0 47096 905 0 0 25 0 1 0 806899621 31776768 6996 4294967295 134512640 134714508 3221221776 3221218696 1075964775 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7664 6967 1111 63 0 7601 0
vsize: 31032
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 339786 0 1 0 48083 919 0 0 25 0 1 0 806899621 33271808 7410 4294967295 134512640 134714508 3221221776 3221219888 1074867320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8123 7410 1111 63 0 8060 0
vsize: 32492
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 345798 0 1 0 49068 934 0 0 25 0 1 0 806899621 33914880 7530 4294967295 134512640 134714508 3221221776 3221217820 1074873539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8280 7530 1111 63 0 8217 0
vsize: 33120
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 353359 0 1 0 50050 952 0 0 25 0 1 0 806899621 34836480 7786 4294967295 134512640 134714508 3221221776 3221217848 1074950198 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8505 7786 1111 63 0 8442 0
vsize: 34020
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 359404 0 1 0 51035 968 0 0 25 0 1 0 806899621 34754560 7735 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8485 7735 1111 63 0 8422 0
vsize: 33940
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 364572 0 1 0 52022 980 0 0 25 0 1 0 806899621 35311616 7888 4294967295 134512640 134714508 3221221776 3221217820 1074873527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8621 7888 1111 63 0 8558 0
vsize: 34484
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 368563 0 1 0 53013 990 0 0 25 0 1 0 806899621 35512320 7926 4294967295 134512640 134714508 3221221776 3221218004 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8670 7926 1111 63 0 8607 0
vsize: 34680
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 370946 0 1 0 54008 994 0 0 25 0 1 0 806899621 35856384 8018 4294967295 134512640 134714508 3221221776 3221217748 1074786556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8754 8018 1111 63 0 8691 0
vsize: 35016
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 372186 0 1 0 55006 997 0 0 25 0 1 0 806899621 36020224 8064 4294967295 134512640 134714508 3221221776 3221217952 1074882650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8794 8064 1111 63 0 8731 0
vsize: 35176
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 377061 0 1 0 55995 1008 0 0 25 0 1 0 806899621 35729408 7976 4294967295 134512640 134714508 3221221776 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8723 7976 1111 63 0 8660 0
vsize: 34892
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 380166 0 1 0 56987 1016 0 0 25 0 1 0 806899621 35753984 7984 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8729 7984 1111 63 0 8666 0
vsize: 34916
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 383364 0 1 0 57978 1025 0 0 25 0 1 0 806899621 35713024 7980 4294967295 134512640 134714508 3221221776 3221218248 1074968485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8719 7980 1111 63 0 8656 0
vsize: 34876
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 387560 0 1 0 58968 1035 0 0 25 0 1 0 806899621 35737600 7988 4294967295 134512640 134714508 3221221776 3221217820 1074873501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8725 7988 1111 63 0 8662 0
vsize: 34900
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 389598 0 1 0 59964 1040 0 0 25 0 1 0 806899621 35753984 7993 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8729 7993 1111 63 0 8666 0
vsize: 34916
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 392830 0 1 0 60957 1047 0 0 25 0 1 0 806899621 35033088 7836 4294967295 134512640 134714508 3221221776 3221220076 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8553 7836 1111 63 0 8490 0
vsize: 34212
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 395023 0 1 0 61951 1054 0 0 25 0 1 0 806899621 35753984 8004 4294967295 134512640 134714508 3221221776 3221217768 1075964771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8729 8004 1111 63 0 8666 0
vsize: 34916
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 397445 0 1 0 62945 1059 0 0 25 0 1 0 806899621 35999744 8071 4294967295 134512640 134714508 3221221776 3221219840 1075961750 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8789 8071 1111 63 0 8726 0
vsize: 35156
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 403417 0 1 0 63932 1073 0 0 25 0 1 0 806899621 35590144 7935 4294967295 134512640 134714508 3221221776 3221218720 1074620373 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8689 7935 1111 63 0 8626 0
vsize: 34756
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 409835 0 1 0 64918 1087 0 0 25 0 1 0 806899621 34762752 7803 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8487 7803 1111 63 0 8424 0
vsize: 33948
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 421394 0 1 0 65891 1114 0 0 25 0 1 0 806899621 36085760 8126 4294967295 134512640 134714508 3221221776 3221220112 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8810 8126 1111 63 0 8747 0
vsize: 35240
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 425902 0 1 0 66880 1125 0 0 25 0 1 0 806899621 37425152 8396 4294967295 134512640 134714508 3221221776 3221217848 1074950184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9137 8396 1111 63 0 9074 0
vsize: 36548
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 428038 0 1 0 67875 1130 0 0 25 0 1 0 806899621 37466112 8431 4294967295 134512640 134714508 3221221776 3221217848 1074950198 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9147 8431 1111 63 0 9084 0
vsize: 36588
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 429097 0 1 0 68873 1133 0 0 25 0 1 0 806899621 36683776 8272 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8956 8272 1111 63 0 8893 0
vsize: 35824
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 431452 0 1 0 69867 1139 0 0 25 0 1 0 806899621 37515264 8468 4294967295 134512640 134714508 3221221776 3221217820 1074873478 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9159 8468 1111 63 0 9096 0
vsize: 36636
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 433818 0 1 0 70861 1145 0 0 25 0 1 0 806899621 37433344 8398 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9139 8398 1111 63 0 9076 0
vsize: 36556
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 439481 0 1 0 71848 1159 0 0 25 0 1 0 806899621 37187584 8347 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9079 8347 1111 63 0 9016 0
vsize: 36316
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 446271 0 1 0 72830 1176 0 0 25 0 1 0 806899621 37400576 8378 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9131 8378 1111 63 0 9068 0
vsize: 36524
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 450135 0 1 0 73821 1185 0 0 25 0 1 0 806899621 36806656 8302 4294967295 134512640 134714508 3221221776 3221217912 1074138319 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8986 8302 1111 63 0 8923 0
vsize: 35944
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 454041 0 1 0 74810 1196 0 0 25 0 1 0 806899621 37969920 8522 4294967295 134512640 134714508 3221221776 3221217820 1074873498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9270 8522 1111 63 0 9207 0
vsize: 37080
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 458320 0 1 0 75800 1207 0 0 25 0 1 0 806899621 38289408 8603 4294967295 134512640 134714508 3221221776 3221217848 1074950169 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9348 8603 1111 63 0 9285 0
vsize: 37392
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 462902 0 1 0 76790 1218 0 0 25 0 1 0 806899621 38416384 8670 4294967295 134512640 134714508 3221221776 3221217772 1074873465 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9379 8670 1111 63 0 9316 0
vsize: 37516
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 469987 0 1 0 77772 1236 0 0 25 0 1 0 806899621 38957056 8757 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9511 8757 1111 63 0 9448 0
vsize: 38044
[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 477121 0 1 0 78754 1254 0 0 25 0 1 0 806899621 38363136 8682 4294967295 134512640 134714508 3221221776 3221220112 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9366 8682 1111 63 0 9303 0
vsize: 37464
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 484085 0 1 0 79737 1271 0 0 25 0 1 0 806899621 39723008 8943 4294967295 134512640 134714508 3221221776 3221218768 1075338800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9698 8943 1111 63 0 9635 0
vsize: 38792
[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 489202 0 1 0 80725 1283 0 0 25 0 1 0 806899621 39272448 8848 4294967295 134512640 134714508 3221221776 3221218152 1075112561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9588 8848 1111 63 0 9525 0
vsize: 38352
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 497785 0 1 0 81705 1303 0 0 25 0 1 0 806899621 39854080 9021 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9730 9021 1111 63 0 9667 0
vsize: 38920
[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 503105 0 1 0 82692 1317 0 0 25 0 1 0 806899621 42889216 9787 4294967295 134512640 134714508 3221221776 3221219696 1075799638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10471 9787 1111 63 0 10408 0
vsize: 41884
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 507734 0 1 0 83681 1328 0 0 25 0 1 0 806899621 42004480 9571 4294967295 134512640 134714508 3221221776 3221217820 1074873504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10255 9571 1111 63 0 10192 0
vsize: 41020
[startup+860.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 507795 0 1 0 84681 1328 0 0 25 0 1 0 806899621 42250240 9632 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10315 9632 1111 63 0 10252 0
vsize: 41260
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 510326 0 1 0 85674 1335 0 0 25 0 1 0 806899621 43208704 9842 4294967295 134512640 134714508 3221221776 3221217772 1074873490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10549 9842 1111 63 0 10486 0
vsize: 42196
[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 510328 0 1 0 86674 1335 0 0 25 0 1 0 806899621 43208704 9844 4294967295 134512640 134714508 3221221776 3221217888 1075091231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10549 9844 1111 63 0 10486 0
vsize: 42196
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 515565 0 1 0 87661 1348 0 0 25 0 1 0 806899621 41185280 9358 4294967295 134512640 134714508 3221221776 3221220304 134648533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10055 9358 1111 63 0 9992 0
vsize: 40220
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 522043 0 1 0 88645 1364 0 0 25 0 1 0 806899621 42864640 9628 4294967295 134512640 134714508 3221221776 3221217820 1074873490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10465 9628 1111 63 0 10402 0
vsize: 41860
[startup+910.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 524472 0 1 0 89639 1371 0 0 25 0 1 0 806899621 44285952 10057 4294967295 134512640 134714508 3221221776 3221218988 1074206848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10812 10057 1111 63 0 10749 0
vsize: 43248
[startup+920.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 524776 0 1 0 90637 1373 0 0 25 0 1 0 806899621 42184704 9617 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10299 9617 1111 63 0 10236 0
vsize: 41196
[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 529250 0 1 0 91626 1384 0 0 25 0 1 0 806899621 44408832 10083 4294967295 134512640 134714508 3221221776 3221217820 1074873478 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10842 10083 1111 63 0 10779 0
vsize: 43368
[startup+940.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 529478 0 1 0 92626 1385 0 0 25 0 1 0 806899621 44408832 10101 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10842 10101 1111 63 0 10779 0
vsize: 43368
[startup+950.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 529676 0 1 0 93626 1385 0 0 25 0 1 0 806899621 44408832 10089 4294967295 134512640 134714508 3221221776 3221217744 1074872775 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10842 10089 1111 63 0 10779 0
vsize: 43368
[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 535691 0 1 0 94611 1400 0 0 25 0 1 0 806899621 42696704 9597 4294967295 134512640 134714508 3221221776 3221218376 1075850724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10424 9597 1111 63 0 10361 0
vsize: 41696
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 542460 0 1 0 95595 1416 0 0 25 0 1 0 806899621 42684416 9591 4294967295 134512640 134714508 3221221776 3221218004 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10421 9591 1111 63 0 10358 0
vsize: 41684
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 545382 0 1 0 96586 1425 0 0 25 0 1 0 806899621 42905600 9793 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10475 9793 1111 63 0 10412 0
vsize: 41900
[startup+990.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 547755 0 1 0 97581 1431 0 0 25 0 1 0 806899621 47104000 10809 4294967295 134512640 134714508 3221221776 3221217820 1074873478 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11500 10809 1111 63 0 11437 0
vsize: 46000
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 547777 0 1 0 98581 1431 0 0 25 0 1 0 806899621 47202304 10831 4294967295 134512640 134714508 3221221776 3221217744 1074786849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11524 10831 1111 63 0 11461 0
vsize: 46096
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 547830 0 1 0 99581 1431 0 0 25 0 1 0 806899621 47419392 10884 4294967295 134512640 134714508 3221221776 3221217688 1074789222 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11577 10884 1111 63 0 11514 0
vsize: 46308
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 547846 0 1 0 100581 1431 0 0 25 0 1 0 806899621 47484928 10900 4294967295 134512640 134714508 3221221776 3221217640 1074787033 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11593 10900 1111 63 0 11530 0
vsize: 46372
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 547848 0 1 0 101581 1431 0 0 25 0 1 0 806899621 47484928 10902 4294967295 134512640 134714508 3221221776 3221217744 1074872793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11593 10902 1111 63 0 11530 0
vsize: 46372
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 547848 0 1 0 102581 1431 0 0 25 0 1 0 806899621 47484928 10902 4294967295 134512640 134714508 3221221776 3221217952 1074882610 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11593 10902 1111 63 0 11530 0
vsize: 46372
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 547848 0 1 0 103581 1431 0 0 25 0 1 0 806899621 47484928 10902 4294967295 134512640 134714508 3221221776 3221217884 1074797346 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11593 10902 1111 63 0 11530 0
vsize: 46372
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 547848 0 1 0 104582 1431 0 0 25 0 1 0 806899621 47484928 10902 4294967295 134512640 134714508 3221221776 3221217952 1074882610 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11593 10902 1111 63 0 11530 0
vsize: 46372
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 15538
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 547914 0 1 0 105582 1431 0 0 25 0 1 0 806899621 47484928 10806 4294967295 134512640 134714508 3221221776 3221217884 1074797337 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11593 10806 1111 63 0 11530 0
vsize: 46372
[startup+1080.05 s]
Raw data (loadavg): 1.07 0.99 0.98 3/58 15578
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 548093 0 1 0 106581 1432 0 0 25 0 1 0 806899621 47484928 10823 4294967295 134512640 134714508 3221221776 3221217744 1074872793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11593 10823 1111 63 0 11530 0
vsize: 46372
[startup+1090.05 s]
Raw data (loadavg): 1.14 1.00 0.98 2/55 15591
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 550203 0 1 0 107576 1437 0 0 25 0 1 0 806899621 45899776 10476 4294967295 134512640 134714508 3221221776 3221218016 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11206 10476 1111 63 0 11143 0
vsize: 44824
[startup+1100.05 s]
Raw data (loadavg): 1.11 1.00 0.98 2/55 15591
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 550903 0 1 0 108573 1440 0 0 25 0 1 0 806899621 43483136 9934 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10616 9934 1111 63 0 10553 0
vsize: 42464
[startup+1110.05 s]
Raw data (loadavg): 1.10 1.00 0.98 2/55 15591
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 553278 0 1 0 109567 1446 0 0 25 0 1 0 806899621 48357376 10997 4294967295 134512640 134714508 3221221776 3221217772 1074873537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11806 10997 1111 63 0 11743 0
vsize: 47224
[startup+1120.05 s]
Raw data (loadavg): 1.08 1.00 0.98 2/55 15591
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 553291 0 1 0 110567 1446 0 0 25 0 1 0 806899621 48357376 11010 4294967295 134512640 134714508 3221221776 3221218648 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11806 11010 1111 63 0 11743 0
vsize: 47224
[startup+1130.05 s]
Raw data (loadavg): 1.07 1.00 0.98 2/55 15591
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 553291 0 1 0 111568 1446 0 0 25 0 1 0 806899621 48357376 11010 4294967295 134512640 134714508 3221221776 3221217828 1075964214 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11806 11010 1111 63 0 11743 0
vsize: 47224
[startup+1140.05 s]
Raw data (loadavg): 1.06 1.00 0.98 2/55 15591
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 553291 0 1 0 112568 1446 0 0 25 0 1 0 806899621 48357376 11010 4294967295 134512640 134714508 3221221776 3221217888 1074794542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11806 11010 1111 63 0 11743 0
vsize: 47224
[startup+1150.05 s]
Raw data (loadavg): 1.05 1.00 0.98 2/55 15593
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 555982 0 1 0 113561 1453 0 0 25 0 1 0 806899621 46825472 10671 4294967295 134512640 134714508 3221221776 3221217740 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11432 10671 1111 63 0 11369 0
vsize: 45728
[startup+1160.05 s]
Raw data (loadavg): 1.04 1.00 0.98 2/55 15593
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 556248 0 1 0 114560 1454 0 0 25 0 1 0 806899621 42848256 9779 4294967295 134512640 134714508 3221221776 3221219456 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10461 9779 1111 63 0 10398 0
vsize: 41844
[startup+1170.05 s]
Raw data (loadavg): 1.03 1.00 0.98 2/55 15593
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 557935 0 1 0 115557 1457 0 0 25 0 1 0 806899621 46309376 10486 4294967295 134512640 134714508 3221221776 3221217936 1074794557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11306 10486 1111 63 0 11243 0
vsize: 45224
[startup+1179.47 s]
Raw data (loadavg): 1.03 1.00 0.98 1/54 15593
Raw data (stat): 15538 (bsolo_lpr_cuts) R 15537 7876 7672 0 -1 0 557935 0 1 0 115557 1457 0 0 25 0 1 0 806899621 46309376 10486 4294967295 134512640 134714508 3221221776 3221217936 1074794557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11306 10486 1111 63 0 11243 0
vsize: 0

Child status: 0
Real time (s): 1179.47
CPU time (s): 1179.57
CPU user time (s): 1164.94
CPU system time (s): 14.6298
CPU usage (%): 100.009
Max. virtual memory (Kb): 47224
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####