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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x21.opb
MD5SUM	0d744fe957d41a18692933adc6be4af7
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1493203
Optimality of the best value was proved	NO
Number of terms in the objective function	5292
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1511880035
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1511880035
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	5292
Total number of constraints	285
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	285
Minimum length of a constraint	21
Maximum length of a constraint	420
Trace number 26884

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-24 17:38:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19268 boxname=wulflinc19 idbench=1483 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  0d744fe957d41a18692933adc6be4af7  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-ran12x21.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-ran12x21.opb
IDLAUNCH: 19268
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        461820 kB
Buffers:         10192 kB
Cached:         531316 kB
SwapCached:        520 kB
Active:          21188 kB
Inactive:       522768 kB
HighTotal:      131008 kB
HighFree:         9940 kB
LowTotal:       903652 kB
LowFree:        451880 kB
SwapTotal:     2097892 kB
SwapFree:      2096796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            23364 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:57:41 (client local time) WITH STATUS 0 IN 1175.17 SECONDS
stats: 19268 7 1175.17 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5292 variables and 318 constraints.
c After prepocess the problem consists of 2942 variables and 409 constraints.
c preprocess terminated 7.755 s
c Initial Lower Bound: 404145
c Lower Bound Elapsed time: 0.725
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.14 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.85 0.97 0.98 2/54 12733
Raw data (stat): 12733 (runsolver) R 12732 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832090270 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 9557 0 0 0 973 24 0 0 25 0 1 0 832090270 35647488 7930 4294967295 134512640 134714508 3221224576 3221222648 1074950117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8703 7930 1111 63 0 8640 0
vsize: 34812
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 16571 0 0 0 1958 39 0 0 25 0 1 0 832090270 36270080 8089 4294967295 134512640 134714508 3221224576 3221222880 1074153581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8089 1111 63 0 8792 0
vsize: 35420
[startup+30.0021 s]
Raw data (loadavg): 0.91 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 22546 0 0 0 2945 52 0 0 25 0 1 0 832090270 36270080 8091 4294967295 134512640 134714508 3221224576 3221222880 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8091 1111 63 0 8792 0
vsize: 35420
[startup+40.0016 s]
Raw data (loadavg): 0.92 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 28855 0 0 0 3931 66 0 0 25 0 1 0 832090270 37212160 8266 4294967295 134512640 134714508 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9085 8266 1111 63 0 9022 0
vsize: 36340
[startup+50.0026 s]
Raw data (loadavg): 0.93 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 35027 0 0 0 4918 79 0 0 25 0 1 0 832090270 37236736 8257 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9091 8257 1111 63 0 9028 0
vsize: 36364
[startup+60.0023 s]
Raw data (loadavg): 0.94 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 41499 0 0 0 5904 93 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221221440 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+70.0028 s]
Raw data (loadavg): 0.95 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 48105 0 0 0 6890 108 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+80.0029 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 54521 0 0 0 7874 124 0 0 25 0 1 0 832090270 36655104 8189 4294967295 134512640 134714508 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8949 8189 1111 63 0 8886 0
vsize: 35796
[startup+90.0026 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 61127 0 0 0 8862 136 0 0 25 0 1 0 832090270 37167104 8255 4294967295 134512640 134714508 3221224576 3221220604 1074788217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9074 8255 1111 63 0 9011 0
vsize: 36296
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 67818 0 0 0 9847 151 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222880 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 74263 0 0 0 10832 167 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222864 1074153823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 81016 0 0 0 11816 183 0 0 25 0 1 0 832090270 37150720 8250 4294967295 134512640 134714508 3221224576 3221220648 1074950204 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9070 8250 1111 63 0 9007 0
vsize: 36280
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 87650 0 0 0 12801 198 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 94457 0 0 0 13787 212 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+150.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 101243 0 0 0 14771 228 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 107745 0 0 0 15757 242 0 0 25 0 1 0 832090270 36823040 8230 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8990 8230 1111 63 0 8927 0
vsize: 35960
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 114459 0 0 0 16742 257 0 0 25 0 1 0 832090270 36823040 8220 4294967295 134512640 134714508 3221224576 3221222536 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8990 8221 1111 63 0 8927 0
vsize: 35960
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 121431 0 0 0 17727 272 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 128661 0 0 0 18713 287 0 0 25 0 1 0 832090270 37175296 8243 4294967295 134512640 134714508 3221224576 3221222544 1075961292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9076 8243 1111 63 0 9013 0
vsize: 36304
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 135607 0 0 0 19698 302 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 142582 0 0 0 20682 318 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 149473 0 0 0 21669 332 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 156371 0 0 0 22653 348 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 163190 0 0 0 23639 362 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222792 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 170232 0 0 0 24623 378 0 0 25 0 1 0 832090270 37150720 8225 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9070 8225 1111 63 0 9007 0
vsize: 36280
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 177193 0 0 0 25607 395 0 0 25 0 1 0 832090270 36786176 8221 4294967295 134512640 134714508 3221224576 3221222576 1074918330 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8981 8221 1111 63 0 8918 0
vsize: 35924
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 183949 0 0 0 26592 410 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221221536 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 190792 0 0 0 27576 426 0 0 25 0 1 0 832090270 36421632 8132 4294967295 134512640 134714508 3221224576 3221220576 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8892 8132 1111 63 0 8829 0
vsize: 35568
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 197542 0 0 0 28562 440 0 0 25 0 1 0 832090270 36438016 8136 4294967295 134512640 134714508 3221224576 3221220632 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8896 8136 1111 63 0 8833 0
vsize: 35584
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 204418 0 0 0 29548 455 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221223152 134650084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 211548 0 0 0 30533 470 0 0 25 0 1 0 832090270 37126144 8219 4294967295 134512640 134714508 3221224576 3221222496 1075799712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9064 8219 1111 63 0 9001 0
vsize: 36256
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 218330 0 0 0 31519 484 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221220628 1077374461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 225668 0 0 0 32504 498 0 0 25 0 1 0 832090270 36597760 8175 4294967295 134512640 134714508 3221224576 3221220780 1075562967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8935 8175 1111 63 0 8872 0
vsize: 35740
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 232780 0 0 0 33490 513 0 0 25 0 1 0 832090270 36974592 8236 4294967295 134512640 134714508 3221224576 3221220648 1074950189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9027 8236 1111 63 0 8964 0
vsize: 36108
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 239825 0 0 0 34474 529 0 0 25 0 1 0 832090270 36749312 8212 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8972 8212 1111 63 0 8909 0
vsize: 35888
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 247230 0 0 0 35459 544 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222880 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 254869 0 0 0 36442 562 0 0 25 0 1 0 832090270 37101568 8212 4294967295 134512640 134714508 3221224576 3221222712 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9058 8212 1111 63 0 8995 0
vsize: 36232
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 262255 0 0 0 37425 578 0 0 25 0 1 0 832090270 36581376 8172 4294967295 134512640 134714508 3221224576 3221221920 1074839039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8931 8172 1111 63 0 8868 0
vsize: 35724
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 269854 0 0 0 38409 595 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221222880 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 277293 0 0 0 39392 612 0 0 25 0 1 0 832090270 37089280 8210 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9055 8210 1111 63 0 8992 0
vsize: 36220
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 284729 0 0 0 40375 629 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 292021 0 0 0 41359 645 0 0 25 0 1 0 832090270 36724736 8207 4294967295 134512640 134714508 3221224576 3221222576 1074916974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8966 8207 1111 63 0 8903 0
vsize: 35864
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 299629 0 0 0 42342 662 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 306922 0 0 0 43326 679 0 0 25 0 1 0 832090270 37076992 8207 4294967295 134512640 134714508 3221224576 3221222688 1074867331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9052 8207 1111 63 0 8989 0
vsize: 36208
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 314395 0 0 0 44309 696 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221222880 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 321611 0 0 0 45294 711 0 0 25 0 1 0 832090270 36909056 8224 4294967295 134512640 134714508 3221224576 3221220572 1074788069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9011 8224 1111 63 0 8948 0
vsize: 36044
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 328588 0 0 0 46279 726 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221222912 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 335079 0 0 0 47264 741 0 0 25 0 1 0 832090270 36626432 8183 4294967295 134512640 134714508 3221224576 3221222576 1074917021 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8942 8183 1111 63 0 8879 0
vsize: 35768
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 341910 0 0 0 48250 755 0 0 25 0 1 0 832090270 36544512 8133 4294967295 134512640 134714508 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8922 8134 1111 63 0 8859 0
vsize: 35688
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 348569 0 0 0 49235 771 0 0 25 0 1 0 832090270 36409344 8130 4294967295 134512640 134714508 3221224576 3221221680 1074138827 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 8130 1111 63 0 8826 0
vsize: 35556
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 354699 0 0 0 50221 785 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221223280 134652491 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 361026 0 0 0 51206 800 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221222824 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 367154 0 0 0 52192 814 0 0 25 0 1 0 832090270 36876288 8169 4294967295 134512640 134714508 3221224576 3221222688 1074867344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 8169 1111 63 0 8940 0
vsize: 36012
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 372924 0 0 0 53180 827 0 0 25 0 1 0 832090270 36536320 8161 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8920 8161 1111 63 0 8857 0
vsize: 35680
[startup+550.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 378105 0 0 0 54168 839 0 0 25 0 1 0 832090270 36466688 8112 4294967295 134512640 134714508 3221224576 3221221856 1074140368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8903 8112 1111 63 0 8840 0
vsize: 35612
[startup+560.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 382928 0 0 0 55155 851 0 0 25 0 1 0 832090270 37031936 8222 4294967295 134512640 134714508 3221224576 3221220840 1074950124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9041 8222 1111 63 0 8978 0
vsize: 36164
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 387776 0 0 0 56143 863 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221221048 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 392017 0 0 0 57134 873 0 0 25 0 1 0 832090270 36577280 8169 4294967295 134512640 134714508 3221224576 3221221680 1074138642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8930 8169 1111 63 0 8867 0
vsize: 35720
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 395966 0 0 0 58126 881 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221221920 1074839014 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 399812 0 0 0 59117 890 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221223424 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403224 0 0 0 60108 899 0 0 25 0 1 0 832090270 36270080 8107 4294967295 134512640 134714508 3221224576 3221221880 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8107 1111 63 0 8792 0
vsize: 35420
[startup+620.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403294 0 0 0 61108 900 0 0 25 0 1 0 832090270 36270080 8109 4294967295 134512640 134714508 3221224576 3221221160 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8109 1111 63 0 8792 0
vsize: 35420
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403365 0 0 0 62108 900 0 0 25 0 1 0 832090270 36270080 8110 4294967295 134512640 134714508 3221224576 3221222320 1075646807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8110 1111 63 0 8792 0
vsize: 35420
[startup+640.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403433 0 0 0 63107 901 0 0 25 0 1 0 832090270 36270080 8110 4294967295 134512640 134714508 3221224576 3221222016 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8110 1111 63 0 8792 0
vsize: 35420
[startup+650.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403507 0 0 0 64107 901 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222192 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+660.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403579 0 0 0 65107 902 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222864 1073978447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403651 0 0 0 66106 903 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222912 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+680.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403723 0 0 0 67106 903 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222880 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+690.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403797 0 0 0 68105 904 0 0 25 0 1 0 832090270 36454400 8116 4294967295 134512640 134714508 3221224576 3221222544 1075810662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8900 8116 1111 63 0 8837 0
vsize: 35600
[startup+700.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403871 0 0 0 69105 904 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221220576 1075965301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+710.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403943 0 0 0 70104 905 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222144 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404017 0 0 0 71104 906 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221221740 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+730.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404091 0 0 0 72103 907 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222840 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404165 0 0 0 73102 907 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222928 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404241 0 0 0 74102 909 0 0 25 0 1 0 832090270 36454400 8116 4294967295 134512640 134714508 3221224576 3221222400 1075824343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8900 8116 1111 63 0 8837 0
vsize: 35600
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404317 0 0 0 75101 909 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+770.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404397 0 0 0 76100 910 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+780.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404479 0 0 0 77100 911 0 0 25 0 1 0 832090270 36454400 8116 4294967295 134512640 134714508 3221224576 3221222496 1075799503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8900 8116 1111 63 0 8837 0
vsize: 35600
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404561 0 0 0 78099 912 0 0 25 0 1 0 832090270 36454400 8116 4294967295 134512640 134714508 3221224576 3221222224 1075818272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8900 8116 1111 63 0 8837 0
vsize: 35600
[startup+800.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404643 0 0 0 79098 912 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+810.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404728 0 0 0 80098 913 0 0 25 0 1 0 832090270 36270080 8115 4294967295 134512640 134714508 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8115 1111 63 0 8792 0
vsize: 35420
[startup+820.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404812 0 0 0 81098 914 0 0 25 0 1 0 832090270 36270080 8115 4294967295 134512640 134714508 3221224576 3221222448 1074153767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8115 1111 63 0 8792 0
vsize: 35420
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404904 0 0 0 82097 915 0 0 25 0 1 0 832090270 36270080 8115 4294967295 134512640 134714508 3221224576 3221222544 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8115 1111 63 0 8792 0
vsize: 35420
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 405002 0 0 0 83096 915 0 0 25 0 1 0 832090270 36270080 8115 4294967295 134512640 134714508 3221224576 3221222696 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8115 1111 63 0 8792 0
vsize: 35420
[startup+850.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 405104 0 0 0 84096 916 0 0 25 0 1 0 832090270 36270080 8115 4294967295 134512640 134714508 3221224576 3221221680 1074138844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8115 1111 63 0 8792 0
vsize: 35420
[startup+860.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 405210 0 0 0 85095 917 0 0 25 0 1 0 832090270 36270080 8115 4294967295 134512640 134714508 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8115 1111 63 0 8792 0
vsize: 35420
[startup+870.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 405318 0 0 0 86095 918 0 0 25 0 1 0 832090270 36270080 8115 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8115 1111 63 0 8792 0
vsize: 35420
[startup+880.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 405426 0 0 0 87094 919 0 0 25 0 1 0 832090270 36450304 8117 4294967295 134512640 134714508 3221224576 3221222304 1075828211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8899 8117 1111 63 0 8836 0
vsize: 35596
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 405534 0 0 0 88093 920 0 0 25 0 1 0 832090270 36270080 8115 4294967295 134512640 134714508 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8115 1111 63 0 8792 0
vsize: 35420
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 405646 0 0 0 89093 920 0 0 25 0 1 0 832090270 36270080 8115 4294967295 134512640 134714508 3221224576 3221222960 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8115 1111 63 0 8792 0
vsize: 35420
[startup+910.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 405769 0 0 0 90092 922 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 405897 0 0 0 91091 922 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222912 1074143115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 406025 0 0 0 92091 923 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+940.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 406153 0 0 0 93090 924 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222816 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 406279 0 0 0 94089 925 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222872 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 406407 0 0 0 95089 926 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 406533 0 0 0 96088 927 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 406659 0 0 0 97087 928 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222832 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 406787 0 0 0 98086 929 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 406911 0 0 0 99085 930 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221220540 1074860649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 407031 0 0 0 100084 931 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 407155 0 0 0 101084 932 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222472 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 407279 0 0 0 102083 933 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222616 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 407401 0 0 0 103082 934 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 407527 0 0 0 104081 935 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 407655 0 0 0 105080 936 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 407785 0 0 0 106079 937 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 407911 0 0 0 107078 938 0 0 25 0 1 0 832090270 36450304 8118 4294967295 134512640 134714508 3221224576 3221222608 1075088363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35596
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 408041 0 0 0 108078 939 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 408175 0 0 0 109077 940 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222320 1075640405 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 408301 0 0 0 110076 942 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 408429 0 0 0 111074 943 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222640 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 408557 0 0 0 112074 944 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222560 1074052248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 408685 0 0 0 113073 945 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222648 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 408811 0 0 0 114073 946 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 408937 0 0 0 115072 947 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222320 1075646688 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 409063 0 0 0 116071 949 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222672 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1174.99 s]
Raw data (loadavg): 0.99 0.97 0.98 1/53 12733
Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 409063 0 0 0 116071 949 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222672 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.17
CPU user time (s): 1165.65
CPU system time (s): 9.51155
CPU usage (%): 100.015
Max. virtual memory (Kb): 36364
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####