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/submitted/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
MD5SUM	808390b13d2d87ec4e78f628ed3af9ba
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.021995
Number of variables	750
Total number of constraints	80
Number of constraints which are clauses	50
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	25
Trace number 23173

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 01:40:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=56 boxname=wulflinc31 idbench=7 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  808390b13d2d87ec4e78f628ed3af9ba  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl15_25_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl15_25_pb.cnf.cr.opb
IDLAUNCH: 56
/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:        932660 kB
Buffers:         35452 kB
Cached:          44740 kB
SwapCached:        864 kB
Active:          67476 kB
Inactive:        15076 kB
HighTotal:      131008 kB
HighFree:        85232 kB
LowTotal:       903652 kB
LowFree:        847428 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5512 kB
Slab:            13792 kB
Committed_AS:    63668 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 01:59:56 (client local time) WITH STATUS 0 IN 1175.17 SECONDS
stats: 56 7 1175.17 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 750 variables and 80 constraints.
c After prepocess the problem consists of 750 variables and 80 constraints.
c preprocess terminated 0.203 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (runsolver) R 6998 3722 3553 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 627588051 1056768 100 4294967295 134512640 135381576 3221221632 3221216848 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.0015 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 3685 0 0 0 982 14 0 0 25 0 1 0 627588051 18194432 3606 4294967295 134512640 134714508 3221221744 3221220416 134594331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4442 3606 1111 63 0 4379 0
vsize: 17768
[startup+20.0025 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 5283 0 0 0 1977 19 0 0 25 0 1 0 627588051 24821760 5203 4294967295 134512640 134714508 3221221744 3221220408 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6060 5203 1111 63 0 5997 0
vsize: 24240
[startup+30.0029 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 6445 0 0 0 2973 23 0 0 25 0 1 0 627588051 29597696 6364 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7226 6364 1111 63 0 7163 0
vsize: 28904
[startup+40.003 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 7330 0 0 0 3970 26 0 0 25 0 1 0 627588051 33153024 7249 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8094 7249 1111 63 0 8031 0
vsize: 32376
[startup+50.003 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 8888 0 0 0 4963 34 0 0 25 0 1 0 627588051 39657472 8807 4294967295 134512640 134714508 3221221744 3221220528 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9682 8807 1111 63 0 9619 0
vsize: 38728
[startup+60.0039 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 10182 0 0 0 5956 40 0 0 25 0 1 0 627588051 44945408 10101 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10973 10101 1111 63 0 10910 0
vsize: 43892
[startup+70.0049 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 12107 0 0 0 6949 48 0 0 25 0 1 0 627588051 52928512 12026 4294967295 134512640 134714508 3221221744 3221220448 134528647 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12922 12026 1111 63 0 12859 0
vsize: 51688
[startup+80.0058 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 13605 0 0 0 7945 52 0 0 25 0 1 0 627588051 59027456 13523 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14411 13523 1111 63 0 14348 0
vsize: 57644
[startup+90.0057 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 14545 0 0 0 8942 56 0 0 25 0 1 0 627588051 62976000 14460 4294967295 134512640 134714508 3221221744 3221220384 134696103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15375 14460 1111 63 0 15312 0
vsize: 61500
[startup+100.006 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 15577 0 0 0 9938 59 0 0 25 0 1 0 627588051 67186688 15492 4294967295 134512640 134714508 3221221744 3221220336 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16403 15492 1111 63 0 16340 0
vsize: 65612
[startup+110.007 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 16576 0 0 0 10934 64 0 0 25 0 1 0 627588051 71245824 16490 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17394 16490 1111 63 0 17331 0
vsize: 69576
[startup+120.008 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 17280 0 0 0 11931 67 0 0 25 0 1 0 627588051 74285056 17193 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18136 17193 1111 63 0 18073 0
vsize: 72544
[startup+130.009 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 18016 0 0 0 12928 70 0 0 25 0 1 0 627588051 77320192 17928 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 17928 1111 63 0 18814 0
vsize: 75508
[startup+140.009 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 18554 0 0 0 13927 72 0 0 25 0 1 0 627588051 79491072 18465 4294967295 134512640 134714508 3221221744 3221220464 134535757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19407 18465 1111 63 0 19344 0
vsize: 77628
[startup+150.009 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 18979 0 0 0 14925 73 0 0 25 0 1 0 627588051 81248256 18889 4294967295 134512640 134714508 3221221744 3221220416 134535795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19836 18889 1111 63 0 19773 0
vsize: 79344
[startup+160.01 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 20223 0 0 0 15921 78 0 0 25 0 1 0 627588051 86470656 20129 4294967295 134512640 134714508 3221221744 3221220384 134543073 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21111 20129 1111 63 0 21048 0
vsize: 84444
[startup+170.01 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 21110 0 0 0 16918 81 0 0 25 0 1 0 627588051 89985024 21016 4294967295 134512640 134714508 3221221744 3221220480 134535740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21969 21016 1111 63 0 21906 0
vsize: 87876
[startup+180.011 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 21780 0 0 0 17915 84 0 0 25 0 1 0 627588051 92692480 21686 4294967295 134512640 134714508 3221221744 3221220300 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22630 21686 1111 63 0 22567 0
vsize: 90520
[startup+190.012 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 22507 0 0 0 18913 87 0 0 25 0 1 0 627588051 95735808 22409 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23373 22409 1111 63 0 23310 0
vsize: 93492
[startup+200.012 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 23169 0 0 0 19910 89 0 0 25 0 1 0 627588051 98439168 23071 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24033 23071 1111 63 0 23970 0
vsize: 96132
[startup+210.013 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 23816 0 0 0 20908 92 0 0 25 0 1 0 627588051 101179392 23718 4294967295 134512640 134714508 3221221744 3221220352 134523374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24702 23718 1111 63 0 24639 0
vsize: 98808
[startup+220.014 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 24367 0 0 0 21905 95 0 0 25 0 1 0 627588051 103497728 24269 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25268 24269 1111 63 0 25205 0
vsize: 101072
[startup+230.015 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 24646 0 0 0 22904 96 0 0 25 0 1 0 627588051 104656896 24548 4294967295 134512640 134714508 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25551 24548 1111 63 0 25488 0
vsize: 102204
[startup+240.016 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 25566 0 0 0 23902 99 0 0 25 0 1 0 627588051 108523520 25467 4294967295 134512640 134714508 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26495 25467 1111 63 0 26432 0
vsize: 105980
[startup+250.016 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 26007 0 0 0 24900 101 0 0 25 0 1 0 627588051 110292992 25904 4294967295 134512640 134714508 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26927 25904 1111 63 0 26864 0
vsize: 107708
[startup+260.018 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 26680 0 0 0 25898 103 0 0 25 0 1 0 627588051 113172480 26576 4294967295 134512640 134714508 3221221744 3221220064 134697431 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27630 26576 1111 63 0 27567 0
vsize: 110520
[startup+270.018 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 27263 0 0 0 26896 105 0 0 25 0 1 0 627588051 115470336 27159 4294967295 134512640 134714508 3221221744 3221220388 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28191 27159 1111 63 0 28128 0
vsize: 112764
[startup+280.018 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 27743 0 0 0 27894 107 0 0 25 0 1 0 627588051 117387264 27638 4294967295 134512640 134714508 3221221744 3221220396 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27639 1111 63 0 28596 0
vsize: 114636
[startup+290.019 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 28207 0 0 0 28893 109 0 0 25 0 1 0 627588051 119279616 28102 4294967295 134512640 134714508 3221221744 3221220396 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29121 28102 1111 63 0 29058 0
vsize: 116484
[startup+300.019 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 28708 0 0 0 29891 110 0 0 25 0 1 0 627588051 121331712 28603 4294967295 134512640 134714508 3221221744 3221220396 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29622 28603 1111 63 0 29559 0
vsize: 118488
[startup+310.021 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 29069 0 0 0 30890 112 0 0 25 0 1 0 627588051 122822656 28964 4294967295 134512640 134714508 3221221744 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29986 28964 1111 63 0 29923 0
vsize: 119944
[startup+320.021 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 29479 0 0 0 31888 114 0 0 25 0 1 0 627588051 124633088 29371 4294967295 134512640 134714508 3221221744 3221220528 134529401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30428 29371 1111 63 0 30365 0
vsize: 121712
[startup+330.022 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 29887 0 0 0 32887 116 0 0 25 0 1 0 627588051 126283776 29777 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30831 29777 1111 63 0 30768 0
vsize: 123324
[startup+340.023 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 30246 0 0 0 33886 117 0 0 25 0 1 0 627588051 127819776 30132 4294967295 134512640 134714508 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31206 30132 1111 63 0 31143 0
vsize: 124824
[startup+350.023 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 30598 0 0 0 34885 118 0 0 25 0 1 0 627588051 129191936 30481 4294967295 134512640 134714508 3221221744 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31541 30481 1111 63 0 31478 0
vsize: 126164
[startup+360.024 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 30946 0 0 0 35885 118 0 0 25 0 1 0 627588051 130740224 30827 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31919 30827 1111 63 0 31856 0
vsize: 127676
[startup+370.024 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 31691 0 0 0 36882 121 0 0 25 0 1 0 627588051 133869568 31572 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32683 31572 1111 63 0 32620 0
vsize: 130732
[startup+380.025 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 32136 0 0 0 37880 123 0 0 25 0 1 0 627588051 135626752 32017 4294967295 134512640 134714508 3221221744 3221220272 134535379 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33112 32017 1111 63 0 33049 0
vsize: 132448
[startup+390.026 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 32738 0 0 0 38878 126 0 0 25 0 1 0 627588051 138055680 32619 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33705 32619 1111 63 0 33642 0
vsize: 134820
[startup+400.026 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 33245 0 0 0 39876 128 0 0 25 0 1 0 627588051 140283904 33117 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34249 33117 1111 63 0 34186 0
vsize: 136996
[startup+410.027 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 33599 0 0 0 40875 130 0 0 25 0 1 0 627588051 141635584 33471 4294967295 134512640 134714508 3221221744 3221220376 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34579 33471 1111 63 0 34516 0
vsize: 138316
[startup+420.027 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 33895 0 0 0 41874 131 0 0 25 0 1 0 627588051 142880768 33766 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34883 33766 1111 63 0 34820 0
vsize: 139532
[startup+430.028 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 34154 0 0 0 42873 132 0 0 25 0 1 0 627588051 143994880 34025 4294967295 134512640 134714508 3221221744 3221220300 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35155 34025 1111 63 0 35092 0
vsize: 140620
[startup+440.028 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 34424 0 0 0 43872 133 0 0 25 0 1 0 627588051 145076224 34295 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35419 34295 1111 63 0 35356 0
vsize: 141676
[startup+450.028 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 34689 0 0 0 44872 134 0 0 25 0 1 0 627588051 146169856 34560 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35686 34560 1111 63 0 35623 0
vsize: 142744
[startup+460.029 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 35000 0 0 0 45870 135 0 0 25 0 1 0 627588051 147427328 34869 4294967295 134512640 134714508 3221221744 3221220412 134536852 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35993 34869 1111 63 0 35930 0
vsize: 143972
[startup+470.029 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 35329 0 0 0 46869 137 0 0 25 0 1 0 627588051 148774912 35198 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36322 35198 1111 63 0 36259 0
vsize: 145288
[startup+480.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 35664 0 0 0 47868 138 0 0 25 0 1 0 627588051 150147072 35532 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36657 35532 1111 63 0 36594 0
vsize: 146628
[startup+490.031 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 35962 0 0 0 48867 139 0 0 25 0 1 0 627588051 151400448 35830 4294967295 134512640 134714508 3221221744 3221220320 134549718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36963 35830 1111 63 0 36900 0
vsize: 147852
[startup+500.032 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 36533 0 0 0 49865 142 0 0 25 0 1 0 627588051 153755648 36401 4294967295 134512640 134714508 3221221744 3221220300 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37538 36401 1111 63 0 37475 0
vsize: 150152
[startup+510.033 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 37001 0 0 0 50863 143 0 0 25 0 1 0 627588051 155713536 36862 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38016 36862 1111 63 0 37953 0
vsize: 152064
[startup+520.033 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 37354 0 0 0 51862 145 0 0 25 0 1 0 627588051 157237248 37215 4294967295 134512640 134714508 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38388 37215 1111 63 0 38325 0
vsize: 153552
[startup+530.034 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 37656 0 0 0 52861 146 0 0 25 0 1 0 627588051 158453760 37517 4294967295 134512640 134714508 3221221744 3221220240 134535442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38685 37517 1111 63 0 38622 0
vsize: 154740
[startup+540.034 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 37934 0 0 0 53860 147 0 0 25 0 1 0 627588051 159608832 37794 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38967 37794 1111 63 0 38904 0
vsize: 155868
[startup+550.034 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 38246 0 0 0 54858 149 0 0 25 0 1 0 627588051 160825344 38106 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39264 38106 1111 63 0 39201 0
vsize: 157056
[startup+560.035 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 38539 0 0 0 55858 149 0 0 25 0 1 0 627588051 162107392 38390 4294967295 134512640 134714508 3221221744 3221220504 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39577 38390 1111 63 0 39514 0
vsize: 158308
[startup+570.035 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 38814 0 0 0 56857 151 0 0 25 0 1 0 627588051 163262464 38665 4294967295 134512640 134714508 3221221744 3221220400 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39859 38665 1111 63 0 39796 0
vsize: 159436
[startup+580.036 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 39131 0 0 0 57857 151 0 0 25 0 1 0 627588051 164700160 38973 4294967295 134512640 134714508 3221221744 3221220400 134536635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40210 38973 1111 63 0 40147 0
vsize: 160840
[startup+590.037 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 39408 0 0 0 58856 153 0 0 25 0 1 0 627588051 165916672 39250 4294967295 134512640 134714508 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40507 39250 1111 63 0 40444 0
vsize: 162028
[startup+600.037 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 39652 0 0 0 59855 154 0 0 25 0 1 0 627588051 166932480 39494 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40755 39494 1111 63 0 40692 0
vsize: 163020
[startup+610.038 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 39876 0 0 0 60854 154 0 0 25 0 1 0 627588051 167878656 39718 4294967295 134512640 134714508 3221221744 3221220448 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40986 39718 1111 63 0 40923 0
vsize: 163944
[startup+620.039 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 40173 0 0 0 61854 155 0 0 25 0 1 0 627588051 168960000 40015 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41250 40015 1111 63 0 41187 0
vsize: 165000
[startup+630.04 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 40384 0 0 0 62853 156 0 0 25 0 1 0 627588051 169836544 40225 4294967295 134512640 134714508 3221221744 3221220320 134549640 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41464 40225 1111 63 0 41401 0
vsize: 165856
[startup+640.041 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 40720 0 0 0 63852 157 0 0 25 0 1 0 627588051 171253760 40552 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41810 40552 1111 63 0 41747 0
vsize: 167240
[startup+650.041 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 40954 0 0 0 64851 158 0 0 25 0 1 0 627588051 172269568 40786 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42058 40786 1111 63 0 41995 0
vsize: 168232
[startup+660.042 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 41204 0 0 0 65851 159 0 0 25 0 1 0 627588051 173432832 41034 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42342 41034 1111 63 0 42279 0
vsize: 169368
[startup+670.042 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 41454 0 0 0 66850 160 0 0 25 0 1 0 627588051 174428160 41284 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42585 41284 1111 63 0 42522 0
vsize: 170340
[startup+680.043 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 41700 0 0 0 67849 161 0 0 25 0 1 0 627588051 175374336 41530 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42816 41530 1111 63 0 42753 0
vsize: 171264
[startup+690.043 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 41948 0 0 0 68849 162 0 0 25 0 1 0 627588051 176431104 41776 4294967295 134512640 134714508 3221221744 3221220456 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43074 41776 1111 63 0 43011 0
vsize: 172296
[startup+700.044 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 42213 0 0 0 69848 163 0 0 25 0 1 0 627588051 177553408 42041 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43348 42041 1111 63 0 43285 0
vsize: 173392
[startup+710.045 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 42539 0 0 0 70847 164 0 0 25 0 1 0 627588051 178769920 42367 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43645 42367 1111 63 0 43582 0
vsize: 174580
[startup+720.044 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 42787 0 0 0 71847 164 0 0 25 0 1 0 627588051 180166656 42608 4294967295 134512640 134714508 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43986 42608 1111 63 0 43923 0
vsize: 175944
[startup+730.046 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 42999 0 0 0 72846 165 0 0 25 0 1 0 627588051 181100544 42816 4294967295 134512640 134714508 3221221744 3221220384 134523872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44214 42816 1111 63 0 44151 0
vsize: 176856
[startup+740.046 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 43288 0 0 0 73846 166 0 0 25 0 1 0 627588051 182370304 43096 4294967295 134512640 134714508 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44524 43096 1111 63 0 44461 0
vsize: 178096
[startup+750.046 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 43508 0 0 0 74845 167 0 0 25 0 1 0 627588051 183427072 43314 4294967295 134512640 134714508 3221221744 3221220456 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44782 43314 1111 63 0 44719 0
vsize: 179128
[startup+760.046 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 43709 0 0 0 75844 168 0 0 25 0 1 0 627588051 184135680 43514 4294967295 134512640 134714508 3221221744 3221220400 134536753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44955 43514 1111 63 0 44892 0
vsize: 179820
[startup+770.046 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 43873 0 0 0 76843 169 0 0 25 0 1 0 627588051 185008128 43673 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45168 43673 1111 63 0 45105 0
vsize: 180672
[startup+780.047 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 44035 0 0 0 77842 170 0 0 25 0 1 0 627588051 185597952 43834 4294967295 134512640 134714508 3221221744 3221220396 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45312 43834 1111 63 0 45249 0
vsize: 181248
[startup+790.047 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 44190 0 0 0 78842 171 0 0 25 0 1 0 627588051 186318848 43989 4294967295 134512640 134714508 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45488 43989 1111 63 0 45425 0
vsize: 181952
[startup+800.047 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 44310 0 0 0 79841 171 0 0 25 0 1 0 627588051 186785792 44107 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45602 44107 1111 63 0 45539 0
vsize: 182408
[startup+810.048 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 44495 0 0 0 80841 172 0 0 25 0 1 0 627588051 187596800 44292 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45800 44292 1111 63 0 45737 0
vsize: 183200
[startup+820.048 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 44808 0 0 0 81840 173 0 0 25 0 1 0 627588051 188813312 44605 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46097 44605 1111 63 0 46034 0
vsize: 184388
[startup+830.048 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 46156 0 0 0 82835 178 0 0 25 0 1 0 627588051 194363392 45953 4294967295 134512640 134714508 3221221744 3221220368 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47452 45953 1111 63 0 47389 0
vsize: 189808
[startup+840.048 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 47061 0 0 0 83831 182 0 0 25 0 1 0 627588051 198238208 46853 4294967295 134512640 134714508 3221221744 3221220300 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48398 46853 1111 63 0 48335 0
vsize: 193592
[startup+850.049 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 48292 0 0 0 84827 186 0 0 25 0 1 0 627588051 203239424 48084 4294967295 134512640 134714508 3221221744 3221220304 134696530 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49619 48084 1111 63 0 49556 0
vsize: 198476
[startup+860.05 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 48946 0 0 0 85825 189 0 0 25 0 1 0 627588051 205942784 48738 4294967295 134512640 134714508 3221221744 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50279 48738 1111 63 0 50216 0
vsize: 201116
[startup+870.049 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 49937 0 0 0 86821 192 0 0 25 0 1 0 627588051 210034688 49725 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51278 49725 1111 63 0 51215 0
vsize: 205112
[startup+880.049 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 50508 0 0 0 87819 195 0 0 25 0 1 0 627588051 212332544 50296 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51839 50296 1111 63 0 51776 0
vsize: 207356
[startup+890.05 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 51141 0 0 0 88817 197 0 0 25 0 1 0 627588051 214900736 50929 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52466 50929 1111 63 0 52403 0
vsize: 209864
[startup+900.05 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 51899 0 0 0 89814 200 0 0 25 0 1 0 627588051 218009600 51687 4294967295 134512640 134714508 3221221744 3221220336 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53225 51687 1111 63 0 53162 0
vsize: 212900
[startup+910.052 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 52415 0 0 0 90812 202 0 0 25 0 1 0 627588051 220172288 52203 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53753 52203 1111 63 0 53690 0
vsize: 215012
[startup+920.052 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 52958 0 0 0 91810 205 0 0 25 0 1 0 627588051 222334976 52746 4294967295 134512640 134714508 3221221744 3221220336 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54281 52746 1111 63 0 54218 0
vsize: 217124
[startup+930.052 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 53388 0 0 0 92808 207 0 0 25 0 1 0 627588051 224239616 53176 4294967295 134512640 134714508 3221221744 3221220448 134528732 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54746 53176 1111 63 0 54683 0
vsize: 218984
[startup+940.053 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 53915 0 0 0 93806 209 0 0 25 0 1 0 627588051 226402304 53701 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55274 53701 1111 63 0 55211 0
vsize: 221096
[startup+950.053 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 54182 0 0 0 94806 209 0 0 25 0 1 0 627588051 227495936 53967 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55541 53967 1111 63 0 55478 0
vsize: 222164
[startup+960.054 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 54838 0 0 0 95804 211 0 0 25 0 1 0 627588051 230195200 54622 4294967295 134512640 134714508 3221221744 3221220368 134536675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56200 54622 1111 63 0 56137 0
vsize: 224800
[startup+970.054 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 55851 0 0 0 96802 214 0 0 25 0 1 0 627588051 234418176 55634 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57231 55634 1111 63 0 57168 0
vsize: 228924
[startup+980.053 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 56493 0 0 0 97800 216 0 0 25 0 1 0 627588051 237060096 56272 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57876 56272 1111 63 0 57813 0
vsize: 231504
[startup+990.054 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 57052 0 0 0 98798 218 0 0 25 0 1 0 627588051 239357952 56831 4294967295 134512640 134714508 3221221744 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58437 56831 1111 63 0 58374 0
vsize: 233748
[startup+1000.05 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 57592 0 0 0 99796 220 0 0 25 0 1 0 627588051 241524736 57371 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58966 57371 1111 63 0 58903 0
vsize: 235864
[startup+1010.06 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 58009 0 0 0 100794 222 0 0 25 0 1 0 627588051 243146752 57788 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59362 57788 1111 63 0 59299 0
vsize: 237448
[startup+1020.06 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 58710 0 0 0 101792 225 0 0 25 0 1 0 627588051 245993472 58489 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60057 58489 1111 63 0 59994 0
vsize: 240228
[startup+1030.06 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 59140 0 0 0 102790 227 0 0 25 0 1 0 627588051 247750656 58919 4294967295 134512640 134714508 3221221744 3221220300 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60486 58919 1111 63 0 60423 0
vsize: 241944
[startup+1040.06 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 59529 0 0 0 103788 229 0 0 25 0 1 0 627588051 249397248 59308 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60888 59308 1111 63 0 60825 0
vsize: 243552
[startup+1050.06 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 59974 0 0 0 104787 230 0 0 25 0 1 0 627588051 251314176 59753 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61356 59753 1111 63 0 61293 0
vsize: 245424
[startup+1060.06 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 60358 0 0 0 105786 231 0 0 25 0 1 0 627588051 252833792 60135 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61727 60135 1111 63 0 61664 0
vsize: 246908
[startup+1070.06 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 60758 0 0 0 106785 232 0 0 25 0 1 0 627588051 254451712 60534 4294967295 134512640 134714508 3221221744 3221220396 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62122 60534 1111 63 0 62059 0
vsize: 248488
[startup+1080.06 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 60979 0 0 0 107784 234 0 0 25 0 1 0 627588051 255434752 60754 4294967295 134512640 134714508 3221221744 3221220400 134536724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62362 60754 1111 63 0 62299 0
vsize: 249448
[startup+1090.06 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 61235 0 0 0 108783 235 0 0 25 0 1 0 627588051 256405504 61008 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62599 61008 1111 63 0 62536 0
vsize: 250396
[startup+1100.06 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 61848 0 0 0 109782 237 0 0 25 0 1 0 627588051 259018752 61617 4294967295 134512640 134714508 3221221744 3221220488 134551636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63237 61618 1111 63 0 63174 0
vsize: 252948
[startup+1110.06 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 62535 0 0 0 110779 239 0 0 25 0 1 0 627588051 261722112 62304 4294967295 134512640 134714508 3221221744 3221220440 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63897 62304 1111 63 0 63834 0
vsize: 255588
[startup+1120.06 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 62885 0 0 0 111778 240 0 0 25 0 1 0 627588051 263208960 62654 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64260 62654 1111 63 0 64197 0
vsize: 257040
[startup+1130.06 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 63559 0 0 0 112776 243 0 0 25 0 1 0 627588051 265940992 63327 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64927 63327 1111 63 0 64864 0
vsize: 259708
[startup+1140.06 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 64036 0 0 0 113774 245 0 0 25 0 1 0 627588051 268034048 63795 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65438 63795 1111 63 0 65375 0
vsize: 261752
[startup+1150.06 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 64541 0 0 0 114772 247 0 0 25 0 1 0 627588051 270061568 64300 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65933 64300 1111 63 0 65870 0
vsize: 263732
[startup+1160.06 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 65018 0 0 0 115770 249 0 0 25 0 1 0 627588051 272121856 64776 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66436 64776 1111 63 0 66373 0
vsize: 265744
[startup+1170.06 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 65476 0 0 0 116768 251 0 0 25 0 1 0 627588051 273879040 65234 4294967295 134512640 134714508 3221221744 3221220528 134529404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66865 65234 1111 63 0 66802 0
vsize: 267460
[startup+1175.02 s]
Raw data (loadavg): 0.99 1.00 0.92 1/53 6999
Raw data (stat): 6999 (bsolo_lpr_cuts) R 6998 3722 3553 0 -1 0 65476 0 0 0 116768 251 0 0 25 0 1 0 627588051 273879040 65234 4294967295 134512640 134714508 3221221744 3221220528 134529404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66865 65234 1111 63 0 66802 0
vsize: 0

Child status: 0
Real time (s): 1175.02
CPU time (s): 1175.17
CPU user time (s): 1172.52
CPU system time (s): 2.6406
CPU usage (%): 100.012
Max. virtual memory (Kb): 267460
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####