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/unibo/normalized-mps-v2-13-7-berlin_5_8_0.opb
MD5SUM	96d7d5bfca5320061ed7cb61443916ee
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	7936
Optimality of the best value was proved	NO
Number of terms in the objective function	68
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1054719
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	128000000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	268497406
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	8590
Total number of constraints	2614
Number of constraints which are clauses	309
Number of constraints which are cardinality constraints (but not clauses)	794
Number of constraints which are nor clauses,nor cardinality constraints	1511
Minimum length of a constraint	1
Maximum length of a constraint	55
Trace number 41691

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 19:55:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29749 boxname=wulflinc3 idbench=1533 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  96d7d5bfca5320061ed7cb61443916ee  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-berlin_5_8_0.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-berlin_5_8_0.opb
IDLAUNCH: 29749
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 2
cpu MHz		: 451.190
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:        763216 kB
Buffers:         22036 kB
Cached:         229348 kB
SwapCached:        692 kB
Active:          33256 kB
Inactive:       220124 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        762964 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            12344 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 20:14:37 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 29749 7 1175.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8590 variables and 1821 constraints.
c After prepocess the problem consists of 8545 variables and 1819 constraints.
c preprocess terminated 7.547 s
c Initial Lower Bound: 6656
c Lower Bound Elapsed time: 4.587
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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/54 14799
Raw data (stat): 14799 (runsolver) R 14798 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912947793 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 16437 0 0 0 960 37 0 0 25 0 1 0 912947793 70615040 16355 4294967295 134512640 134716908 3221224560 3221222224 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17240 16355 1111 63 0 17177 0
vsize: 68960
[startup+20 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 21400 0 0 0 1948 49 0 0 25 0 1 0 912947793 70955008 16563 4294967295 134512640 134716908 3221224560 3221222768 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17323 16563 1111 63 0 17260 0
vsize: 69292
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 26187 0 0 0 2937 60 0 0 25 0 1 0 912947793 70971392 16569 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17327 16569 1111 63 0 17264 0
vsize: 69308
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 26188 0 0 0 3937 61 0 0 25 0 1 0 912947793 70971392 16570 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17327 16570 1111 63 0 17264 0
vsize: 69308
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 26190 0 0 0 4937 61 0 0 25 0 1 0 912947793 70971392 16572 4294967295 134512640 134716908 3221224560 3221223232 134594375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17327 16572 1111 63 0 17264 0
vsize: 69308
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 26190 0 0 0 5936 61 0 0 25 0 1 0 912947793 70971392 16572 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17327 16572 1111 63 0 17264 0
vsize: 69308
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 27193 0 0 0 6933 65 0 0 25 0 1 0 912947793 75169792 17575 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18352 17575 1111 63 0 18289 0
vsize: 73408
[startup+80.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 28339 0 0 0 7930 68 0 0 25 0 1 0 912947793 79912960 18721 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19510 18721 1111 63 0 19447 0
vsize: 78040
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 29459 0 0 0 8926 72 0 0 25 0 1 0 912947793 84504576 19841 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20631 19841 1111 63 0 20568 0
vsize: 82524
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 30578 0 0 0 9923 75 0 0 25 0 1 0 912947793 89092096 20960 4294967295 134512640 134716908 3221224560 3221223072 134535985 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21751 20960 1111 63 0 21688 0
vsize: 87004
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 31716 0 0 0 10920 79 0 0 25 0 1 0 912947793 93720576 22096 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22881 22096 1111 63 0 22818 0
vsize: 91524
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 32818 0 0 0 11917 82 0 0 25 0 1 0 912947793 98189312 23197 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23972 23197 1111 63 0 23909 0
vsize: 95888
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 33914 0 0 0 12915 84 0 0 25 0 1 0 912947793 102785024 24290 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25094 24290 1111 63 0 25031 0
vsize: 100376
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 35018 0 0 0 13911 88 0 0 25 0 1 0 912947793 107274240 25393 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25393 1111 63 0 26127 0
vsize: 104760
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 36122 0 0 0 14908 91 0 0 25 0 1 0 912947793 111869952 26497 4294967295 134512640 134716908 3221224560 3221222988 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27312 26498 1111 63 0 27249 0
vsize: 109248
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 37221 0 0 0 15906 94 0 0 25 0 1 0 912947793 116330496 27596 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28401 27596 1111 63 0 28338 0
vsize: 113604
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 38359 0 0 0 16902 97 0 0 25 0 1 0 912947793 120983552 28729 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29537 28729 1111 63 0 29474 0
vsize: 118148
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 39438 0 0 0 17899 101 0 0 25 0 1 0 912947793 125444096 29808 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30626 29808 1111 63 0 30563 0
vsize: 122504
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 40513 0 0 0 18895 106 0 0 25 0 1 0 912947793 129904640 30882 4294967295 134512640 134716908 3221224560 3221223000 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31715 30882 1111 63 0 31652 0
vsize: 126860
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 41616 0 0 0 19892 109 0 0 25 0 1 0 912947793 134471680 31975 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32830 31975 1111 63 0 32767 0
vsize: 131320
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 42698 0 0 0 20889 112 0 0 25 0 1 0 912947793 138928128 33057 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33918 33057 1111 63 0 33855 0
vsize: 135672
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 43784 0 0 0 21886 115 0 0 25 0 1 0 912947793 143388672 34143 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35007 34143 1111 63 0 34944 0
vsize: 140028
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 44871 0 0 0 22883 118 0 0 25 0 1 0 912947793 147849216 35230 4294967295 134512640 134716908 3221224560 3221223360 134597733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36096 35230 1111 63 0 36033 0
vsize: 144384
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 45948 0 0 0 23879 122 0 0 25 0 1 0 912947793 152170496 36307 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37151 36307 1111 63 0 37088 0
vsize: 148604
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 46990 0 0 0 24876 125 0 0 25 0 1 0 912947793 156495872 37349 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38207 37349 1111 63 0 38144 0
vsize: 152828
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 47931 0 0 0 25874 128 0 0 25 0 1 0 912947793 160280576 38290 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39131 38290 1111 63 0 39068 0
vsize: 156524
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 48771 0 0 0 26871 130 0 0 25 0 1 0 912947793 163794944 39130 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39989 39130 1111 63 0 39926 0
vsize: 159956
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 49546 0 0 0 27870 132 0 0 25 0 1 0 912947793 166903808 39905 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40748 39905 1111 63 0 40685 0
vsize: 162992
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 50258 0 0 0 28867 135 0 0 25 0 1 0 912947793 169873408 40617 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41473 40617 1111 63 0 41410 0
vsize: 165892
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14799
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 50932 0 0 0 29865 137 0 0 25 0 1 0 912947793 172576768 41291 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42133 41291 1111 63 0 42070 0
vsize: 168532
[startup+310.009 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 14852
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51429 0 0 0 30864 139 0 0 25 0 1 0 912947793 174645248 41765 4294967295 134512640 134716908 3221224560 3221223336 134613544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42638 41765 1111 63 0 42575 0
vsize: 170552
[startup+320.009 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 14852
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51438 0 0 0 31863 139 0 0 25 0 1 0 912947793 174645248 41774 4294967295 134512640 134716908 3221224560 3221223248 134551890 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42638 41774 1111 63 0 42575 0
vsize: 170552
[startup+330.011 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 14852
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51448 0 0 0 32863 140 0 0 25 0 1 0 912947793 174780416 41784 4294967295 134512640 134716908 3221224560 3221223360 134597733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42671 41784 1111 63 0 42608 0
vsize: 170684
[startup+340.011 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14852
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51459 0 0 0 33863 140 0 0 25 0 1 0 912947793 174780416 41795 4294967295 134512640 134716908 3221224560 3221223360 134597703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42671 41795 1111 63 0 42608 0
vsize: 170684
[startup+350.011 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14852
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51473 0 0 0 34863 140 0 0 25 0 1 0 912947793 174780416 41809 4294967295 134512640 134716908 3221224560 3221223360 134597703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42671 41809 1111 63 0 42608 0
vsize: 170684
[startup+360.012 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14852
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51486 0 0 0 35863 141 0 0 25 0 1 0 912947793 174936064 41821 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42709 41821 1111 63 0 42646 0
vsize: 170836
[startup+370.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14852
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51487 0 0 0 36862 141 0 0 25 0 1 0 912947793 174936064 41822 4294967295 134512640 134716908 3221224560 3221223360 134597648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42709 41822 1111 63 0 42646 0
vsize: 170836
[startup+380.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51488 0 0 0 37862 142 0 0 25 0 1 0 912947793 174936064 41823 4294967295 134512640 134716908 3221224560 3221223360 134597728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42709 41823 1111 63 0 42646 0
vsize: 170836
[startup+390.012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51489 0 0 0 38862 142 0 0 25 0 1 0 912947793 174936064 41824 4294967295 134512640 134716908 3221224560 3221223360 134597703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42709 41824 1111 63 0 42646 0
vsize: 170836
[startup+400.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51523 0 0 0 39861 143 0 0 25 0 1 0 912947793 175079424 41854 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42744 41854 1111 63 0 42681 0
vsize: 170976
[startup+410.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51524 0 0 0 40861 144 0 0 25 0 1 0 912947793 175079424 41855 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42744 41855 1111 63 0 42681 0
vsize: 170976
[startup+420.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51530 0 0 0 41861 144 0 0 25 0 1 0 912947793 175079424 41861 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42744 41861 1111 63 0 42681 0
vsize: 170976
[startup+430.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51540 0 0 0 42861 144 0 0 25 0 1 0 912947793 175079424 41871 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42744 41871 1111 63 0 42681 0
vsize: 170976
[startup+440.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51548 0 0 0 43860 145 0 0 25 0 1 0 912947793 175222784 41879 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42779 41879 1111 63 0 42716 0
vsize: 171116
[startup+450.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51557 0 0 0 44860 145 0 0 25 0 1 0 912947793 175222784 41888 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42779 41888 1111 63 0 42716 0
vsize: 171116
[startup+460.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51610 0 0 0 45860 146 0 0 25 0 1 0 912947793 175558656 41932 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42861 41932 1111 63 0 42798 0
vsize: 171444
[startup+470.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51612 0 0 0 46859 146 0 0 25 0 1 0 912947793 175558656 41934 4294967295 134512640 134716908 3221224560 3221223320 134613538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42861 41934 1111 63 0 42798 0
vsize: 171444
[startup+480.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51614 0 0 0 47859 147 0 0 25 0 1 0 912947793 175558656 41936 4294967295 134512640 134716908 3221224560 3221223328 134597634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42861 41936 1111 63 0 42798 0
vsize: 171444
[startup+490.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51622 0 0 0 48859 147 0 0 25 0 1 0 912947793 175558656 41944 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42861 41944 1111 63 0 42798 0
vsize: 171444
[startup+500.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51626 0 0 0 49859 147 0 0 25 0 1 0 912947793 175558656 41948 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42861 41948 1111 63 0 42798 0
vsize: 171444
[startup+510.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51630 0 0 0 50859 148 0 0 25 0 1 0 912947793 175558656 41952 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42861 41952 1111 63 0 42798 0
vsize: 171444
[startup+520.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51633 0 0 0 51859 148 0 0 25 0 1 0 912947793 175558656 41955 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42861 41955 1111 63 0 42798 0
vsize: 171444
[startup+530.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51653 0 0 0 52858 148 0 0 25 0 1 0 912947793 175558656 41975 4294967295 134512640 134716908 3221224560 3221223128 1077377771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42861 41975 1111 63 0 42798 0
vsize: 171444
[startup+540.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51682 0 0 0 53858 149 0 0 25 0 1 0 912947793 175693824 42004 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42894 42004 1111 63 0 42831 0
vsize: 171576
[startup+550.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51682 0 0 0 54858 149 0 0 25 0 1 0 912947793 175693824 42004 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42894 42004 1111 63 0 42831 0
vsize: 171576
[startup+560.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51695 0 0 0 55858 150 0 0 25 0 1 0 912947793 175693824 42017 4294967295 134512640 134716908 3221224560 3221223360 134597773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42894 42017 1111 63 0 42831 0
vsize: 171576
[startup+570.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51696 0 0 0 56857 150 0 0 25 0 1 0 912947793 175693824 42018 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42894 42018 1111 63 0 42831 0
vsize: 171576
[startup+580.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51696 0 0 0 57857 151 0 0 25 0 1 0 912947793 175693824 42018 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42894 42018 1111 63 0 42831 0
vsize: 171576
[startup+590.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51709 0 0 0 58856 151 0 0 25 0 1 0 912947793 175837184 42031 4294967295 134512640 134716908 3221224560 3221223144 134543609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42929 42031 1111 63 0 42866 0
vsize: 171716
[startup+600.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51710 0 0 0 59856 152 0 0 25 0 1 0 912947793 175837184 42032 4294967295 134512640 134716908 3221224560 3221223360 134597705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42929 42032 1111 63 0 42866 0
vsize: 171716
[startup+610.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51712 0 0 0 60856 152 0 0 25 0 1 0 912947793 175837184 42034 4294967295 134512640 134716908 3221224560 3221223204 134613648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42929 42034 1111 63 0 42866 0
vsize: 171716
[startup+620.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14854
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51712 0 0 0 61855 153 0 0 25 0 1 0 912947793 175837184 42034 4294967295 134512640 134716908 3221224560 3221223328 134597634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42929 42034 1111 63 0 42866 0
vsize: 171716
[startup+630.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51739 0 0 0 62855 154 0 0 25 0 1 0 912947793 176041984 42057 4294967295 134512640 134716908 3221224560 3221223360 134597733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42979 42057 1111 63 0 42916 0
vsize: 171916
[startup+640.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51741 0 0 0 63855 154 0 0 25 0 1 0 912947793 176041984 42059 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42979 42059 1111 63 0 42916 0
vsize: 171916
[startup+650.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51748 0 0 0 64855 154 0 0 25 0 1 0 912947793 176041984 42066 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42979 42066 1111 63 0 42916 0
vsize: 171916
[startup+660.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51749 0 0 0 65854 155 0 0 25 0 1 0 912947793 176041984 42067 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42979 42067 1111 63 0 42916 0
vsize: 171916
[startup+670.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51750 0 0 0 66854 155 0 0 25 0 1 0 912947793 176041984 42068 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42979 42068 1111 63 0 42916 0
vsize: 171916
[startup+680.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51751 0 0 0 67854 156 0 0 25 0 1 0 912947793 176041984 42069 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42979 42069 1111 63 0 42916 0
vsize: 171916
[startup+690.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51753 0 0 0 68853 156 0 0 25 0 1 0 912947793 176041984 42071 4294967295 134512640 134716908 3221224560 3221223200 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42979 42071 1111 63 0 42916 0
vsize: 171916
[startup+700.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51753 0 0 0 69853 157 0 0 25 0 1 0 912947793 176041984 42071 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42979 42071 1111 63 0 42916 0
vsize: 171916
[startup+710.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51787 0 0 0 70853 157 0 0 25 0 1 0 912947793 176128000 42096 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43000 42096 1111 63 0 42937 0
vsize: 172000
[startup+720.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51789 0 0 0 71852 158 0 0 25 0 1 0 912947793 176128000 42098 4294967295 134512640 134716908 3221224560 3221223096 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43000 42098 1111 63 0 42937 0
vsize: 172000
[startup+730.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51790 0 0 0 72852 159 0 0 25 0 1 0 912947793 176128000 42099 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43000 42099 1111 63 0 42937 0
vsize: 172000
[startup+740.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51791 0 0 0 73852 159 0 0 25 0 1 0 912947793 176128000 42100 4294967295 134512640 134716908 3221224560 3221223288 134558785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43000 42100 1111 63 0 42937 0
vsize: 172000
[startup+750.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51792 0 0 0 74852 159 0 0 25 0 1 0 912947793 176128000 42101 4294967295 134512640 134716908 3221224560 3221223116 134539223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43000 42101 1111 63 0 42937 0
vsize: 172000
[startup+760.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51793 0 0 0 75851 160 0 0 25 0 1 0 912947793 176128000 42102 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43000 42102 1111 63 0 42937 0
vsize: 172000
[startup+770.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51793 0 0 0 76851 160 0 0 25 0 1 0 912947793 176128000 42102 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43000 42102 1111 63 0 42937 0
vsize: 172000
[startup+780.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51793 0 0 0 77851 161 0 0 25 0 1 0 912947793 176128000 42102 4294967295 134512640 134716908 3221224560 3221223144 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43000 42102 1111 63 0 42937 0
vsize: 172000
[startup+790.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51793 0 0 0 78851 161 0 0 25 0 1 0 912947793 176128000 42102 4294967295 134512640 134716908 3221224560 3221223308 134675288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43000 42102 1111 63 0 42937 0
vsize: 172000
[startup+800.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51793 0 0 0 79850 161 0 0 25 0 1 0 912947793 176128000 42102 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43000 42102 1111 63 0 42937 0
vsize: 172000
[startup+810.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51793 0 0 0 80850 162 0 0 25 0 1 0 912947793 176128000 42102 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43000 42102 1111 63 0 42937 0
vsize: 172000
[startup+820.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51793 0 0 0 81850 162 0 0 25 0 1 0 912947793 176128000 42102 4294967295 134512640 134716908 3221224560 3221223144 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43000 42102 1111 63 0 42937 0
vsize: 172000
[startup+830.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51793 0 0 0 82850 163 0 0 25 0 1 0 912947793 176128000 42102 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43000 42102 1111 63 0 42937 0
vsize: 172000
[startup+840.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51793 0 0 0 83849 163 0 0 25 0 1 0 912947793 176128000 42102 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43000 42102 1111 63 0 42937 0
vsize: 172000
[startup+850.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51794 0 0 0 84848 164 0 0 25 0 1 0 912947793 176128000 42103 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43000 42103 1111 63 0 42937 0
vsize: 172000
[startup+860.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51805 0 0 0 85848 164 0 0 25 0 1 0 912947793 176128000 42114 4294967295 134512640 134716908 3221224560 3221223184 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43000 42114 1111 63 0 42937 0
vsize: 172000
[startup+870.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51831 0 0 0 86848 165 0 0 25 0 1 0 912947793 176291840 42140 4294967295 134512640 134716908 3221224560 3221223120 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43040 42140 1111 63 0 42977 0
vsize: 172160
[startup+880.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51905 0 0 0 87848 165 0 0 25 0 1 0 912947793 176762880 42211 4294967295 134512640 134716908 3221224560 3221223280 134535795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43155 42211 1111 63 0 43092 0
vsize: 172620
[startup+890.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51936 0 0 0 88848 165 0 0 25 0 1 0 912947793 176898048 42241 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43188 42241 1111 63 0 43125 0
vsize: 172752
[startup+900.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 51971 0 0 0 89848 166 0 0 25 0 1 0 912947793 177033216 42276 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43221 42276 1111 63 0 43158 0
vsize: 172884
[startup+910.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52011 0 0 0 90848 166 0 0 25 0 1 0 912947793 177168384 42316 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43254 42316 1111 63 0 43191 0
vsize: 173016
[startup+920.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52040 0 0 0 91850 166 0 0 25 0 1 0 912947793 177303552 42345 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43287 42345 1111 63 0 43224 0
vsize: 173148
[startup+930.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52070 0 0 0 92850 166 0 0 25 0 1 0 912947793 177438720 42375 4294967295 134512640 134716908 3221224560 3221223124 134551988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43320 42375 1111 63 0 43257 0
vsize: 173280
[startup+940.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52099 0 0 0 93850 166 0 0 25 0 1 0 912947793 177573888 42404 4294967295 134512640 134716908 3221224560 3221223212 134536787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43353 42404 1111 63 0 43290 0
vsize: 173412
[startup+950.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52140 0 0 0 94850 167 0 0 25 0 1 0 912947793 177709056 42445 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43386 42445 1111 63 0 43323 0
vsize: 173544
[startup+960.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52172 0 0 0 95850 167 0 0 25 0 1 0 912947793 177844224 42477 4294967295 134512640 134716908 3221224560 3221223132 134542371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43419 42477 1111 63 0 43356 0
vsize: 173676
[startup+970.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52178 0 0 0 96850 167 0 0 25 0 1 0 912947793 177844224 42483 4294967295 134512640 134716908 3221224560 3221223116 134539324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43419 42483 1111 63 0 43356 0
vsize: 173676
[startup+980.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52188 0 0 0 97850 167 0 0 25 0 1 0 912947793 177844224 42493 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43419 42493 1111 63 0 43356 0
vsize: 173676
[startup+990.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52208 0 0 0 98850 167 0 0 25 0 1 0 912947793 177979392 42513 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43452 42513 1111 63 0 43389 0
vsize: 173808
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52229 0 0 0 99850 167 0 0 25 0 1 0 912947793 177979392 42534 4294967295 134512640 134716908 3221224560 3221223152 134549600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43452 42534 1111 63 0 43389 0
vsize: 173808
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52243 0 0 0 100849 168 0 0 25 0 1 0 912947793 178114560 42548 4294967295 134512640 134716908 3221224560 3221223344 134529421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43485 42548 1111 63 0 43422 0
vsize: 173940
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52243 0 0 0 101849 168 0 0 25 0 1 0 912947793 178114560 42548 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43485 42548 1111 63 0 43422 0
vsize: 173940
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52243 0 0 0 102849 168 0 0 25 0 1 0 912947793 178114560 42548 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43485 42548 1111 63 0 43422 0
vsize: 173940
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52243 0 0 0 103849 168 0 0 25 0 1 0 912947793 178114560 42548 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43485 42548 1111 63 0 43422 0
vsize: 173940
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52252 0 0 0 104849 168 0 0 25 0 1 0 912947793 178114560 42557 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43485 42557 1111 63 0 43422 0
vsize: 173940
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52271 0 0 0 105849 169 0 0 25 0 1 0 912947793 178249728 42576 4294967295 134512640 134716908 3221224560 3221223128 1077377368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43518 42576 1111 63 0 43455 0
vsize: 174072
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52295 0 0 0 106849 169 0 0 25 0 1 0 912947793 178249728 42600 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43518 42600 1111 63 0 43455 0
vsize: 174072
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52303 0 0 0 107849 169 0 0 25 0 1 0 912947793 178384896 42608 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43551 42608 1111 63 0 43488 0
vsize: 174204
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52329 0 0 0 108849 170 0 0 25 0 1 0 912947793 178384896 42634 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43551 42634 1111 63 0 43488 0
vsize: 174204
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52344 0 0 0 109849 170 0 0 25 0 1 0 912947793 178520064 42649 4294967295 134512640 134716908 3221224560 3221223180 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43584 42649 1111 63 0 43521 0
vsize: 174336
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52363 0 0 0 110849 170 0 0 25 0 1 0 912947793 178655232 42668 4294967295 134512640 134716908 3221224560 3221223360 134597597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43617 42668 1111 63 0 43554 0
vsize: 174468
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 3/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52363 0 0 0 111849 170 0 0 25 0 1 0 912947793 178655232 42668 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43617 42668 1111 63 0 43554 0
vsize: 174468
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52363 0 0 0 112849 170 0 0 25 0 1 0 912947793 178655232 42668 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43617 42668 1111 63 0 43554 0
vsize: 174468
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52363 0 0 0 113849 171 0 0 25 0 1 0 912947793 178655232 42668 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43617 42668 1111 63 0 43554 0
vsize: 174468
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52368 0 0 0 114849 171 0 0 25 0 1 0 912947793 178655232 42673 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43617 42673 1111 63 0 43554 0
vsize: 174468
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52387 0 0 0 115849 171 0 0 25 0 1 0 912947793 178655232 42692 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43617 42692 1111 63 0 43554 0
vsize: 174468
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52406 0 0 0 116849 171 0 0 25 0 1 0 912947793 178790400 42711 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43650 42711 1111 63 0 43587 0
vsize: 174600
[startup+1174.94 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 14856
Raw data (stat): 14799 (bsolo_lpr_cuts-) R 14798 20224 20223 0 -1 0 52406 0 0 0 116849 171 0 0 25 0 1 0 912947793 178790400 42711 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43650 42711 1111 63 0 43587 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.11
CPU user time (s): 1173.31
CPU system time (s): 1.80173
CPU usage (%): 100.014
Max. virtual memory (Kb): 174600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####