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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUM	552cc7fcebca47ae66a3cb1c13679513
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	103
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4602
Total number of constraints	34781
Number of constraints which are clauses	29160
Number of constraints which are cardinality constraints (but not clauses)	5543
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 24933

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 01:41:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3224 boxname=wulflinc31 idbench=359 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  552cc7fcebca47ae66a3cb1c13679513  /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-11,19,21.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-11,19,21.opb
IDLAUNCH: 3224
/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:        819644 kB
Buffers:         40408 kB
Cached:         152752 kB
SwapCached:       1932 kB
Active:         157636 kB
Inactive:        38740 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        819392 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            13048 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 02:01:28 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 3224 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4602 variables and 30353 constraints.
c After prepocess the problem consists of 4602 variables and 30353 constraints.
c preprocess terminated 51.43 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.97 0.99 2/55 30091
Raw data (stat): 30091 (runsolver) R 30090 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 748571067 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 45128 0 0 0 880 116 0 0 25 0 1 0 748571067 51826688 11794 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12653 11794 1111 63 0 12590 0
vsize: 50612
[startup+20.001 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 123852 0 0 0 1682 314 0 0 25 0 1 0 748571067 51826688 11794 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12653 11794 1111 63 0 12590 0
vsize: 50612
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 132707 0 0 0 2660 336 0 0 25 0 1 0 748571067 70246400 16291 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16291 1111 63 0 17087 0
vsize: 68600
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 144542 0 0 0 3629 367 0 0 25 0 1 0 748571067 70246400 16291 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16291 1111 63 0 17087 0
vsize: 68600
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151577 0 0 0 4612 385 0 0 25 0 1 0 748571067 70246400 16291 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16291 1111 63 0 17087 0
vsize: 68600
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 5608 388 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 6607 389 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220284 134535978 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 7606 391 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220320 134543051 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 8605 392 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 9604 393 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220496 134584759 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 10603 394 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220400 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 11602 396 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 12601 397 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 13600 398 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220448 134535762 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 14599 399 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 15599 400 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220416 134539362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 16597 401 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 17596 402 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 18595 403 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220412 134543760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 19594 405 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220416 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 20592 406 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220480 134528702 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 21592 407 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220216 1077377495 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 22591 408 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151593 0 0 0 23590 409 0 0 25 0 1 0 748571067 70246400 16307 4294967295 134512640 134714508 3221221776 3221220368 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151624 0 0 0 24590 410 0 0 25 0 1 0 748571067 70381568 16338 4294967295 134512640 134714508 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17183 16338 1111 63 0 17120 0
vsize: 68732
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151771 0 0 0 25588 411 0 0 25 0 1 0 748571067 71036928 16485 4294967295 134512640 134714508 3221221776 3221220560 134529344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17343 16485 1111 63 0 17280 0
vsize: 69372
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151899 0 0 0 26587 412 0 0 25 0 1 0 748571067 71573504 16613 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17474 16613 1111 63 0 17411 0
vsize: 69896
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 151992 0 0 0 27587 413 0 0 25 0 1 0 748571067 71979008 16706 4294967295 134512640 134714508 3221221776 3221220600 134590046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17573 16706 1111 63 0 17510 0
vsize: 70292
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 152079 0 0 0 28586 414 0 0 25 0 1 0 748571067 72245248 16793 4294967295 134512640 134714508 3221221776 3221220448 134652831 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17638 16793 1111 63 0 17575 0
vsize: 70552
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 152128 0 0 0 29586 415 0 0 25 0 1 0 748571067 72515584 16842 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17704 16842 1111 63 0 17641 0
vsize: 70816
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 152186 0 0 0 30585 415 0 0 25 0 1 0 748571067 72773632 16900 4294967295 134512640 134714508 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17767 16900 1111 63 0 17704 0
vsize: 71068
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 152325 0 0 0 31584 416 0 0 25 0 1 0 748571067 73314304 17039 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17899 17039 1111 63 0 17836 0
vsize: 71596
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 152452 0 0 0 32584 417 0 0 25 0 1 0 748571067 73854976 17166 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18031 17166 1111 63 0 17968 0
vsize: 72124
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 152532 0 0 0 33582 419 0 0 25 0 1 0 748571067 74125312 17246 4294967295 134512640 134714508 3221221776 3221220456 134523849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18097 17246 1111 63 0 18034 0
vsize: 72388
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 152607 0 0 0 34582 420 0 0 25 0 1 0 748571067 74530816 17321 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18196 17321 1111 63 0 18133 0
vsize: 72784
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 152710 0 0 0 35581 420 0 0 25 0 1 0 748571067 74907648 17424 4294967295 134512640 134714508 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18288 17424 1111 63 0 18225 0
vsize: 73152
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 152756 0 0 0 36581 421 0 0 25 0 1 0 748571067 75042816 17470 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18321 17470 1111 63 0 18258 0
vsize: 73284
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 152865 0 0 0 37580 421 0 0 25 0 1 0 748571067 75583488 17579 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18453 17579 1111 63 0 18390 0
vsize: 73812
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 153015 0 0 0 38580 422 0 0 25 0 1 0 748571067 76107776 17729 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18581 17729 1111 63 0 18518 0
vsize: 74324
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 153144 0 0 0 39580 422 0 0 25 0 1 0 748571067 76648448 17858 4294967295 134512640 134714508 3221221776 3221220416 134613411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18713 17858 1111 63 0 18650 0
vsize: 74852
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 153249 0 0 0 40579 423 0 0 25 0 1 0 748571067 77058048 17963 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18813 17963 1111 63 0 18750 0
vsize: 75252
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 153337 0 0 0 41579 423 0 0 25 0 1 0 748571067 77447168 18051 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18908 18051 1111 63 0 18845 0
vsize: 75632
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 153342 0 0 0 42579 424 0 0 25 0 1 0 748571067 77447168 18056 4294967295 134512640 134714508 3221221776 3221220416 134613660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18908 18056 1111 63 0 18845 0
vsize: 75632
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 153448 0 0 0 43578 425 0 0 25 0 1 0 748571067 77852672 18162 4294967295 134512640 134714508 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19007 18162 1111 63 0 18944 0
vsize: 76028
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 153520 0 0 0 44578 425 0 0 25 0 1 0 748571067 78258176 18234 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19106 18234 1111 63 0 19043 0
vsize: 76424
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 153553 0 0 0 45577 426 0 0 25 0 1 0 748571067 78372864 18267 4294967295 134512640 134714508 3221221776 3221220380 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19134 18267 1111 63 0 19071 0
vsize: 76536
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 153615 0 0 0 46576 427 0 0 25 0 1 0 748571067 78643200 18329 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19200 18329 1111 63 0 19137 0
vsize: 76800
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 153650 0 0 0 47576 428 0 0 25 0 1 0 748571067 78778368 18364 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19233 18364 1111 63 0 19170 0
vsize: 76932
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 153713 0 0 0 48576 428 0 0 25 0 1 0 748571067 79048704 18427 4294967295 134512640 134714508 3221221776 3221220408 134696001 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19299 18427 1111 63 0 19236 0
vsize: 77196
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 153762 0 0 0 49575 429 0 0 25 0 1 0 748571067 79167488 18476 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19328 18476 1111 63 0 19265 0
vsize: 77312
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 153805 0 0 0 50575 429 0 0 25 0 1 0 748571067 79437824 18519 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19394 18519 1111 63 0 19331 0
vsize: 77576
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 153817 0 0 0 51575 430 0 0 25 0 1 0 748571067 79392768 18531 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19383 18531 1111 63 0 19320 0
vsize: 77532
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 153921 0 0 0 52574 430 0 0 25 0 1 0 748571067 79798272 18635 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19482 18635 1111 63 0 19419 0
vsize: 77928
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 153973 0 0 0 53574 431 0 0 25 0 1 0 748571067 80039936 18687 4294967295 134512640 134714508 3221221776 3221220536 134552561 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19541 18687 1111 63 0 19478 0
vsize: 78164
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 154063 0 0 0 54574 432 0 0 25 0 1 0 748571067 80445440 18777 4294967295 134512640 134714508 3221221776 3221220360 134549708 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19640 18777 1111 63 0 19577 0
vsize: 78560
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 154149 0 0 0 55573 432 0 0 25 0 1 0 748571067 80777216 18863 4294967295 134512640 134714508 3221221776 3221220544 134529281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19721 18863 1111 63 0 19658 0
vsize: 78884
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 154184 0 0 0 56573 433 0 0 25 0 1 0 748571067 80912384 18898 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19754 18898 1111 63 0 19691 0
vsize: 79016
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 154227 0 0 0 57573 433 0 0 25 0 1 0 748571067 81047552 18941 4294967295 134512640 134714508 3221221776 3221220180 134697180 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19787 18941 1111 63 0 19724 0
vsize: 79148
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 154251 0 0 0 58572 434 0 0 25 0 1 0 748571067 81182720 18965 4294967295 134512640 134714508 3221221776 3221220416 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19820 18965 1111 63 0 19757 0
vsize: 79280
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 154281 0 0 0 59572 434 0 0 25 0 1 0 748571067 81317888 18995 4294967295 134512640 134714508 3221221776 3221220404 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19853 18995 1111 63 0 19790 0
vsize: 79412
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 154344 0 0 0 60571 435 0 0 25 0 1 0 748571067 81637376 19058 4294967295 134512640 134714508 3221221776 3221220344 1077377712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19931 19058 1111 63 0 19868 0
vsize: 79724
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 154428 0 0 0 61571 435 0 0 25 0 1 0 748571067 81879040 19142 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19990 19142 1111 63 0 19927 0
vsize: 79960
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 154523 0 0 0 62571 435 0 0 25 0 1 0 748571067 82284544 19237 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20089 19237 1111 63 0 20026 0
vsize: 80356
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 154567 0 0 0 63571 436 0 0 25 0 1 0 748571067 82542592 19281 4294967295 134512640 134714508 3221221776 3221220364 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20152 19281 1111 63 0 20089 0
vsize: 80608
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 154664 0 0 0 64570 437 0 0 25 0 1 0 748571067 82948096 19378 4294967295 134512640 134714508 3221221776 3221220408 134543090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20251 19378 1111 63 0 20188 0
vsize: 81004
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 154726 0 0 0 65569 438 0 0 25 0 1 0 748571067 83083264 19440 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20284 19440 1111 63 0 20221 0
vsize: 81136
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 154886 0 0 0 66567 439 0 0 25 0 1 0 748571067 83746816 19600 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20446 19600 1111 63 0 20383 0
vsize: 81784
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 154973 0 0 0 67567 440 0 0 25 0 1 0 748571067 84135936 19687 4294967295 134512640 134714508 3221221776 3221220528 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20541 19687 1111 63 0 20478 0
vsize: 82164
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 154973 0 0 0 68566 441 0 0 25 0 1 0 748571067 84135936 19687 4294967295 134512640 134714508 3221221776 3221220284 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20541 19687 1111 63 0 20478 0
vsize: 82164
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 155031 0 0 0 69566 441 0 0 25 0 1 0 748571067 84406272 19745 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20607 19745 1111 63 0 20544 0
vsize: 82428
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 155142 0 0 0 70566 442 0 0 25 0 1 0 748571067 84811776 19856 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20706 19856 1111 63 0 20643 0
vsize: 82824
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 155227 0 0 0 71565 442 0 0 25 0 1 0 748571067 85217280 19941 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20805 19941 1111 63 0 20742 0
vsize: 83220
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 155331 0 0 0 72565 443 0 0 25 0 1 0 748571067 85622784 20045 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20904 20045 1111 63 0 20841 0
vsize: 83616
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 155362 0 0 0 73564 443 0 0 25 0 1 0 748571067 85757952 20076 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20937 20076 1111 63 0 20874 0
vsize: 83748
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 155405 0 0 0 74564 444 0 0 25 0 1 0 748571067 85893120 20119 4294967295 134512640 134714508 3221221776 3221220504 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20970 20119 1111 63 0 20907 0
vsize: 83880
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 155452 0 0 0 75564 444 0 0 25 0 1 0 748571067 86163456 20166 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21036 20166 1111 63 0 20973 0
vsize: 84144
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 155527 0 0 0 76563 445 0 0 25 0 1 0 748571067 86392832 20241 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21092 20241 1111 63 0 21029 0
vsize: 84368
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 155564 0 0 0 77563 446 0 0 25 0 1 0 748571067 86515712 20278 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21122 20278 1111 63 0 21059 0
vsize: 84488
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 155621 0 0 0 78562 447 0 0 25 0 1 0 748571067 86786048 20335 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21188 20335 1111 63 0 21125 0
vsize: 84752
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 155654 0 0 0 79562 447 0 0 25 0 1 0 748571067 86921216 20368 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21221 20368 1111 63 0 21158 0
vsize: 84884
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 155705 0 0 0 80561 448 0 0 25 0 1 0 748571067 87191552 20419 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21287 20419 1111 63 0 21224 0
vsize: 85148
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 155795 0 0 0 81560 449 0 0 25 0 1 0 748571067 87457792 20509 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21352 20509 1111 63 0 21289 0
vsize: 85408
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 155904 0 0 0 82559 450 0 0 25 0 1 0 748571067 87953408 20618 4294967295 134512640 134714508 3221221776 3221220448 134535793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21473 20618 1111 63 0 21410 0
vsize: 85892
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 155962 0 0 0 83559 451 0 0 25 0 1 0 748571067 88223744 20676 4294967295 134512640 134714508 3221221776 3221220304 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21539 20676 1111 63 0 21476 0
vsize: 86156
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156035 0 0 0 84558 451 0 0 25 0 1 0 748571067 88494080 20749 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21605 20749 1111 63 0 21542 0
vsize: 86420
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156080 0 0 0 85557 453 0 0 25 0 1 0 748571067 88629248 20794 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21638 20794 1111 63 0 21575 0
vsize: 86552
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156112 0 0 0 86557 453 0 0 25 0 1 0 748571067 88764416 20826 4294967295 134512640 134714508 3221221776 3221220416 134696072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21671 20826 1111 63 0 21608 0
vsize: 86684
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156143 0 0 0 87557 454 0 0 25 0 1 0 748571067 88899584 20857 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21704 20857 1111 63 0 21641 0
vsize: 86816
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156145 0 0 0 88557 454 0 0 25 0 1 0 748571067 88899584 20859 4294967295 134512640 134714508 3221221776 3221220380 134536848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21704 20859 1111 63 0 21641 0
vsize: 86816
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156234 0 0 0 89556 455 0 0 25 0 1 0 748571067 89280512 20948 4294967295 134512640 134714508 3221221776 3221220100 134697180 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21797 20948 1111 63 0 21734 0
vsize: 87188
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156304 0 0 0 90555 456 0 0 25 0 1 0 748571067 89657344 21018 4294967295 134512640 134714508 3221221776 3221220516 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21889 21018 1111 63 0 21826 0
vsize: 87556
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156392 0 0 0 91554 457 0 0 25 0 1 0 748571067 89927680 21106 4294967295 134512640 134714508 3221221776 3221220284 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21955 21106 1111 63 0 21892 0
vsize: 87820
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156415 0 0 0 92555 457 0 0 25 0 1 0 748571067 90062848 21129 4294967295 134512640 134714508 3221221776 3221220516 134558500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21988 21129 1111 63 0 21925 0
vsize: 87952
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156486 0 0 0 93554 458 0 0 25 0 1 0 748571067 90333184 21200 4294967295 134512640 134714508 3221221776 3221220464 134594338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22054 21200 1111 63 0 21991 0
vsize: 88216
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156556 0 0 0 94553 458 0 0 25 0 1 0 748571067 90599424 21270 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22119 21270 1111 63 0 22056 0
vsize: 88476
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156560 0 0 0 95553 459 0 0 25 0 1 0 748571067 90599424 21274 4294967295 134512640 134714508 3221221776 3221220404 134696248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22119 21274 1111 63 0 22056 0
vsize: 88476
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156604 0 0 0 96553 459 0 0 25 0 1 0 748571067 90857472 21318 4294967295 134512640 134714508 3221221776 3221220416 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22182 21318 1111 63 0 22119 0
vsize: 88728
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156678 0 0 0 97552 460 0 0 25 0 1 0 748571067 91107328 21392 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22243 21392 1111 63 0 22180 0
vsize: 88972
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156735 0 0 0 98552 461 0 0 25 0 1 0 748571067 91361280 21449 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22305 21449 1111 63 0 22242 0
vsize: 89220
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156791 0 0 0 99551 461 0 0 25 0 1 0 748571067 91619328 21505 4294967295 134512640 134714508 3221221776 3221220352 134549640 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22368 21505 1111 63 0 22305 0
vsize: 89472
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156829 0 0 0 100551 462 0 0 25 0 1 0 748571067 91754496 21543 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22401 21543 1111 63 0 22338 0
vsize: 89604
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156850 0 0 0 101551 462 0 0 25 0 1 0 748571067 91803648 21564 4294967295 134512640 134714508 3221221776 3221220272 134535391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22413 21564 1111 63 0 22350 0
vsize: 89652
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156872 0 0 0 102550 463 0 0 25 0 1 0 748571067 91938816 21586 4294967295 134512640 134714508 3221221776 3221220496 134529113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22446 21586 1111 63 0 22383 0
vsize: 89784
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 156911 0 0 0 103550 464 0 0 25 0 1 0 748571067 92069888 21625 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22478 21625 1111 63 0 22415 0
vsize: 89912
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 157007 0 0 0 104549 464 0 0 25 0 1 0 748571067 92471296 21721 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22576 21721 1111 63 0 22513 0
vsize: 90304
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 157054 0 0 0 105549 465 0 0 25 0 1 0 748571067 92741632 21768 4294967295 134512640 134714508 3221221776 3221220492 134543760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21768 1111 63 0 22579 0
vsize: 90568
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 157071 0 0 0 106549 465 0 0 25 0 1 0 748571067 92741632 21785 4294967295 134512640 134714508 3221221776 3221220424 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21785 1111 63 0 22579 0
vsize: 90568
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 157167 0 0 0 107548 466 0 0 25 0 1 0 748571067 93134848 21881 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22738 21881 1111 63 0 22675 0
vsize: 90952
[startup+1090.87 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30091
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 157187 0 0 0 108632 466 0 0 25 0 1 0 748571067 93270016 21901 4294967295 134512640 134714508 3221221776 3221220336 134551998 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22771 21901 1111 63 0 22708 0
vsize: 91084
[startup+1100.91 s]
Raw data (loadavg): 1.15 1.00 1.00 3/58 30131
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 157288 0 0 0 109635 467 0 0 25 0 1 0 748571067 93646848 22002 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22863 22002 1111 63 0 22800 0
vsize: 91452
[startup+1110.91 s]
Raw data (loadavg): 1.20 1.02 1.00 3/57 30138
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 157303 0 0 0 110635 467 0 0 25 0 1 0 748571067 93646848 22017 4294967295 134512640 134714508 3221221776 3221220504 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22863 22017 1111 63 0 22800 0
vsize: 91452
[startup+1120.91 s]
Raw data (loadavg): 1.33 1.05 1.01 2/55 30144
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 157323 0 0 0 111635 468 0 0 25 0 1 0 748571067 93782016 22037 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22896 22037 1111 63 0 22833 0
vsize: 91584
[startup+1130.91 s]
Raw data (loadavg): 1.27 1.05 1.01 2/55 30144
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 157323 0 0 0 112635 468 0 0 25 0 1 0 748571067 93782016 22037 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22896 22037 1111 63 0 22833 0
vsize: 91584
[startup+1140.91 s]
Raw data (loadavg): 1.23 1.05 1.01 2/55 30144
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 157363 0 0 0 113635 468 0 0 25 0 1 0 748571067 93917184 22077 4294967295 134512640 134714508 3221221776 3221220512 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22929 22077 1111 63 0 22866 0
vsize: 91716
[startup+1150.91 s]
Raw data (loadavg): 1.20 1.05 1.01 2/55 30144
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 157429 0 0 0 114634 469 0 0 25 0 1 0 748571067 94179328 22143 4294967295 134512640 134714508 3221221776 3221220284 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22993 22143 1111 63 0 22930 0
vsize: 91972
[startup+1160.91 s]
Raw data (loadavg): 1.16 1.04 1.01 2/55 30144
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 157493 0 0 0 115634 470 0 0 25 0 1 0 748571067 94449664 22207 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23059 22207 1111 63 0 22996 0
vsize: 92236
[startup+1170.91 s]
Raw data (loadavg): 1.14 1.04 1.01 2/55 30144
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 157551 0 0 0 116633 470 0 0 25 0 1 0 748571067 94691328 22265 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23118 22265 1111 63 0 23055 0
vsize: 92472
[startup+1174.94 s]
Raw data (loadavg): 1.13 1.04 1.01 1/54 30144
Raw data (stat): 30091 (bsolo_lpr_cuts) R 30090 7876 7672 0 -1 0 157551 0 0 0 116633 470 0 0 25 0 1 0 748571067 94691328 22265 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23118 22265 1111 63 0 23055 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.07
CPU user time (s): 1170.32
CPU system time (s): 4.75228
CPU usage (%): 100.011
Max. virtual memory (Kb): 92472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####