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/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb
MD5SUM	ee388359e66788d310d5d5b34d6465c1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63236
Optimality of the best value was proved	NO
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1185.16
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 28534

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-25 02:50:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12430 boxname=wulflinc7 idbench=957 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  ee388359e66788d310d5d5b34d6465c1  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 12430
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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.050
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:        903852 kB
Buffers:           896 kB
Cached:         109748 kB
SwapCached:        740 kB
Active:          36968 kB
Inactive:        75848 kB
HighTotal:      131008 kB
HighFree:        21168 kB
LowTotal:       903652 kB
LowFree:        882684 kB
SwapTotal:     2097136 kB
SwapFree:      2095584 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5124 kB
Slab:            12276 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 03:10:27 (client local time) WITH STATUS 0 IN 1175.19 SECONDS
stats: 12430 7 1175.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8904 variables and 1646 constraints.
c After prepocess the problem consists of 7524 variables and 1269 constraints.
c preprocess terminated 369.43 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 73.705
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.96 0.91 2/54 4420
Raw data (stat): 4420 (runsolver) R 4419 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777201338 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 41331 0 0 0 911 86 0 0 25 0 1 0 777201338 182386688 41255 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44528 41255 1111 63 0 44465 0
vsize: 178112
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 55500 0 0 0 1884 113 0 0 25 0 1 0 777201338 240398336 55424 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58691 55424 1111 63 0 58628 0
vsize: 234764
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 56885 0 0 0 2878 117 0 0 25 0 1 0 777201338 246075392 56809 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60077 56809 1111 63 0 60014 0
vsize: 240308
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 60019 0 0 0 3872 124 0 0 25 0 1 0 777201338 249147392 59907 4294967295 134512640 134714508 3221224592 3221223096 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60827 59907 1111 63 0 60764 0
vsize: 243308
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 62746 0 0 0 4865 130 0 0 25 0 1 0 777201338 260243456 62634 4294967295 134512640 134714508 3221224592 3221222972 134539223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63536 62634 1111 63 0 63473 0
vsize: 254144
[startup+60.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 65241 0 0 0 5861 134 0 0 25 0 1 0 777201338 270540800 65129 4294967295 134512640 134714508 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66050 65129 1111 63 0 65987 0
vsize: 264200
[startup+70.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 67650 0 0 0 6857 139 0 0 25 0 1 0 777201338 280289280 67538 4294967295 134512640 134714508 3221224592 3221223072 134539460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68430 67538 1111 63 0 68367 0
vsize: 273720
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 69773 0 0 0 7852 144 0 0 25 0 1 0 777201338 289091584 69661 4294967295 134512640 134714508 3221224592 3221222956 134539282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70579 69661 1111 63 0 70516 0
vsize: 282316
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 71948 0 0 0 8847 149 0 0 25 0 1 0 777201338 297893888 71836 4294967295 134512640 134714508 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72728 71836 1111 63 0 72665 0
vsize: 290912
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 73985 0 0 0 9843 153 0 0 25 0 1 0 777201338 306294784 73873 4294967295 134512640 134714508 3221224592 3221223168 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74779 73873 1111 63 0 74716 0
vsize: 299116
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 75955 0 0 0 10839 158 0 0 25 0 1 0 777201338 314429440 75843 4294967295 134512640 134714508 3221224592 3221222972 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76765 75843 1111 63 0 76702 0
vsize: 307060
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 77730 0 0 0 11836 161 0 0 25 0 1 0 777201338 321617920 77618 4294967295 134512640 134714508 3221224592 3221223100 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78520 77618 1111 63 0 78457 0
vsize: 314080
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 79400 0 0 0 12833 164 0 0 25 0 1 0 777201338 328523776 79288 4294967295 134512640 134714508 3221224592 3221223072 134536591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80206 79288 1111 63 0 80143 0
vsize: 320824
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 81187 0 0 0 13830 167 0 0 25 0 1 0 777201338 335847424 81075 4294967295 134512640 134714508 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81994 81075 1111 63 0 81931 0
vsize: 327976
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 82745 0 0 0 14827 171 0 0 25 0 1 0 777201338 342208512 82633 4294967295 134512640 134714508 3221224592 3221222984 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83547 82636 1111 63 0 83484 0
vsize: 334188
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 84216 0 0 0 15824 174 0 0 25 0 1 0 777201338 348176384 84104 4294967295 134512640 134714508 3221224592 3221223072 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85004 84104 1111 63 0 84941 0
vsize: 340016
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 85547 0 0 0 16821 177 0 0 25 0 1 0 777201338 353726464 85435 4294967295 134512640 134714508 3221224592 3221223152 134535757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86359 85435 1111 63 0 86296 0
vsize: 345436
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 86764 0 0 0 17818 180 0 0 25 0 1 0 777201338 358600704 86652 4294967295 134512640 134714508 3221224592 3221223000 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87549 86652 1111 63 0 87486 0
vsize: 350196
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 87967 0 0 0 18815 182 0 0 25 0 1 0 777201338 363618304 87855 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88774 87855 1111 63 0 88711 0
vsize: 355096
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 88917 0 0 0 19814 184 0 0 25 0 1 0 777201338 367411200 88805 4294967295 134512640 134714508 3221224592 3221223120 134528481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89700 88805 1111 63 0 89637 0
vsize: 358800
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 89860 0 0 0 20812 187 0 0 25 0 1 0 777201338 371347456 89748 4294967295 134512640 134714508 3221224592 3221223208 134543785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90661 89748 1111 63 0 90598 0
vsize: 362644
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 90563 0 0 0 21810 188 0 0 25 0 1 0 777201338 374194176 90451 4294967295 134512640 134714508 3221224592 3221223132 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91356 90451 1111 63 0 91293 0
vsize: 365424
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 91201 0 0 0 22809 190 0 0 25 0 1 0 777201338 376766464 91089 4294967295 134512640 134714508 3221224592 3221223080 134539581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91984 91089 1111 63 0 91921 0
vsize: 367936
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 91800 0 0 0 23807 192 0 0 25 0 1 0 777201338 379338752 91688 4294967295 134512640 134714508 3221224592 3221223216 134528943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92612 91688 1111 63 0 92549 0
vsize: 370448
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 92219 0 0 0 24806 193 0 0 25 0 1 0 777201338 380968960 92107 4294967295 134512640 134714508 3221224592 3221223000 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93010 92107 1111 63 0 92947 0
vsize: 372040
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 92773 0 0 0 25805 194 0 0 25 0 1 0 777201338 383275008 92661 4294967295 134512640 134714508 3221224592 3221223216 134529174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93573 92661 1111 63 0 93510 0
vsize: 374292
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 92941 0 0 0 26805 194 0 0 25 0 1 0 777201338 383954944 92829 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93739 92829 1111 63 0 93676 0
vsize: 374956
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 92954 0 0 0 27805 194 0 0 25 0 1 0 777201338 383954944 92842 4294967295 134512640 134714508 3221224592 3221223240 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93739 92842 1111 63 0 93676 0
vsize: 374956
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 92967 0 0 0 28805 194 0 0 25 0 1 0 777201338 384090112 92855 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92855 1111 63 0 93709 0
vsize: 375088
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 92975 0 0 0 29806 194 0 0 25 0 1 0 777201338 384090112 92863 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92863 1111 63 0 93709 0
vsize: 375088
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 92976 0 0 0 30806 194 0 0 25 0 1 0 777201338 384090112 92864 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92864 1111 63 0 93709 0
vsize: 375088
[startup+320.003 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 92980 0 0 0 31806 194 0 0 25 0 1 0 777201338 384090112 92868 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92868 1111 63 0 93709 0
vsize: 375088
[startup+330.004 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 92981 0 0 0 32806 194 0 0 25 0 1 0 777201338 384090112 92869 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92869 1111 63 0 93709 0
vsize: 375088
[startup+340.004 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 92986 0 0 0 33806 195 0 0 25 0 1 0 777201338 384090112 92874 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92874 1111 63 0 93709 0
vsize: 375088
[startup+350.003 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 92990 0 0 0 34806 195 0 0 25 0 1 0 777201338 384090112 92878 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92878 1111 63 0 93709 0
vsize: 375088
[startup+360.004 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 92994 0 0 0 35807 195 0 0 25 0 1 0 777201338 384225280 92882 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93805 92882 1111 63 0 93742 0
vsize: 375220
[startup+370.004 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 93707 0 0 0 36806 196 0 0 25 0 1 0 777201338 387117056 93595 4294967295 134512640 134714508 3221224592 3221221840 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94511 93595 1111 63 0 94448 0
vsize: 378044
[startup+380.004 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 95926 0 0 0 37799 202 0 0 25 0 1 0 777201338 391446528 94688 4294967295 134512640 134714508 3221224592 3221220556 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95568 94688 1111 63 0 95505 0
vsize: 382272
[startup+390.004 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 96050 0 0 0 38798 202 0 0 25 0 1 0 777201338 391770112 94800 4294967295 134512640 134714508 3221224592 3221220556 1074873478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95647 94800 1111 63 0 95584 0
vsize: 382588
[startup+400.004 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 96059 0 0 0 39799 202 0 0 25 0 1 0 777201338 391786496 94809 4294967295 134512640 134714508 3221224592 3221220556 1074873465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95651 94809 1111 63 0 95588 0
vsize: 382604
[startup+410.005 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 96093 0 0 0 40799 202 0 0 25 0 1 0 777201338 391786496 94829 4294967295 134512640 134714508 3221224592 3221220368 1074868778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95651 94829 1111 63 0 95588 0
vsize: 382604
[startup+420.004 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 96093 0 0 0 41799 202 0 0 25 0 1 0 777201338 391786496 94829 4294967295 134512640 134714508 3221224592 3221220740 1075114937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95651 94829 1111 63 0 95588 0
vsize: 382604
[startup+430.005 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97522 0 0 0 42796 205 0 0 25 0 1 0 777201338 388399104 94068 4294967295 134512640 134714508 3221224592 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94824 94068 1111 63 0 94761 0
vsize: 379296
[startup+440.004 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97522 0 0 0 43796 205 0 0 25 0 1 0 777201338 388399104 94068 4294967295 134512640 134714508 3221224592 3221222664 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94824 94068 1111 63 0 94761 0
vsize: 379296
[startup+450.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97523 0 0 0 44795 206 0 0 25 0 1 0 777201338 388399104 94069 4294967295 134512640 134714508 3221224592 3221223232 134696044 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94824 94069 1111 63 0 94761 0
vsize: 379296
[startup+460.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97523 0 0 0 45794 207 0 0 25 0 1 0 777201338 388399104 94069 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94824 94069 1111 63 0 94761 0
vsize: 379296
[startup+470.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97571 0 0 0 46793 208 0 0 25 0 1 0 777201338 388669440 94117 4294967295 134512640 134714508 3221224592 3221223140 134696712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94890 94117 1111 63 0 94827 0
vsize: 379560
[startup+480.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97647 0 0 0 47792 209 0 0 25 0 1 0 777201338 388927488 94193 4294967295 134512640 134714508 3221224592 3221223304 134528751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94953 94193 1111 63 0 94890 0
vsize: 379812
[startup+490.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97653 0 0 0 48792 210 0 0 25 0 1 0 777201338 388947968 94199 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94958 94199 1111 63 0 94895 0
vsize: 379832
[startup+500.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97678 0 0 0 49791 210 0 0 25 0 1 0 777201338 389083136 94224 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94991 94224 1111 63 0 94928 0
vsize: 379964
[startup+510.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97692 0 0 0 50791 211 0 0 25 0 1 0 777201338 389083136 94238 4294967295 134512640 134714508 3221224592 3221223376 134529365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94991 94238 1111 63 0 94928 0
vsize: 379964
[startup+520.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97729 0 0 0 51790 211 0 0 25 0 1 0 777201338 389300224 94275 4294967295 134512640 134714508 3221224592 3221223200 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95044 94275 1111 63 0 94981 0
vsize: 380176
[startup+530.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97777 0 0 0 52790 212 0 0 25 0 1 0 777201338 389263360 94286 4294967295 134512640 134714508 3221224592 3221223160 1077377185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95035 94286 1111 63 0 94972 0
vsize: 380140
[startup+540.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97794 0 0 0 53790 212 0 0 25 0 1 0 777201338 389246976 94282 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95031 94282 1111 63 0 94968 0
vsize: 380124
[startup+550.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4420
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97802 0 0 0 54790 213 0 0 25 0 1 0 777201338 389382144 94290 4294967295 134512640 134714508 3221224592 3221223148 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95064 94290 1111 63 0 95001 0
vsize: 380256
[startup+560.005 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 4473
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97802 0 0 0 55789 213 0 0 25 0 1 0 777201338 389382144 94290 4294967295 134512640 134714508 3221224592 3221223316 134652855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95064 94290 1111 63 0 95001 0
vsize: 380256
[startup+570.004 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 4473
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97814 0 0 0 56788 214 0 0 25 0 1 0 777201338 389382144 94302 4294967295 134512640 134714508 3221224592 3221223148 134539259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95064 94302 1111 63 0 95001 0
vsize: 380256
[startup+580.004 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 4473
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97817 0 0 0 57788 215 0 0 25 0 1 0 777201338 389382144 94305 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95064 94305 1111 63 0 95001 0
vsize: 380256
[startup+590.004 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 4473
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97847 0 0 0 58788 215 0 0 25 0 1 0 777201338 389414912 94323 4294967295 134512640 134714508 3221224592 3221223216 134539460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95072 94323 1111 63 0 95009 0
vsize: 380288
[startup+600.004 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 4473
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97847 0 0 0 59787 216 0 0 25 0 1 0 777201338 389414912 94323 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95072 94323 1111 63 0 95009 0
vsize: 380288
[startup+610.004 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 4473
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97847 0 0 0 60787 217 0 0 25 0 1 0 777201338 389414912 94323 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95072 94323 1111 63 0 95009 0
vsize: 380288
[startup+620.004 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4473
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97852 0 0 0 61786 217 0 0 25 0 1 0 777201338 389435392 94328 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95077 94328 1111 63 0 95014 0
vsize: 380308
[startup+630.004 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97863 0 0 0 62786 218 0 0 25 0 1 0 777201338 389574656 94339 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95111 94339 1111 63 0 95048 0
vsize: 380444
[startup+640.005 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97883 0 0 0 63785 219 0 0 25 0 1 0 777201338 389582848 94346 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95113 94346 1111 63 0 95050 0
vsize: 380452
[startup+650.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97888 0 0 0 64784 220 0 0 25 0 1 0 777201338 389582848 94351 4294967295 134512640 134714508 3221224592 3221223148 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95113 94351 1111 63 0 95050 0
vsize: 380452
[startup+660.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97888 0 0 0 65784 220 0 0 25 0 1 0 777201338 389582848 94351 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95113 94351 1111 63 0 95050 0
vsize: 380452
[startup+670.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97926 0 0 0 66782 222 0 0 25 0 1 0 777201338 389718016 94389 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95146 94389 1111 63 0 95083 0
vsize: 380584
[startup+680.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97926 0 0 0 67781 223 0 0 25 0 1 0 777201338 389718016 94389 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95146 94389 1111 63 0 95083 0
vsize: 380584
[startup+690.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97926 0 0 0 68780 224 0 0 25 0 1 0 777201338 389718016 94389 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95146 94389 1111 63 0 95083 0
vsize: 380584
[startup+700.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97932 0 0 0 69779 225 0 0 25 0 1 0 777201338 389750784 94395 4294967295 134512640 134714508 3221224592 3221223328 134528943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95154 94395 1111 63 0 95091 0
vsize: 380616
[startup+710.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 97945 0 0 0 70778 227 0 0 25 0 1 0 777201338 389885952 94408 4294967295 134512640 134714508 3221224592 3221223168 134543728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95187 94408 1111 63 0 95124 0
vsize: 380748
[startup+720.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98003 0 0 0 71776 229 0 0 25 0 1 0 777201338 389939200 94451 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95200 94451 1111 63 0 95137 0
vsize: 380800
[startup+730.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98042 0 0 0 72775 230 0 0 25 0 1 0 777201338 390127616 94490 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95246 94490 1111 63 0 95183 0
vsize: 380984
[startup+740.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98070 0 0 0 73775 231 0 0 25 0 1 0 777201338 390262784 94518 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95279 94518 1111 63 0 95216 0
vsize: 381116
[startup+750.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98070 0 0 0 74775 232 0 0 25 0 1 0 777201338 390213632 94518 4294967295 134512640 134714508 3221224592 3221223152 134696530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95267 94518 1111 63 0 95204 0
vsize: 381068
[startup+760.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98086 0 0 0 75774 232 0 0 25 0 1 0 777201338 390275072 94533 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95282 94533 1111 63 0 95219 0
vsize: 381128
[startup+770.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98133 0 0 0 76774 233 0 0 25 0 1 0 777201338 390545408 94580 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95348 94580 1111 63 0 95285 0
vsize: 381392
[startup+780.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98149 0 0 0 77774 234 0 0 25 0 1 0 777201338 390545408 94596 4294967295 134512640 134714508 3221224592 3221223320 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95348 94596 1111 63 0 95285 0
vsize: 381392
[startup+790.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98149 0 0 0 78773 235 0 0 25 0 1 0 777201338 390545408 94596 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95348 94596 1111 63 0 95285 0
vsize: 381392
[startup+800.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98149 0 0 0 79773 235 0 0 25 0 1 0 777201338 390545408 94596 4294967295 134512640 134714508 3221224592 3221223372 134600348 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95348 94596 1111 63 0 95285 0
vsize: 381392
[startup+810.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98186 0 0 0 80772 236 0 0 25 0 1 0 777201338 390766592 94633 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95402 94633 1111 63 0 95339 0
vsize: 381608
[startup+820.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98197 0 0 0 81771 237 0 0 25 0 1 0 777201338 390766592 94644 4294967295 134512640 134714508 3221224592 3221223232 134543108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95402 94644 1111 63 0 95339 0
vsize: 381608
[startup+830.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98213 0 0 0 82772 238 0 0 25 0 1 0 777201338 390844416 94660 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95421 94660 1111 63 0 95358 0
vsize: 381684
[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98239 0 0 0 83771 239 0 0 25 0 1 0 777201338 390987776 94686 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95456 94686 1111 63 0 95393 0
vsize: 381824
[startup+850.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98239 0 0 0 84771 240 0 0 25 0 1 0 777201338 390987776 94686 4294967295 134512640 134714508 3221224592 3221223152 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95456 94686 1111 63 0 95393 0
vsize: 381824
[startup+860.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98241 0 0 0 85771 240 0 0 25 0 1 0 777201338 390987776 94688 4294967295 134512640 134714508 3221224592 3221223220 134696237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95456 94688 1111 63 0 95393 0
vsize: 381824
[startup+870.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98241 0 0 0 86770 241 0 0 25 0 1 0 777201338 390987776 94688 4294967295 134512640 134714508 3221224592 3221223148 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95456 94688 1111 63 0 95393 0
vsize: 381824
[startup+880.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98241 0 0 0 87770 241 0 0 25 0 1 0 777201338 390975488 94688 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95453 94688 1111 63 0 95390 0
vsize: 381812
[startup+890.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98241 0 0 0 88770 242 0 0 25 0 1 0 777201338 390975488 94688 4294967295 134512640 134714508 3221224592 3221223280 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95453 94688 1111 63 0 95390 0
vsize: 381812
[startup+900.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98274 0 0 0 89769 243 0 0 25 0 1 0 777201338 391110656 94721 4294967295 134512640 134714508 3221224592 3221223232 134696032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95486 94721 1111 63 0 95423 0
vsize: 381944
[startup+910.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98281 0 0 0 90768 244 0 0 25 0 1 0 777201338 391106560 94728 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95485 94728 1111 63 0 95422 0
vsize: 381940
[startup+920.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4475
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98306 0 0 0 91768 244 0 0 25 0 1 0 777201338 391225344 94753 4294967295 134512640 134714508 3221224592 3221223200 134549444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95514 94753 1111 63 0 95451 0
vsize: 382056
[startup+930.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98307 0 0 0 92768 245 0 0 25 0 1 0 777201338 391225344 94754 4294967295 134512640 134714508 3221224592 3221223232 134543110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95514 94754 1111 63 0 95451 0
vsize: 382056
[startup+940.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98366 0 0 0 93767 245 0 0 25 0 1 0 777201338 391454720 94812 4294967295 134512640 134714508 3221224592 3221223200 134549460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95570 94812 1111 63 0 95507 0
vsize: 382280
[startup+950.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98375 0 0 0 94767 245 0 0 25 0 1 0 777201338 391454720 94821 4294967295 134512640 134714508 3221224592 3221223328 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95570 94821 1111 63 0 95507 0
vsize: 382280
[startup+960.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98375 0 0 0 95766 246 0 0 25 0 1 0 777201338 391454720 94821 4294967295 134512640 134714508 3221224592 3221223232 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95570 94821 1111 63 0 95507 0
vsize: 382280
[startup+970.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98393 0 0 0 96766 246 0 0 25 0 1 0 777201338 391581696 94839 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95601 94839 1111 63 0 95538 0
vsize: 382404
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98393 0 0 0 97766 247 0 0 25 0 1 0 777201338 391536640 94839 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95590 94839 1111 63 0 95527 0
vsize: 382360
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98416 0 0 0 98766 247 0 0 25 0 1 0 777201338 391667712 94862 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95622 94862 1111 63 0 95559 0
vsize: 382488
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98416 0 0 0 99766 247 0 0 25 0 1 0 777201338 391667712 94862 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95622 94862 1111 63 0 95559 0
vsize: 382488
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98416 0 0 0 100766 248 0 0 25 0 1 0 777201338 391667712 94862 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95622 94862 1111 63 0 95559 0
vsize: 382488
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98416 0 0 0 101766 248 0 0 25 0 1 0 777201338 391667712 94862 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95622 94862 1111 63 0 95559 0
vsize: 382488
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98416 0 0 0 102766 248 0 0 25 0 1 0 777201338 391667712 94862 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95622 94862 1111 63 0 95559 0
vsize: 382488
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98429 0 0 0 103765 249 0 0 25 0 1 0 777201338 391798784 94875 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95654 94875 1111 63 0 95591 0
vsize: 382616
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98429 0 0 0 104765 250 0 0 25 0 1 0 777201338 391778304 94875 4294967295 134512640 134714508 3221224592 3221223208 134613763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98429 0 0 0 105765 250 0 0 25 0 1 0 777201338 391778304 94875 4294967295 134512640 134714508 3221224592 3221223328 134529058 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98429 0 0 0 106765 250 0 0 25 0 1 0 777201338 391778304 94875 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98429 0 0 0 107764 251 0 0 25 0 1 0 777201338 391778304 94875 4294967295 134512640 134714508 3221224592 3221223168 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98429 0 0 0 108764 251 0 0 25 0 1 0 777201338 391778304 94875 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98429 0 0 0 109764 251 0 0 25 0 1 0 777201338 391778304 94875 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98429 0 0 0 110764 252 0 0 25 0 1 0 777201338 391778304 94875 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98429 0 0 0 111764 252 0 0 25 0 1 0 777201338 391778304 94875 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98429 0 0 0 112763 252 0 0 25 0 1 0 777201338 391778304 94875 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98439 0 0 0 113763 253 0 0 25 0 1 0 777201338 391778304 94885 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94885 1111 63 0 95586 0
vsize: 382596
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98439 0 0 0 114763 253 0 0 25 0 1 0 777201338 391778304 94885 4294967295 134512640 134714508 3221224592 3221223184 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94885 1111 63 0 95586 0
vsize: 382596
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98439 0 0 0 115763 253 0 0 25 0 1 0 777201338 391778304 94885 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94885 1111 63 0 95586 0
vsize: 382596
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98445 0 0 0 116763 254 0 0 25 0 1 0 777201338 391778304 94891 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94891 1111 63 0 95586 0
vsize: 382596
[startup+1175.06 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 4477
Raw data (stat): 4420 (bsolo_lpr_cuts) R 4419 24300 24299 0 -1 0 98445 0 0 0 116763 254 0 0 25 0 1 0 777201338 391778304 94891 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94891 1111 63 0 95586 0
vsize: 0

Child status: 0
Real time (s): 1175.06
CPU time (s): 1175.19
CPU user time (s): 1172.47
CPU system time (s): 2.71859
CPU usage (%): 100.011
Max. virtual memory (Kb): 382616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####