PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08aCUTS.opb
MD5SUM	d1b87efc35bcd73acfc5183bbe3df4f0
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2304
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	178464600
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	178464600
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	3288
Total number of constraints	374
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	64
Number of constraints which are nor clauses,nor cardinality constraints	310
Minimum length of a constraint	1
Maximum length of a constraint	123
Trace number 41532

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 14:57:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29594 boxname=wulflinc3 idbench=1378 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  d1b87efc35bcd73acfc5183bbe3df4f0  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-pp08aCUTS.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-pp08aCUTS.opb
IDLAUNCH: 29594
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        907304 kB
Buffers:         10312 kB
Cached:          97328 kB
SwapCached:        684 kB
Active:          29636 kB
Inactive:        79976 kB
HighTotal:      131008 kB
HighFree:        34860 kB
LowTotal:       903652 kB
LowFree:        872444 kB
SwapTotal:     2097136 kB
SwapFree:      2095376 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5008 kB
Slab:            12016 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 15:17:27 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 29594 7 1175.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3288 variables and 374 constraints.
c After prepocess the problem consists of 3288 variables and 329 constraints.
c preprocess terminated 2.036 s
c Initial Lower Bound: 701518
c Lower Bound Elapsed time: 0.93775
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.06 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 11727
Raw data (stat): 11727 (runsolver) R 11726 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911164566 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 11727
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 7672 0 0 0 976 21 0 0 25 0 1 0 911164566 21975040 4619 4294967295 134512640 134716908 3221224560 3221221480 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5365 4619 1111 63 0 5302 0
vsize: 21460
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 11727
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 11172 0 0 0 1968 29 0 0 25 0 1 0 911164566 21983232 4631 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5367 4631 1111 63 0 5304 0
vsize: 21468
[startup+30.002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 11727
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 14528 0 0 0 2961 36 0 0 25 0 1 0 911164566 21680128 4598 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5293 4598 1111 63 0 5230 0
vsize: 21172
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 11727
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 18102 0 0 0 3952 46 0 0 25 0 1 0 911164566 21983232 4631 4294967295 134512640 134716908 3221224560 3221220500 1074786588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5367 4631 1111 63 0 5304 0
vsize: 21468
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 11727
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 21999 0 0 0 4941 56 0 0 25 0 1 0 911164566 21983232 4631 4294967295 134512640 134716908 3221224560 3221221328 1076083552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5367 4631 1111 63 0 5304 0
vsize: 21468
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11727
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 25454 0 0 0 5933 65 0 0 25 0 1 0 911164566 21983232 4630 4294967295 134512640 134716908 3221224560 3221220604 1074873512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5367 4630 1111 63 0 5304 0
vsize: 21468
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11727
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 29246 0 0 0 6925 73 0 0 25 0 1 0 911164566 21966848 4626 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5363 4626 1111 63 0 5300 0
vsize: 21452
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11727
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 33036 0 0 0 7917 81 0 0 25 0 1 0 911164566 21966848 4627 4294967295 134512640 134716908 3221224560 3221220564 1074875843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5363 4627 1111 63 0 5300 0
vsize: 21452
[startup+90.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11727
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 37305 0 0 0 8907 91 0 0 25 0 1 0 911164566 21200896 4481 4294967295 134512640 134716908 3221224560 3221222320 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4481 1111 63 0 5113 0
vsize: 20704
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11727
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 41987 0 0 0 9895 103 0 0 25 0 1 0 911164566 22007808 4617 4294967295 134512640 134716908 3221224560 3221220632 1074950201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5373 4617 1111 63 0 5310 0
vsize: 21492
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11727
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 46363 0 0 0 10887 112 0 0 25 0 1 0 911164566 21200896 4481 4294967295 134512640 134716908 3221224560 3221222320 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4481 1111 63 0 5113 0
vsize: 20704
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11727
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 50704 0 0 0 11878 122 0 0 25 0 1 0 911164566 21200896 4481 4294967295 134512640 134716908 3221224560 3221221904 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4481 1111 63 0 5113 0
vsize: 20704
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11727
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 54948 0 0 0 12869 131 0 0 25 0 1 0 911164566 21200896 4481 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4481 1111 63 0 5113 0
vsize: 20704
[startup+140.006 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 11780
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 59758 0 0 0 13857 143 0 0 25 0 1 0 911164566 21975040 4612 4294967295 134512640 134716908 3221224560 3221220500 1074786464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5365 4612 1111 63 0 5302 0
vsize: 21460
[startup+150.014 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 11780
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 64884 0 0 0 14846 154 0 0 25 0 1 0 911164566 21975040 4607 4294967295 134512640 134716908 3221224560 3221220776 1074950102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5365 4607 1111 63 0 5302 0
vsize: 21460
[startup+160.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 11780
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 70080 0 0 0 15835 166 0 0 25 0 1 0 911164566 22056960 4628 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5385 4628 1111 63 0 5322 0
vsize: 21540
[startup+170.015 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 11780
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 74900 0 0 0 16822 179 0 0 25 0 1 0 911164566 22097920 4638 4294967295 134512640 134716908 3221224560 3221220524 1074860632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5395 4638 1111 63 0 5332 0
vsize: 21580
[startup+180.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11780
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 79271 0 0 0 17810 191 0 0 25 0 1 0 911164566 21200896 4481 4294967295 134512640 134716908 3221224560 3221221888 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5176 4481 1111 63 0 5113 0
vsize: 20704
[startup+190.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11780
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 84272 0 0 0 18797 204 0 0 25 0 1 0 911164566 22065152 4629 4294967295 134512640 134716908 3221224560 3221220500 1074786528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5387 4629 1111 63 0 5324 0
vsize: 21548
[startup+200.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11780
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 89052 0 0 0 19787 215 0 0 25 0 1 0 911164566 21983232 4627 4294967295 134512640 134716908 3221224560 3221220632 1074950204 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5367 4627 1111 63 0 5304 0
vsize: 21468
[startup+210.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 93740 0 0 0 20775 227 0 0 25 0 1 0 911164566 21979136 4625 4294967295 134512640 134716908 3221224560 3221220524 1074860601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5366 4625 1111 63 0 5303 0
vsize: 21464
[startup+220.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 98536 0 0 0 21761 241 0 0 25 0 1 0 911164566 21966848 4622 4294967295 134512640 134716908 3221224560 3221221072 1076045766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5363 4622 1111 63 0 5300 0
vsize: 21452
[startup+230.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 103094 0 0 0 22751 250 0 0 25 0 1 0 911164566 21200896 4481 4294967295 134512640 134716908 3221224560 3221222176 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5176 4481 1111 63 0 5113 0
vsize: 20704
[startup+240.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 107673 0 0 0 23739 263 0 0 25 0 1 0 911164566 21999616 4613 4294967295 134512640 134716908 3221224560 3221221624 1075007310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5371 4613 1111 63 0 5308 0
vsize: 21484
[startup+250.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 112263 0 0 0 24727 275 0 0 25 0 1 0 911164566 21200896 4482 4294967295 134512640 134716908 3221224560 3221221840 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5176 4482 1111 63 0 5113 0
vsize: 20704
[startup+260.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 117834 0 0 0 25714 289 0 0 25 0 1 0 911164566 21696512 4532 4294967295 134512640 134716908 3221224560 3221222384 1075823337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5297 4532 1111 63 0 5234 0
vsize: 21188
[startup+270.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 123496 0 0 0 26700 302 0 0 25 0 1 0 911164566 21966848 4606 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5363 4606 1111 63 0 5300 0
vsize: 21452
[startup+280.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 128674 0 0 0 27687 316 0 0 25 0 1 0 911164566 21200896 4482 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5176 4482 1111 63 0 5113 0
vsize: 20704
[startup+290.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 133681 0 0 0 28675 328 0 0 25 0 1 0 911164566 21356544 4513 4294967295 134512640 134716908 3221224560 3221221752 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5250 4513 1111 63 0 5187 0
vsize: 20856
[startup+300.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 138516 0 0 0 29661 342 0 0 25 0 1 0 911164566 21200896 4482 4294967295 134512640 134716908 3221224560 3221222168 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5176 4482 1111 63 0 5113 0
vsize: 20704
[startup+310.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 143514 0 0 0 30649 354 0 0 25 0 1 0 911164566 21667840 4515 4294967295 134512640 134716908 3221224560 3221221600 1075860004 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5290 4515 1111 63 0 5227 0
vsize: 21160
[startup+320.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 148474 0 0 0 31637 366 0 0 25 0 1 0 911164566 21200896 4482 4294967295 134512640 134716908 3221224560 3221222336 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5176 4482 1111 63 0 5113 0
vsize: 20704
[startup+330.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 153255 0 0 0 32624 380 0 0 25 0 1 0 911164566 21618688 4512 4294967295 134512640 134716908 3221224560 3221222672 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5278 4512 1111 63 0 5215 0
vsize: 21112
[startup+340.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 157986 0 0 0 33612 392 0 0 25 0 1 0 911164566 21200896 4482 4294967295 134512640 134716908 3221224560 3221221912 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5176 4482 1111 63 0 5113 0
vsize: 20704
[startup+350.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 162717 0 0 0 34599 405 0 0 25 0 1 0 911164566 21200896 4482 4294967295 134512640 134716908 3221224560 3221221912 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5176 4482 1111 63 0 5113 0
vsize: 20704
[startup+360.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 167222 0 0 0 35587 418 0 0 25 0 1 0 911164566 21889024 4585 4294967295 134512640 134716908 3221224560 3221220668 1075895472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5344 4585 1111 63 0 5281 0
vsize: 21376
[startup+370.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 171723 0 0 0 36575 430 0 0 25 0 1 0 911164566 21200896 4482 4294967295 134512640 134716908 3221224560 3221222000 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5176 4482 1111 63 0 5113 0
vsize: 20704
[startup+380.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 176481 0 0 0 37563 441 0 0 25 0 1 0 911164566 21200896 4482 4294967295 134512640 134716908 3221224560 3221222248 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5176 4482 1111 63 0 5113 0
vsize: 20704
[startup+390.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 181996 0 0 0 38549 456 0 0 25 0 1 0 911164566 21200896 4482 4294967295 134512640 134716908 3221224560 3221222224 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5176 4482 1111 63 0 5113 0
vsize: 20704
[startup+400.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 188082 0 0 0 39531 474 0 0 25 0 1 0 911164566 21680128 4529 4294967295 134512640 134716908 3221224560 3221222480 1075799488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5293 4529 1111 63 0 5230 0
vsize: 21172
[startup+410.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 195218 0 0 0 40514 491 0 0 25 0 1 0 911164566 21282816 4502 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5196 4502 1111 63 0 5133 0
vsize: 20784
[startup+420.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 204297 0 0 0 41492 513 0 0 25 0 1 0 911164566 21241856 4492 4294967295 134512640 134716908 3221224560 3221222480 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5186 4492 1111 63 0 5123 0
vsize: 20744
[startup+430.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 214487 0 0 0 42467 538 0 0 25 0 1 0 911164566 21536768 4565 4294967295 134512640 134716908 3221224560 3221222288 1075635971 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5258 4565 1111 63 0 5195 0
vsize: 21032
[startup+440.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 224808 0 0 0 43443 563 0 0 25 0 1 0 911164566 21241856 4493 4294967295 134512640 134716908 3221224560 3221221944 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5186 4493 1111 63 0 5123 0
vsize: 20744
[startup+450.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11782
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 234928 0 0 0 44419 587 0 0 25 0 1 0 911164566 22114304 4651 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5399 4651 1111 63 0 5336 0
vsize: 21596
[startup+460.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 245345 0 0 0 45394 612 0 0 25 0 1 0 911164566 21504000 4557 4294967295 134512640 134716908 3221224560 3221222560 1074918266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5250 4557 1111 63 0 5187 0
vsize: 21000
[startup+470.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 255668 0 0 0 46368 638 0 0 25 0 1 0 911164566 21200896 4483 4294967295 134512640 134716908 3221224560 3221222296 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5176 4483 1111 63 0 5113 0
vsize: 20704
[startup+480.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 267233 0 0 0 47338 668 0 0 25 0 1 0 911164566 21811200 4560 4294967295 134512640 134716908 3221224560 3221222672 1074867274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 4560 1111 63 0 5262 0
vsize: 21300
[startup+490.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 278682 0 0 0 48308 699 0 0 25 0 1 0 911164566 22286336 4676 4294967295 134512640 134716908 3221224560 3221222672 1074867283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5441 4676 1111 63 0 5378 0
vsize: 21764
[startup+500.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 287345 0 0 0 49288 719 0 0 25 0 1 0 911164566 22044672 4657 4294967295 134512640 134716908 3221224560 3221222560 1074916558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5382 4657 1111 63 0 5319 0
vsize: 21528
[startup+510.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 295714 0 0 0 50267 740 0 0 25 0 1 0 911164566 22409216 4733 4294967295 134512640 134716908 3221224560 3221221584 1074810531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5471 4733 1111 63 0 5408 0
vsize: 21884
[startup+520.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 303782 0 0 0 51249 758 0 0 25 0 1 0 911164566 21667840 4587 4294967295 134512640 134716908 3221224560 3221222096 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5290 4587 1111 63 0 5227 0
vsize: 21160
[startup+530.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 310779 0 0 0 52233 774 0 0 25 0 1 0 911164566 22228992 4661 4294967295 134512640 134716908 3221224560 3221222672 1074867264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5427 4661 1111 63 0 5364 0
vsize: 21708
[startup+540.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 317297 0 0 0 53216 791 0 0 25 0 1 0 911164566 21667840 4597 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5290 4597 1111 63 0 5227 0
vsize: 21160
[startup+550.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 323685 0 0 0 54200 808 0 0 25 0 1 0 911164566 21630976 4588 4294967295 134512640 134716908 3221224560 3221222272 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5281 4588 1111 63 0 5218 0
vsize: 21124
[startup+560.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 330089 0 0 0 55183 825 0 0 25 0 1 0 911164566 21835776 4638 4294967295 134512640 134716908 3221224560 3221222960 1074118797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5331 4638 1111 63 0 5268 0
vsize: 21324
[startup+570.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 336243 0 0 0 56169 839 0 0 25 0 1 0 911164566 21630976 4588 4294967295 134512640 134716908 3221224560 3221222556 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5281 4588 1111 63 0 5218 0
vsize: 21124
[startup+580.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 342428 0 0 0 57152 856 0 0 25 0 1 0 911164566 21667840 4597 4294967295 134512640 134716908 3221224560 3221223300 134556729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5290 4597 1111 63 0 5227 0
vsize: 21160
[startup+590.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 348309 0 0 0 58136 873 0 0 25 0 1 0 911164566 21630976 4588 4294967295 134512640 134716908 3221224560 3221221776 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5281 4588 1111 63 0 5218 0
vsize: 21124
[startup+600.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 352732 0 0 0 59124 884 0 0 25 0 1 0 911164566 22290432 4676 4294967295 134512640 134716908 3221224560 3221220524 1074860657 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5442 4676 1111 63 0 5379 0
vsize: 21768
[startup+610.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 359308 0 0 0 60107 902 0 0 25 0 1 0 911164566 21630976 4588 4294967295 134512640 134716908 3221224560 3221222584 1074138279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5281 4588 1111 63 0 5218 0
vsize: 21124
[startup+620.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 367586 0 0 0 61086 922 0 0 25 0 1 0 911164566 21630976 4588 4294967295 134512640 134716908 3221224560 3221222624 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5281 4588 1111 63 0 5218 0
vsize: 21124
[startup+630.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 376881 0 0 0 62063 946 0 0 25 0 1 0 911164566 21778432 4624 4294967295 134512640 134716908 3221224560 3221221916 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5317 4624 1111 63 0 5254 0
vsize: 21268
[startup+640.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 387562 0 0 0 63035 974 0 0 25 0 1 0 911164566 21954560 4661 4294967295 134512640 134716908 3221224560 3221223024 1074119512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5360 4661 1111 63 0 5297 0
vsize: 21440
[startup+650.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 398921 0 0 0 64007 1002 0 0 25 0 1 0 911164566 21819392 4634 4294967295 134512640 134716908 3221224560 3221221716 1077378768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5327 4634 1111 63 0 5264 0
vsize: 21308
[startup+660.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 409797 0 0 0 64980 1029 0 0 25 0 1 0 911164566 21819392 4634 4294967295 134512640 134716908 3221224560 3221222272 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5327 4634 1111 63 0 5264 0
vsize: 21308
[startup+670.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 420740 0 0 0 65954 1056 0 0 25 0 1 0 911164566 22831104 4824 4294967295 134512640 134716908 3221224560 3221221588 1075964258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5538 4821 1111 63 0 5475 0
vsize: 22296
[startup+680.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 430800 0 0 0 66928 1082 0 0 25 0 1 0 911164566 22196224 4694 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5419 4700 1111 63 0 5356 0
vsize: 21676
[startup+690.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 440582 0 0 0 67904 1106 0 0 25 0 1 0 911164566 22609920 4757 4294967295 134512640 134716908 3221224560 3221222672 1074867264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5520 4757 1111 63 0 5457 0
vsize: 22080
[startup+700.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 450584 0 0 0 68880 1130 0 0 25 0 1 0 911164566 22376448 4769 4294967295 134512640 134716908 3221224560 3221221752 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5547 4773 1111 63 0 5484 0
vsize: 21852
[startup+710.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 460687 0 0 0 69856 1154 0 0 25 0 1 0 911164566 22495232 4794 4294967295 134512640 134716908 3221224560 3221222304 1075636592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5492 4794 1111 63 0 5429 0
vsize: 21968
[startup+720.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 470402 0 0 0 70833 1179 0 0 25 0 1 0 911164566 22446080 4787 4294967295 134512640 134716908 3221224560 3221222352 134652482 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5480 4787 1111 63 0 5417 0
vsize: 21920
[startup+730.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 475490 0 0 0 71817 1194 0 0 25 0 1 0 911164566 23195648 4899 4294967295 134512640 134716908 3221224560 3221220800 1075115712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5663 4899 1111 63 0 5600 0
vsize: 22652
[startup+740.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 482452 0 0 0 72800 1212 0 0 25 0 1 0 911164566 22597632 4824 4294967295 134512640 134716908 3221224560 3221222564 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5517 4824 1111 63 0 5454 0
vsize: 22068
[startup+750.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 490866 0 0 0 73779 1233 0 0 25 0 1 0 911164566 22769664 4866 4294967295 134512640 134716908 3221224560 3221223024 1074121088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5559 4866 1111 63 0 5496 0
vsize: 22236
[startup+760.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 499833 0 0 0 74754 1258 0 0 25 0 1 0 911164566 23408640 4946 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5715 4946 1111 63 0 5652 0
vsize: 22860
[startup+770.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 508757 0 0 0 75733 1279 0 0 25 0 1 0 911164566 22679552 4844 4294967295 134512640 134716908 3221224560 3221222416 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5537 4844 1111 63 0 5474 0
vsize: 22148
[startup+780.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 518358 0 0 0 76709 1303 0 0 25 0 1 0 911164566 23650304 5007 4294967295 134512640 134716908 3221224560 3221220704 1074970836 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5774 5007 1111 63 0 5711 0
vsize: 23096
[startup+790.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 529048 0 0 0 77681 1332 0 0 25 0 1 0 911164566 23420928 4961 4294967295 134512640 134716908 3221224560 3221221592 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5718 4961 1111 63 0 5655 0
vsize: 22872
[startup+800.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 539251 0 0 0 78657 1356 0 0 25 0 1 0 911164566 23158784 4925 4294967295 134512640 134716908 3221224560 3221222240 1075895007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4925 1111 63 0 5591 0
vsize: 22616
[startup+810.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 549458 0 0 0 79629 1384 0 0 25 0 1 0 911164566 24076288 5099 4294967295 134512640 134716908 3221224560 3221221504 1074620040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5878 5099 1111 63 0 5815 0
vsize: 23512
[startup+820.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 559589 0 0 0 80605 1408 0 0 25 0 1 0 911164566 23150592 4927 4294967295 134512640 134716908 3221224560 3221222576 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5652 4927 1111 63 0 5589 0
vsize: 22608
[startup+830.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 569404 0 0 0 81578 1436 0 0 25 0 1 0 911164566 23023616 4928 4294967295 134512640 134716908 3221224560 3221222096 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5621 4928 1111 63 0 5558 0
vsize: 22484
[startup+840.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 579435 0 0 0 82551 1463 0 0 25 0 1 0 911164566 23597056 5063 4294967295 134512640 134716908 3221224560 3221222960 1074118800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5758 5060 1111 63 0 5695 0
vsize: 23044
[startup+850.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 589459 0 0 0 83524 1490 0 0 25 0 1 0 911164566 23760896 5092 4294967295 134512640 134716908 3221224560 3221221664 1074138683 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5801 5092 1111 63 0 5738 0
vsize: 23204
[startup+860.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 599213 0 0 0 84502 1512 0 0 25 0 1 0 911164566 24174592 5156 4294967295 134512640 134716908 3221224560 3221220764 1075563864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5902 5156 1111 63 0 5839 0
vsize: 23608
[startup+870.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 608913 0 0 0 85480 1534 0 0 25 0 1 0 911164566 23719936 5084 4294967295 134512640 134716908 3221224560 3221222560 1074918220 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5791 5084 1111 63 0 5728 0
vsize: 23164
[startup+880.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 618581 0 0 0 86457 1557 0 0 25 0 1 0 911164566 23785472 5110 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5807 5110 1111 63 0 5744 0
vsize: 23228
[startup+890.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 628085 0 0 0 87434 1581 0 0 25 0 1 0 911164566 23367680 5012 4294967295 134512640 134716908 3221224560 3221222816 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5705 5012 1111 63 0 5642 0
vsize: 22820
[startup+900.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 637795 0 0 0 88409 1606 0 0 25 0 1 0 911164566 23437312 5029 4294967295 134512640 134716908 3221224560 3221222360 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5722 5029 1111 63 0 5659 0
vsize: 22888
[startup+910.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 647799 0 0 0 89383 1632 0 0 25 0 1 0 911164566 24477696 5211 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5976 5211 1111 63 0 5913 0
vsize: 23904
[startup+920.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 657678 0 0 0 90356 1659 0 0 25 0 1 0 911164566 24498176 5237 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5981 5237 1111 63 0 5918 0
vsize: 23924
[startup+930.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 667438 0 0 0 91331 1684 0 0 25 0 1 0 911164566 23715840 5080 4294967295 134512640 134716908 3221224560 3221221904 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5790 5080 1111 63 0 5727 0
vsize: 23160
[startup+940.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 677087 0 0 0 92308 1708 0 0 25 0 1 0 911164566 23678976 5088 4294967295 134512640 134716908 3221224560 3221222104 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5781 5088 1111 63 0 5718 0
vsize: 23124
[startup+950.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 686962 0 0 0 93284 1732 0 0 25 0 1 0 911164566 24162304 5206 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5899 5206 1111 63 0 5836 0
vsize: 23596
[startup+960.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 696903 0 0 0 94258 1758 0 0 25 0 1 0 911164566 24215552 5214 4294967295 134512640 134716908 3221224560 3221221664 1074138887 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5912 5214 1111 63 0 5849 0
vsize: 23648
[startup+970.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 706809 0 0 0 95232 1784 0 0 25 0 1 0 911164566 23789568 5115 4294967295 134512640 134716908 3221224560 3221221752 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5808 5115 1111 63 0 5745 0
vsize: 23232
[startup+980.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 716825 0 0 0 96208 1809 0 0 25 0 1 0 911164566 24784896 5306 4294967295 134512640 134716908 3221224560 3221220876 1074960596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6051 5306 1111 63 0 5988 0
vsize: 24204
[startup+990.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 727387 0 0 0 97180 1837 0 0 25 0 1 0 911164566 24920064 5340 4294967295 134512640 134716908 3221224560 3221220928 1075894554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6084 5340 1111 63 0 6021 0
vsize: 24336
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 737046 0 0 0 98158 1858 0 0 25 0 1 0 911164566 24080384 5186 4294967295 134512640 134716908 3221224560 3221222520 1074138163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5879 5186 1111 63 0 5816 0
vsize: 23516
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 746745 0 0 0 99133 1884 0 0 25 0 1 0 911164566 24707072 5339 4294967295 134512640 134716908 3221224560 3221223200 134651168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6032 5339 1111 63 0 5969 0
vsize: 24128
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 756392 0 0 0 100110 1907 0 0 25 0 1 0 911164566 24956928 5329 4294967295 134512640 134716908 3221224560 3221222384 1075823456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6093 5329 1111 63 0 6030 0
vsize: 24372
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 766062 0 0 0 101085 1932 0 0 25 0 1 0 911164566 24473600 5251 4294967295 134512640 134716908 3221224560 3221222096 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5975 5251 1111 63 0 5912 0
vsize: 23900
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 775718 0 0 0 102062 1955 0 0 25 0 1 0 911164566 24342528 5250 4294967295 134512640 134716908 3221224560 3221222728 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5943 5250 1111 63 0 5880 0
vsize: 23772
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 785499 0 0 0 103037 1981 0 0 25 0 1 0 911164566 25305088 5430 4294967295 134512640 134716908 3221224560 3221221600 1075859954 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6178 5430 1111 63 0 6115 0
vsize: 24712
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 795333 0 0 0 104012 2006 0 0 25 0 1 0 911164566 24440832 5274 4294967295 134512640 134716908 3221224560 3221222560 1074056563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5967 5274 1111 63 0 5904 0
vsize: 23868
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 806100 0 0 0 104983 2035 0 0 25 0 1 0 911164566 24440832 5274 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5967 5274 1111 63 0 5904 0
vsize: 23868
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 815757 0 0 0 105961 2057 0 0 25 0 1 0 911164566 25423872 5461 4294967295 134512640 134716908 3221224560 3221221488 1075960357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6207 5461 1111 63 0 6144 0
vsize: 24828
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 825561 0 0 0 106934 2084 0 0 25 0 1 0 911164566 24494080 5287 4294967295 134512640 134716908 3221224560 3221222152 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5980 5287 1111 63 0 5917 0
vsize: 23920
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 835396 0 0 0 107909 2109 0 0 25 0 1 0 911164566 25489408 5478 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6223 5478 1111 63 0 6160 0
vsize: 24892
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 845308 0 0 0 108883 2136 0 0 25 0 1 0 911164566 24702976 5306 4294967295 134512640 134716908 3221224560 3221222576 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6031 5306 1111 63 0 5968 0
vsize: 24124
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 855682 0 0 0 109855 2164 0 0 25 0 1 0 911164566 25702400 5528 4294967295 134512640 134716908 3221224560 3221220524 1074860611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6275 5528 1111 63 0 6212 0
vsize: 25100
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 3/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 864471 0 0 0 110831 2188 0 0 25 0 1 0 911164566 25030656 5418 4294967295 134512640 134716908 3221224560 3221222480 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6111 5418 1111 63 0 6048 0
vsize: 24444
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 871544 0 0 0 111812 2207 0 0 25 0 1 0 911164566 25604096 5487 4294967295 134512640 134716908 3221224560 3221222672 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6251 5487 1111 63 0 6188 0
vsize: 25004
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 880983 0 0 0 112787 2232 0 0 25 0 1 0 911164566 25112576 5438 4294967295 134512640 134716908 3221224560 3221222128 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6131 5438 1111 63 0 6068 0
vsize: 24524
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 891119 0 0 0 113759 2260 0 0 25 0 1 0 911164566 25112576 5438 4294967295 134512640 134716908 3221224560 3221222648 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6131 5438 1111 63 0 6068 0
vsize: 24524
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 899805 0 0 0 114739 2281 0 0 25 0 1 0 911164566 25825280 5619 4294967295 134512640 134716908 3221224560 3221222960 1074118879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6305 5619 1111 63 0 6242 0
vsize: 25220
[startup+1174.92 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 11784
Raw data (stat): 11727 (bsolo_lpr_cuts-) R 11726 20224 20223 0 -1 0 899805 0 0 0 114739 2281 0 0 25 0 1 0 911164566 25825280 5619 4294967295 134512640 134716908 3221224560 3221222960 1074118879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6305 5619 1111 63 0 6242 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.08
CPU user time (s): 1152.17
CPU system time (s): 22.9095
CPU usage (%): 100.014
Max. virtual memory (Kb): 25220
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####