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-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ar.opb
MD5SUM	9565d6b3010c78b37c39352cc9731cb7
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	15085
Biggest coefficient in the objective function	504328818
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	2067304124713
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	504328818
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	2067304124713
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	13.9929
Number of variables	15085
Total number of constraints	16520
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15927
Number of constraints which are nor clauses,nor cardinality constraints	412
Minimum length of a constraint	1
Maximum length of a constraint	4222
Trace number 27907

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-24 23:37:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15251 boxname=wulflinc4 idbench=1174 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  9565d6b3010c78b37c39352cc9731cb7  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-sp98ar.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-sp98ar.opb
IDLAUNCH: 15251
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        731012 kB
Buffers:         34780 kB
Cached:         247800 kB
SwapCached:        504 kB
Active:          66740 kB
Inactive:       218364 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        730760 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5948 kB
Slab:            12792 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:57:15 (client local time) WITH STATUS 0 IN 1200.42 SECONDS
stats: 15251 7 1200.42 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 15085 variables and 1430 constraints.
c After prepocess the problem consists of 15076 variables and 1368 constraints.
c preprocess terminated 652.925 s
c Initial Lower Bound: -2147483648
c Lower Bound Elapsed time: 38.744
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -2011398412 @ 779.578
c NEW SOLUTION FOUND: -2147483648 @ 779.727
#### 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.89 0.88 0.90 1/54 25448
Raw data (stat): 25448 (runsolver) D 25447 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 776022858 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.91 0.89 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 20346 0 0 0 945 41 0 0 25 0 1 0 776022858 96268288 20270 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23503 20270 1111 63 0 23440 0
vsize: 94012
[startup+20.002 s]
Raw data (loadavg): 0.92 0.89 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 39798 0 0 0 1911 76 0 0 25 0 1 0 776022858 175820800 39722 4294967295 134512640 134714508 3221224592 3221222924 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42925 39722 1111 63 0 42862 0
vsize: 171700
[startup+30.0019 s]
Raw data (loadavg): 0.93 0.89 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 58584 0 0 0 2878 108 0 0 25 0 1 0 776022858 252858368 58508 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61733 58508 1111 63 0 61670 0
vsize: 246932
[startup+40.0027 s]
Raw data (loadavg): 0.94 0.89 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 77696 0 0 0 3849 137 0 0 25 0 1 0 776022858 331091968 77620 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80833 77620 1111 63 0 80770 0
vsize: 323332
[startup+50.0036 s]
Raw data (loadavg): 0.95 0.90 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 92502 0 0 0 4823 164 0 0 25 0 1 0 776022858 391794688 92426 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95653 92426 1111 63 0 95590 0
vsize: 382612
[startup+60.109 s]
Raw data (loadavg): 0.96 0.90 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 93366 0 0 0 5829 166 0 0 25 0 1 0 776022858 395341824 93290 4294967295 134512640 134714508 3221224592 3221222880 134566785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96519 93290 1111 63 0 96456 0
vsize: 386076
[startup+70.1145 s]
Raw data (loadavg): 0.96 0.90 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 94045 0 0 0 6827 169 0 0 25 0 1 0 776022858 398241792 93967 4294967295 134512640 134714508 3221224592 3221222868 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97227 93967 1111 63 0 97164 0
vsize: 388908
[startup+80.1212 s]
Raw data (loadavg): 0.97 0.91 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 94839 0 0 0 7825 171 0 0 25 0 1 0 776022858 401506304 94761 4294967295 134512640 134714508 3221224592 3221222868 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98024 94761 1111 63 0 97961 0
vsize: 392096
[startup+90.1228 s]
Raw data (loadavg): 0.97 0.91 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 95601 0 0 0 8822 174 0 0 25 0 1 0 776022858 404643840 95523 4294967295 134512640 134714508 3221224592 3221223256 134568955 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98790 95523 1111 63 0 98727 0
vsize: 395160
[startup+100.123 s]
Raw data (loadavg): 0.98 0.91 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 96509 0 0 0 9820 176 0 0 25 0 1 0 776022858 408453120 96431 4294967295 134512640 134714508 3221224592 3221222252 1077244344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99720 96431 1111 63 0 99657 0
vsize: 398880
[startup+110.124 s]
Raw data (loadavg): 0.98 0.91 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 97427 0 0 0 10818 178 0 0 25 0 1 0 776022858 412270592 97349 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100652 97349 1111 63 0 100589 0
vsize: 402608
[startup+120.125 s]
Raw data (loadavg): 0.98 0.92 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 98304 0 0 0 11815 181 0 0 25 0 1 0 776022858 415944704 98226 4294967295 134512640 134714508 3221224592 3221222868 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101549 98226 1111 63 0 101486 0
vsize: 406196
[startup+130.126 s]
Raw data (loadavg): 0.98 0.92 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 99101 0 0 0 12813 183 0 0 25 0 1 0 776022858 419221504 99023 4294967295 134512640 134714508 3221224592 3221223264 134568761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102349 99023 1111 63 0 102286 0
vsize: 409396
[startup+140.127 s]
Raw data (loadavg): 0.99 0.92 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 99927 0 0 0 13811 185 0 0 25 0 1 0 776022858 422612992 99849 4294967295 134512640 134714508 3221224592 3221222868 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103177 99849 1111 63 0 103114 0
vsize: 412708
[startup+150.127 s]
Raw data (loadavg): 0.99 0.92 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 101409 0 0 0 14807 189 0 0 25 0 1 0 776022858 419033088 101249 4294967295 134512640 134714508 3221224592 3221223208 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102303 101249 1111 63 0 102240 0
vsize: 409212
[startup+160.127 s]
Raw data (loadavg): 0.99 0.92 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 101463 0 0 0 15807 189 0 0 25 0 1 0 776022858 419303424 101303 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102369 101303 1111 63 0 102306 0
vsize: 409476
[startup+170.128 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 101512 0 0 0 16807 189 0 0 25 0 1 0 776022858 419573760 101352 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102435 101352 1111 63 0 102372 0
vsize: 409740
[startup+180.129 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 101570 0 0 0 17806 190 0 0 25 0 1 0 776022858 419708928 101410 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102468 101410 1111 63 0 102405 0
vsize: 409872
[startup+190.13 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 101675 0 0 0 18806 190 0 0 25 0 1 0 776022858 420114432 101515 4294967295 134512640 134714508 3221224592 3221223072 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102567 101515 1111 63 0 102504 0
vsize: 410268
[startup+200.136 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 101732 0 0 0 19807 190 0 0 25 0 1 0 776022858 420384768 101572 4294967295 134512640 134714508 3221224592 3221223036 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102633 101572 1111 63 0 102570 0
vsize: 410532
[startup+210.136 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 101792 0 0 0 20807 190 0 0 25 0 1 0 776022858 420655104 101632 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102699 101632 1111 63 0 102636 0
vsize: 410796
[startup+220.137 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 101845 0 0 0 21807 191 0 0 25 0 1 0 776022858 420925440 101685 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102765 101685 1111 63 0 102702 0
vsize: 411060
[startup+230.137 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 101910 0 0 0 22807 191 0 0 25 0 1 0 776022858 421195776 101750 4294967295 134512640 134714508 3221224592 3221223036 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102831 101750 1111 63 0 102768 0
vsize: 411324
[startup+240.138 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 101955 0 0 0 23807 191 0 0 25 0 1 0 776022858 421330944 101795 4294967295 134512640 134714508 3221224592 3221223036 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102864 101795 1111 63 0 102801 0
vsize: 411456
[startup+250.138 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 102025 0 0 0 24806 192 0 0 25 0 1 0 776022858 421601280 101865 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102930 101865 1111 63 0 102867 0
vsize: 411720
[startup+260.138 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 102090 0 0 0 25806 192 0 0 25 0 1 0 776022858 421871616 101930 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102996 101930 1111 63 0 102933 0
vsize: 411984
[startup+270.139 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 102153 0 0 0 26806 192 0 0 25 0 1 0 776022858 422141952 101993 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103062 101993 1111 63 0 102999 0
vsize: 412248
[startup+280.138 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 102214 0 0 0 27806 193 0 0 25 0 1 0 776022858 422416384 102054 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103129 102054 1111 63 0 103066 0
vsize: 412516
[startup+290.14 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 102281 0 0 0 28806 193 0 0 25 0 1 0 776022858 422686720 102121 4294967295 134512640 134714508 3221224592 3221223056 134543035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103195 102121 1111 63 0 103132 0
vsize: 412780
[startup+300.14 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 102324 0 0 0 29806 193 0 0 25 0 1 0 776022858 422821888 102164 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103228 102164 1111 63 0 103165 0
vsize: 412912
[startup+310.14 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 102392 0 0 0 30806 193 0 0 25 0 1 0 776022858 423092224 102232 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103294 102232 1111 63 0 103231 0
vsize: 413176
[startup+320.141 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 102444 0 0 0 31806 193 0 0 25 0 1 0 776022858 423362560 102284 4294967295 134512640 134714508 3221224592 3221223072 134543043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103360 102284 1111 63 0 103297 0
vsize: 413440
[startup+330.142 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 102495 0 0 0 32806 193 0 0 25 0 1 0 776022858 423497728 102335 4294967295 134512640 134714508 3221224592 3221223036 134535981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103393 102335 1111 63 0 103330 0
vsize: 413572
[startup+340.143 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 102557 0 0 0 33806 193 0 0 25 0 1 0 776022858 423768064 102397 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103459 102397 1111 63 0 103396 0
vsize: 413836
[startup+350.143 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 102603 0 0 0 34806 194 0 0 25 0 1 0 776022858 424038400 102443 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103525 102443 1111 63 0 103462 0
vsize: 414100
[startup+360.143 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 102653 0 0 0 35807 194 0 0 25 0 1 0 776022858 424173568 102493 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103558 102493 1111 63 0 103495 0
vsize: 414232
[startup+370.144 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 102724 0 0 0 36806 194 0 0 25 0 1 0 776022858 424443904 102564 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103624 102564 1111 63 0 103561 0
vsize: 414496
[startup+380.144 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 102788 0 0 0 37806 195 0 0 25 0 1 0 776022858 424714240 102628 4294967295 134512640 134714508 3221224592 3221223036 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103690 102628 1111 63 0 103627 0
vsize: 414760
[startup+390.145 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 102855 0 0 0 38806 195 0 0 25 0 1 0 776022858 424984576 102695 4294967295 134512640 134714508 3221224592 3221223036 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103756 102695 1111 63 0 103693 0
vsize: 415024
[startup+400.146 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 102906 0 0 0 39806 195 0 0 25 0 1 0 776022858 425254912 102746 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103822 102746 1111 63 0 103759 0
vsize: 415288
[startup+410.146 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 102960 0 0 0 40806 195 0 0 25 0 1 0 776022858 425390080 102800 4294967295 134512640 134714508 3221224592 3221223036 134536825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103855 102800 1111 63 0 103792 0
vsize: 415420
[startup+420.147 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 103020 0 0 0 41806 195 0 0 25 0 1 0 776022858 425660416 102860 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103921 102860 1111 63 0 103858 0
vsize: 415684
[startup+430.148 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 103094 0 0 0 42806 196 0 0 25 0 1 0 776022858 425930752 102934 4294967295 134512640 134714508 3221224592 3221223084 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103987 102934 1111 63 0 103924 0
vsize: 415948
[startup+440.148 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 103152 0 0 0 43806 196 0 0 25 0 1 0 776022858 426201088 102992 4294967295 134512640 134714508 3221224592 3221223328 134588097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104053 102992 1111 63 0 103990 0
vsize: 416212
[startup+450.148 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 103212 0 0 0 44806 196 0 0 25 0 1 0 776022858 426475520 103052 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104120 103052 1111 63 0 104057 0
vsize: 416480
[startup+460.148 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 103299 0 0 0 45806 196 0 0 25 0 1 0 776022858 426745856 103139 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104186 103139 1111 63 0 104123 0
vsize: 416744
[startup+470.149 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 103421 0 0 0 46805 197 0 0 25 0 1 0 776022858 427286528 103261 4294967295 134512640 134714508 3221224592 3221223072 134543041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104318 103261 1111 63 0 104255 0
vsize: 417272
[startup+480.15 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 103513 0 0 0 47805 197 0 0 25 0 1 0 776022858 427692032 103353 4294967295 134512640 134714508 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104417 103353 1111 63 0 104354 0
vsize: 417668
[startup+490.151 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 103568 0 0 0 48805 198 0 0 25 0 1 0 776022858 427827200 103408 4294967295 134512640 134714508 3221224592 3221223072 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104450 103408 1111 63 0 104387 0
vsize: 417800
[startup+500.151 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 103613 0 0 0 49805 198 0 0 25 0 1 0 776022858 428097536 103453 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104516 103453 1111 63 0 104453 0
vsize: 418064
[startup+510.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 103663 0 0 0 50805 198 0 0 25 0 1 0 776022858 428232704 103503 4294967295 134512640 134714508 3221224592 3221223320 134672948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104549 103503 1111 63 0 104486 0
vsize: 418196
[startup+520.151 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 103712 0 0 0 51805 199 0 0 25 0 1 0 776022858 428503040 103552 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104615 103552 1111 63 0 104552 0
vsize: 418460
[startup+530.152 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 103763 0 0 0 52805 199 0 0 25 0 1 0 776022858 428638208 103603 4294967295 134512640 134714508 3221224592 3221223036 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104648 103603 1111 63 0 104585 0
vsize: 418592
[startup+540.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 103818 0 0 0 53805 199 0 0 25 0 1 0 776022858 428908544 103658 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104714 103658 1111 63 0 104651 0
vsize: 418856
[startup+550.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 103880 0 0 0 54805 200 0 0 25 0 1 0 776022858 429178880 103720 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104780 103720 1111 63 0 104717 0
vsize: 419120
[startup+560.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 103961 0 0 0 55804 200 0 0 25 0 1 0 776022858 429449216 103801 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104846 103801 1111 63 0 104783 0
vsize: 419384
[startup+570.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 104037 0 0 0 56804 200 0 0 25 0 1 0 776022858 429719552 103877 4294967295 134512640 134714508 3221224592 3221223072 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104912 103877 1111 63 0 104849 0
vsize: 419648
[startup+580.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 104096 0 0 0 57804 200 0 0 25 0 1 0 776022858 429989888 103936 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104978 103936 1111 63 0 104915 0
vsize: 419912
[startup+590.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 104173 0 0 0 58805 201 0 0 25 0 1 0 776022858 430260224 104013 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105044 104013 1111 63 0 104981 0
vsize: 420176
[startup+600.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 104249 0 0 0 59805 201 0 0 25 0 1 0 776022858 430665728 104089 4294967295 134512640 134714508 3221224592 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104089 1111 63 0 105080 0
vsize: 420572
[startup+610.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 104251 0 0 0 60805 201 0 0 25 0 1 0 776022858 430665728 104091 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104091 1111 63 0 105080 0
vsize: 420572
[startup+620.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 104254 0 0 0 61805 201 0 0 25 0 1 0 776022858 430665728 104094 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104094 1111 63 0 105080 0
vsize: 420572
[startup+630.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 104257 0 0 0 62805 201 0 0 25 0 1 0 776022858 430665728 104097 4294967295 134512640 134714508 3221224592 3221223248 134627261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104097 1111 63 0 105080 0
vsize: 420572
[startup+640.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 104261 0 0 0 63805 201 0 0 25 0 1 0 776022858 430665728 104101 4294967295 134512640 134714508 3221224592 3221223248 134627264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104101 1111 63 0 105080 0
vsize: 420572
[startup+650.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 104265 0 0 0 64805 201 0 0 25 0 1 0 776022858 430665728 104105 4294967295 134512640 134714508 3221224592 3221223264 134627241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104105 1111 63 0 105080 0
vsize: 420572
[startup+660.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 105981 0 0 0 65800 206 0 0 25 0 1 0 776022858 437719040 105796 4294967295 134512640 134714508 3221224592 3221218288 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106865 105796 1111 63 0 106802 0
vsize: 427460
[startup+670.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 106133 0 0 0 66800 207 0 0 25 0 1 0 776022858 438341632 105948 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107017 105948 1111 63 0 106954 0
vsize: 428068
[startup+680.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 106170 0 0 0 67799 207 0 0 25 0 1 0 776022858 438484992 105985 4294967295 134512640 134714508 3221224592 3221222816 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107052 105985 1111 63 0 106989 0
vsize: 428208
[startup+690.161 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 112766 0 0 0 68785 222 0 0 25 0 1 0 776022858 450138112 108649 4294967295 134512640 134714508 3221224592 3221221612 1075859556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109897 108649 1111 63 0 109834 0
vsize: 439588
[startup+700.161 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 112937 0 0 0 69784 223 0 0 25 0 1 0 776022858 450138112 108820 4294967295 134512640 134714508 3221224592 3221220784 1074960843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109897 108820 1111 63 0 109834 0
vsize: 439588
[startup+710.161 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 118239 0 0 0 70773 234 0 0 25 0 1 0 776022858 439750656 106437 4294967295 134512640 134714508 3221224592 3221223040 134648533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107361 106437 1111 63 0 107298 0
vsize: 429444
[startup+720.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 119240 0 0 0 71771 237 0 0 25 0 1 0 776022858 441077760 106778 4294967295 134512640 134714508 3221224592 3221223040 134648531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107729 106779 1111 63 0 107666 0
vsize: 430740
[startup+730.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 120215 0 0 0 72769 239 0 0 25 0 1 0 776022858 442163200 107043 4294967295 134512640 134714508 3221224592 3221222664 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107950 107043 1111 63 0 107887 0
vsize: 431800
[startup+740.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 131842 0 0 0 73744 264 0 0 25 0 1 0 776022858 442224640 107058 4294967295 134512640 134714508 3221224592 3221222976 134606848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107965 107058 1111 63 0 107902 0
vsize: 431860
[startup+750.165 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 131842 0 0 0 74744 264 0 0 25 0 1 0 776022858 442224640 107058 4294967295 134512640 134714508 3221224592 3221222928 1073989424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107965 107058 1111 63 0 107902 0
vsize: 431860
[startup+760.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 131842 0 0 0 75744 264 0 0 25 0 1 0 776022858 442224640 107058 4294967295 134512640 134714508 3221224592 3221223040 134648533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107965 107058 1111 63 0 107902 0
vsize: 431860
[startup+770.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 143484 0 0 0 76719 290 0 0 25 0 1 0 776022858 442114048 107031 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107938 107031 1111 63 0 107875 0
vsize: 431752
[startup+780.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 145299 0 0 0 77713 295 0 0 25 0 1 0 776022858 437211136 105835 4294967295 134512640 134714508 3221224592 3221222240 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+790.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 174633 0 0 0 78649 359 0 0 25 0 1 0 776022858 437497856 105888 4294967295 134512640 134714508 3221224592 3221222944 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106811 105893 1111 63 0 106748 0
vsize: 427244
[startup+800.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 196731 0 0 0 79602 407 0 0 25 0 1 0 776022858 437235712 105835 4294967295 134512640 134714508 3221224592 3221222504 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+810.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 214835 0 0 0 80561 448 0 0 25 0 1 0 776022858 437211136 105835 4294967295 134512640 134714508 3221224592 3221222560 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+820.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 228743 0 0 0 81530 479 0 0 25 0 1 0 776022858 437235712 105835 4294967295 134512640 134714508 3221224592 3221222640 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+830.169 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 240717 0 0 0 82504 505 0 0 25 0 1 0 776022858 437235712 105835 4294967295 134512640 134714508 3221224592 3221222944 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+840.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 251730 0 0 0 83478 532 0 0 25 0 1 0 776022858 437211136 105835 4294967295 134512640 134714508 3221224592 3221222616 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+850.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 262323 0 0 0 84454 556 0 0 25 0 1 0 776022858 437211136 105835 4294967295 134512640 134714508 3221224592 3221222736 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+860.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 272170 0 0 0 85434 576 0 0 25 0 1 0 776022858 437235712 105835 4294967295 134512640 134714508 3221224592 3221222888 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+870.171 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 281343 0 0 0 86416 595 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+880.172 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 289713 0 0 0 87396 615 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+890.173 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 297888 0 0 0 88376 635 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221222752 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+900.173 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 305512 0 0 0 89359 652 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221222880 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+910.173 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 312929 0 0 0 90343 668 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221222896 1073986807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+920.174 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 320165 0 0 0 91327 684 0 0 25 0 1 0 776022858 438276096 105976 4294967295 134512640 134714508 3221224592 3221221696 1074138723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107001 105976 1111 63 0 106938 0
vsize: 428004
[startup+930.174 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 327144 0 0 0 92312 700 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+940.175 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 334121 0 0 0 93294 718 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+950.176 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 340726 0 0 0 94279 733 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221222872 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+960.176 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 347568 0 0 0 95262 750 0 0 25 0 1 0 776022858 437235712 105835 4294967295 134512640 134714508 3221224592 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+970.177 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 353979 0 0 0 96246 766 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221222616 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+980.177 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 360397 0 0 0 97230 783 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221222704 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+990.178 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 366726 0 0 0 98213 800 0 0 25 0 1 0 776022858 437211136 105835 4294967295 134512640 134714508 3221224592 3221222648 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+1000.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 372469 0 0 0 99201 813 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221222412 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1010.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 378472 0 0 0 100187 826 0 0 25 0 1 0 776022858 438247424 105908 4294967295 134512640 134714508 3221224592 3221222560 1075961292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106994 105908 1111 63 0 106931 0
vsize: 427976
[startup+1020.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 384521 0 0 0 101174 840 0 0 25 0 1 0 776022858 438247424 105907 4294967295 134512640 134714508 3221224592 3221222512 1075802495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106994 105907 1111 63 0 106931 0
vsize: 427976
[startup+1030.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 390438 0 0 0 102160 854 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221222896 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1040.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 396428 0 0 0 103148 867 0 0 25 0 1 0 776022858 437211136 105835 4294967295 134512640 134714508 3221224592 3221222736 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+1050.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 402074 0 0 0 104135 880 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221223120 134650068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1060.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 407786 0 0 0 105120 896 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221222664 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1070.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 413548 0 0 0 106109 907 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221222880 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1080.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 419353 0 0 0 107096 921 0 0 25 0 1 0 776022858 437235712 105835 4294967295 134512640 134714508 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+1090.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 424784 0 0 0 108085 934 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1100.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 430905 0 0 0 109071 948 0 0 25 0 1 0 776022858 437211136 105835 4294967295 134512640 134714508 3221224592 3221222328 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+1110.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 436390 0 0 0 110059 960 0 0 25 0 1 0 776022858 437235712 105838 4294967295 134512640 134714508 3221224592 3221222316 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105838 1111 63 0 106684 0
vsize: 426988
[startup+1120.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 441865 0 0 0 111047 973 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221222600 1074138163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1130.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 447267 0 0 0 112034 986 0 0 25 0 1 0 776022858 437235712 105835 4294967295 134512640 134714508 3221224592 3221222840 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+1140.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 452406 0 0 0 113022 997 0 0 25 0 1 0 776022858 438394880 105914 4294967295 134512640 134714508 3221224592 3221221120 1075890974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107030 105914 1111 63 0 106967 0
vsize: 428120
[startup+1150.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 457408 0 0 0 114012 1008 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221222688 1074153456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1160.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 462697 0 0 0 114999 1021 0 0 25 0 1 0 776022858 437211136 105835 4294967295 134512640 134714508 3221224592 3221222736 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+1170.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 467418 0 0 0 115989 1032 0 0 25 0 1 0 776022858 437235712 105841 4294967295 134512640 134714508 3221224592 3221222428 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1180.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 472132 0 0 0 116978 1042 0 0 25 0 1 0 776022858 437260288 105847 4294967295 134512640 134714508 3221224592 3221222856 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106753 105847 1111 63 0 106690 0
vsize: 427012
[startup+1190.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 476961 0 0 0 117967 1054 0 0 25 0 1 0 776022858 438411264 105932 4294967295 134512640 134714508 3221224592 3221222320 1075829530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107034 105932 1111 63 0 106971 0
vsize: 428136
[startup+1200.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) R 25447 21152 21151 0 -1 0 481728 0 0 0 118955 1066 0 0 25 0 1 0 776022858 437395456 105867 4294967295 134512640 134714508 3221224592 3221222592 1074919711 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106786 105867 1111 63 0 106723 0
vsize: 427144
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.42 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 25448
Raw data (stat): 25448 (bsolo_lpr_cuts) Z 25447 21152 21151 0 -1 1036 481728 0 0 0 118955 1086 0 0 25 0 1 0 776022858 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.42
CPU time (s): 1200.42
CPU user time (s): 1189.55
CPU system time (s): 10.8653
CPU usage (%): 99.9995
Max. virtual memory (Kb): 439588
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####