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 27220

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 20:13:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17903 boxname=wulflinc31 idbench=1378 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  d1b87efc35bcd73acfc5183bbe3df4f0  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-pp08aCUTS.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-pp08aCUTS.opb
IDLAUNCH: 17903
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        876480 kB
Buffers:         18208 kB
Cached:         119344 kB
SwapCached:       1236 kB
Active:          45228 kB
Inactive:        94796 kB
HighTotal:      131008 kB
HighFree:        77952 kB
LowTotal:       903652 kB
LowFree:        798528 kB
SwapTotal:     2097892 kB
SwapFree:      2096052 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5436 kB
Slab:            12644 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 20:33:20 (client local time) WITH STATUS 0 IN 1175.17 SECONDS
stats: 17903 7 1175.17 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.038 s
c Initial Lower Bound: 701518
c Lower Bound Elapsed time: 0.97825
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.15 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): 1.14 1.02 0.93 2/55 2032
Raw data (stat): 2032 (runsolver) R 2031 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833012017 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 1.12 1.02 0.93 2/55 2034
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 7844 0 0 0 979 18 0 0 25 0 1 0 833012017 22142976 4643 4294967295 134512640 134714508 3221224576 3221221144 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4643 1111 63 0 5343 0
vsize: 21624
[startup+20.0018 s]
Raw data (loadavg): 1.10 1.02 0.93 2/55 2034
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 11135 0 1 0 1968 24 0 0 25 0 1 0 833012017 22142976 4655 4294967295 134512640 134714508 3221224576 3221220736 1074794589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4655 1111 63 0 5343 0
vsize: 21624
[startup+30.0024 s]
Raw data (loadavg): 1.08 1.02 0.93 2/55 2034
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 15322 0 1 0 2959 34 0 0 25 0 1 0 833012017 22142976 4654 4294967295 134512640 134714508 3221224576 3221220620 1074873504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4654 1111 63 0 5343 0
vsize: 21624
[startup+40.0023 s]
Raw data (loadavg): 1.07 1.02 0.93 2/55 2034
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 18969 0 1 0 3950 43 0 0 25 0 1 0 833012017 22126592 4648 4294967295 134512640 134714508 3221224576 3221220648 1074950198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5402 4648 1111 63 0 5339 0
vsize: 21608
[startup+50.0035 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 2034
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 22585 0 1 0 4942 51 0 0 25 0 1 0 833012017 22118400 4648 4294967295 134512640 134714508 3221224576 3221220896 1075116184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5400 4648 1111 63 0 5337 0
vsize: 21600
[startup+60.0032 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 2034
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 26150 0 1 0 5933 60 0 0 25 0 1 0 833012017 22106112 4645 4294967295 134512640 134714508 3221224576 3221221168 1074885201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4645 1111 63 0 5334 0
vsize: 21588
[startup+70.0041 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 2036
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 30116 0 1 0 6924 69 0 0 25 0 1 0 833012017 22106112 4644 4294967295 134512640 134714508 3221224576 3221220540 1074860598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4644 1111 63 0 5334 0
vsize: 21588
[startup+80.0044 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 2036
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 34273 0 1 0 7916 78 0 0 25 0 1 0 833012017 21356544 4521 4294967295 134512640 134714508 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5214 4521 1111 63 0 5151 0
vsize: 20856
[startup+90.004 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 2036
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 38459 0 1 0 8904 90 0 0 25 0 1 0 833012017 22102016 4643 4294967295 134512640 134714508 3221224576 3221220704 1075561218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4643 1111 63 0 5333 0
vsize: 21584
[startup+100.004 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 2036
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 42811 0 1 0 9893 101 0 0 25 0 1 0 833012017 22089728 4639 4294967295 134512640 134714508 3221224576 3221220560 1074875169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5393 4639 1111 63 0 5330 0
vsize: 21572
[startup+110.004 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 2036
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 47079 0 1 0 10881 113 0 0 25 0 1 0 833012017 22085632 4638 4294967295 134512640 134714508 3221224576 3221221344 1076084166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5392 4638 1111 63 0 5329 0
vsize: 21568
[startup+120.005 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 2036
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 51331 0 1 0 11871 123 0 0 25 0 1 0 833012017 22085632 4638 4294967295 134512640 134714508 3221224576 3221220620 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5392 4638 1111 63 0 5329 0
vsize: 21568
[startup+130.005 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 2038
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 55916 0 1 0 12860 134 0 0 25 0 1 0 833012017 22073344 4636 4294967295 134512640 134714508 3221224576 3221220704 1075561204 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5389 4636 1111 63 0 5326 0
vsize: 21556
[startup+140.005 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 2038
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 60433 0 1 0 13849 146 0 0 25 0 1 0 833012017 22056960 4633 4294967295 134512640 134714508 3221224576 3221220736 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5385 4633 1111 63 0 5322 0
vsize: 21540
[startup+150.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 2038
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 65416 0 1 0 14837 158 0 0 25 0 1 0 833012017 21200896 4483 4294967295 134512640 134714508 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4483 1111 63 0 5113 0
vsize: 20704
[startup+160.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 2038
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 70776 0 1 0 15825 170 0 0 25 0 1 0 833012017 22036480 4628 4294967295 134512640 134714508 3221224576 3221220648 1074950169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5380 4628 1111 63 0 5317 0
vsize: 21520
[startup+170.007 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 2038
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 76894 0 1 0 16810 185 0 0 25 0 1 0 833012017 21532672 4542 4294967295 134512640 134714508 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5257 4548 1111 63 0 5194 0
vsize: 21028
[startup+180.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2038
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 82364 0 1 0 17796 199 0 0 25 0 1 0 833012017 22142976 4651 4294967295 134512640 134714508 3221224576 3221221616 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4651 1111 63 0 5343 0
vsize: 21624
[startup+190.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2040
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 86776 0 1 0 18785 211 0 0 25 0 1 0 833012017 21729280 4547 4294967295 134512640 134714508 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5305 4548 1111 63 0 5242 0
vsize: 21220
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2040
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 91146 0 1 0 19774 221 0 0 25 0 1 0 833012017 22028288 4641 4294967295 134512640 134714508 3221224576 3221220944 1075894562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5378 4641 1111 63 0 5315 0
vsize: 21512
[startup+210.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2040
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 95502 0 1 0 20763 232 0 0 25 0 1 0 833012017 21200896 4483 4294967295 134512640 134714508 3221224576 3221221904 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4483 1111 63 0 5113 0
vsize: 20704
[startup+220.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2040
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 99905 0 1 0 21752 244 0 0 25 0 1 0 833012017 21200896 4483 4294967295 134512640 134714508 3221224576 3221221912 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4483 1111 63 0 5113 0
vsize: 20704
[startup+230.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2040
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 104393 0 1 0 22742 254 0 0 25 0 1 0 833012017 22093824 4639 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5394 4639 1111 63 0 5331 0
vsize: 21576
[startup+240.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2040
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 109328 0 1 0 23728 268 0 0 25 0 1 0 833012017 22011904 4636 4294967295 134512640 134714508 3221224576 3221220952 1075112561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5374 4636 1111 63 0 5311 0
vsize: 21496
[startup+250.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2042
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 114194 0 1 0 24716 281 0 0 25 0 1 0 833012017 21200896 4483 4294967295 134512640 134714508 3221224576 3221222096 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4483 1111 63 0 5113 0
vsize: 20704
[startup+260.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2042
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 119296 0 1 0 25703 294 0 0 25 0 1 0 833012017 21258240 4498 4294967295 134512640 134714508 3221224576 3221223216 134649077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5190 4498 1111 63 0 5127 0
vsize: 20760
[startup+270.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2042
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 124383 0 1 0 26688 309 0 0 25 0 1 0 833012017 21200896 4484 4294967295 134512640 134714508 3221224576 3221222448 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4484 1111 63 0 5113 0
vsize: 20704
[startup+280.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2042
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 129337 0 1 0 27674 323 0 0 25 0 1 0 833012017 21200896 4484 4294967295 134512640 134714508 3221224576 3221222488 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4484 1111 63 0 5113 0
vsize: 20704
[startup+290.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2042
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 134796 0 1 0 28661 336 0 0 25 0 1 0 833012017 22048768 4628 4294967295 134512640 134714508 3221224576 3221221520 1074620038 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5383 4628 1111 63 0 5320 0
vsize: 21532
[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2042
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 140161 0 1 0 29647 350 0 0 25 0 1 0 833012017 21966848 4609 4294967295 134512640 134714508 3221224576 3221221480 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5363 4609 1111 63 0 5300 0
vsize: 21452
[startup+310.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2044
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 145466 0 1 0 30632 366 0 0 25 0 1 0 833012017 21413888 4504 4294967295 134512640 134714508 3221224576 3221221680 1074138752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5228 4504 1111 63 0 5165 0
vsize: 20912
[startup+320.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2044
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 150671 0 1 0 31619 378 0 0 25 0 1 0 833012017 21565440 4540 4294967295 134512640 134714508 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5265 4543 1111 63 0 5202 0
vsize: 21060
[startup+330.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2044
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 155947 0 1 0 32607 391 0 0 25 0 1 0 833012017 21725184 4542 4294967295 134512640 134714508 3221224576 3221222496 1075799689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5304 4542 1111 63 0 5241 0
vsize: 21216
[startup+340.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2044
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 161115 0 1 0 33595 403 0 0 25 0 1 0 833012017 21909504 4612 4294967295 134512640 134714508 3221224576 3221221600 1074810412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5349 4612 1111 63 0 5286 0
vsize: 21396
[startup+350.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2044
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 167100 0 1 0 34579 420 0 0 25 0 1 0 833012017 21966848 4608 4294967295 134512640 134714508 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5363 4608 1111 63 0 5300 0
vsize: 21452
[startup+360.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2044
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 172948 0 1 0 35564 435 0 0 25 0 1 0 833012017 21200896 4484 4294967295 134512640 134714508 3221224576 3221222592 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4484 1111 63 0 5113 0
vsize: 20704
[startup+370.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2046
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 178513 0 1 0 36549 450 0 0 25 0 1 0 833012017 21200896 4484 4294967295 134512640 134714508 3221224576 3221221736 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4484 1111 63 0 5113 0
vsize: 20704
[startup+380.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2046
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 183694 0 1 0 37533 465 0 0 25 0 1 0 833012017 21831680 4591 4294967295 134512640 134714508 3221224576 3221220804 1075114921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5330 4591 1111 63 0 5267 0
vsize: 21320
[startup+390.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2046
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 188365 0 1 0 38519 480 0 0 25 0 1 0 833012017 21348352 4504 4294967295 134512640 134714508 3221224576 3221221688 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5212 4504 1111 63 0 5149 0
vsize: 20848
[startup+400.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2046
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 193240 0 1 0 39506 493 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2046
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 198287 0 1 0 40492 507 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221222304 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2046
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 203145 0 1 0 41477 522 0 0 25 0 1 0 833012017 21295104 4491 4294967295 134512640 134714508 3221224576 3221222576 1074916558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5199 4491 1111 63 0 5136 0
vsize: 20796
[startup+430.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2048
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 207612 0 1 0 42465 535 0 0 25 0 1 0 833012017 21516288 4492 4294967295 134512640 134714508 3221224576 3221222496 1075799638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5253 4492 1111 63 0 5190 0
vsize: 21012
[startup+440.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2048
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 211874 0 1 0 43452 548 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+450.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2048
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 216291 0 1 0 44441 559 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221222576 1074918840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+460.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2048
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 220876 0 1 0 45428 573 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221222624 1074140701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+470.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2048
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 225427 0 1 0 46416 584 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221222192 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+480.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2048
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 229417 0 1 0 47404 596 0 0 25 0 1 0 833012017 21544960 4490 4294967295 134512640 134714508 3221224576 3221221636 1074617729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5260 4490 1111 63 0 5197 0
vsize: 21040
[startup+490.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2050
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 233415 0 1 0 48393 608 0 0 25 0 1 0 833012017 21823488 4551 4294967295 134512640 134714508 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5328 4551 1111 63 0 5265 0
vsize: 21312
[startup+500.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2050
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 237443 0 1 0 49381 620 0 0 25 0 1 0 833012017 21803008 4551 4294967295 134512640 134714508 3221224576 3221220540 1074860649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5323 4551 1111 63 0 5260 0
vsize: 21292
[startup+510.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2050
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 241538 0 1 0 50369 632 0 0 25 0 1 0 833012017 21368832 4487 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5217 4487 1111 63 0 5154 0
vsize: 20868
[startup+520.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2050
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 245785 0 1 0 51356 645 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221222640 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+530.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2050
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 250044 0 1 0 52346 655 0 0 25 0 1 0 833012017 21368832 4488 4294967295 134512640 134714508 3221224576 3221222304 1075828589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5217 4488 1111 63 0 5154 0
vsize: 20868
[startup+540.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2050
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 254320 0 1 0 53334 668 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221222576 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+550.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2052
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 258667 0 1 0 54322 680 0 0 25 0 1 0 833012017 21807104 4552 4294967295 134512640 134714508 3221224576 3221221520 1074620308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5324 4552 1111 63 0 5261 0
vsize: 21296
[startup+560.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2052
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 263003 0 1 0 55309 693 0 0 25 0 1 0 833012017 21794816 4549 4294967295 134512640 134714508 3221224576 3221220804 1075115133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5321 4549 1111 63 0 5258 0
vsize: 21284
[startup+570.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2052
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 267243 0 1 0 56297 705 0 0 25 0 1 0 833012017 21524480 4491 4294967295 134512640 134714508 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5255 4491 1111 63 0 5192 0
vsize: 21020
[startup+580.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2052
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 271487 0 1 0 57284 718 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221222992 1074117068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+590.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2052
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 275849 0 1 0 58273 729 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221223320 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+600.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2052
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 280213 0 1 0 59261 741 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221222208 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+610.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2054
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 284741 0 1 0 60249 754 0 0 25 0 1 0 833012017 21643264 4496 4294967295 134512640 134714508 3221224576 3221221496 1074950077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 21136
[startup+620.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2054
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 290209 0 1 0 61235 768 0 0 25 0 1 0 833012017 21852160 4560 4294967295 134512640 134714508 3221224576 3221221644 1074831234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5335 4560 1111 63 0 5272 0
vsize: 21340
[startup+630.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2054
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 295964 0 1 0 62217 786 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221221500 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+640.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2054
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 302866 0 1 0 63200 803 0 0 25 0 1 0 833012017 21692416 4534 4294967295 134512640 134714508 3221224576 3221222688 1074867337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5296 4534 1111 63 0 5233 0
vsize: 21184
[startup+650.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2054
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 310316 0 1 0 64182 822 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221222440 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+660.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2054
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 317613 0 1 0 65162 842 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221223296 134556843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+670.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2056
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 324846 0 1 0 66143 861 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221222096 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+680.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2056
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 332446 0 1 0 67122 882 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221222400 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+690.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2056
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 339590 0 1 0 68106 898 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221222192 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+700.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2056
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 346648 0 1 0 69087 918 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221222180 1077374123 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+710.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2056
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 353471 0 1 0 70069 936 0 0 25 0 1 0 833012017 21372928 4527 4294967295 134512640 134714508 3221224576 3221222576 1074918494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5218 4527 1111 63 0 5155 0
vsize: 20872
[startup+720.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2056
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 360344 0 1 0 71051 954 0 0 25 0 1 0 833012017 21368832 4526 4294967295 134512640 134714508 3221224576 3221222576 1074918514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5217 4526 1111 63 0 5154 0
vsize: 20868
[startup+730.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2058
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 367482 0 1 0 72031 974 0 0 25 0 1 0 833012017 21385216 4530 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5221 4530 1111 63 0 5158 0
vsize: 20884
[startup+740.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2058
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 374812 0 1 0 73012 993 0 0 25 0 1 0 833012017 21876736 4604 4294967295 134512640 134714508 3221224576 3221221648 1074867358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5341 4604 1111 63 0 5278 0
vsize: 21364
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2058
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 381910 0 1 0 73993 1013 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221221976 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2058
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 388977 0 1 0 74973 1033 0 0 25 0 1 0 833012017 21229568 4492 4294967295 134512640 134714508 3221224576 3221222320 1075645384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5183 4492 1111 63 0 5120 0
vsize: 20732
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2058
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 395860 0 1 0 75953 1053 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221222048 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+780.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2058
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 403412 0 1 0 76932 1074 0 0 25 0 1 0 833012017 21975040 4604 4294967295 134512640 134714508 3221224576 3221220540 1074860675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5365 4604 1111 63 0 5302 0
vsize: 21460
[startup+790.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2060
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 410719 0 1 0 77911 1095 0 0 25 0 1 0 833012017 21479424 4522 4294967295 134512640 134714508 3221224576 3221221920 1074839104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5293 4524 1111 63 0 5230 0
vsize: 20976
[startup+800.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2060
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 417942 0 1 0 78892 1114 0 0 25 0 1 0 833012017 21716992 4541 4294967295 134512640 134714508 3221224576 3221222688 1074867334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5302 4541 1111 63 0 5239 0
vsize: 21208
[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2060
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 425282 0 1 0 79873 1133 0 0 25 0 1 0 833012017 21708800 4537 4294967295 134512640 134714508 3221224576 3221222224 1075821161 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5300 4537 1111 63 0 5237 0
vsize: 21200
[startup+820.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2060
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 432495 0 1 0 80852 1155 0 0 25 0 1 0 833012017 21229568 4492 4294967295 134512640 134714508 3221224576 3221222036 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5183 4492 1111 63 0 5120 0
vsize: 20732
[startup+830.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2060
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 439617 0 1 0 81832 1175 0 0 25 0 1 0 833012017 21913600 4589 4294967295 134512640 134714508 3221224576 3221221664 1075661520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5350 4589 1111 63 0 5287 0
vsize: 21400
[startup+840.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2060
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 447006 0 1 0 82814 1194 0 0 25 0 1 0 833012017 21995520 4608 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5370 4608 1111 63 0 5307 0
vsize: 21480
[startup+850.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2062
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 454433 0 1 0 83793 1214 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221222792 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+860.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2062
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 463275 0 1 0 84769 1238 0 0 25 0 1 0 833012017 21200896 4485 4294967295 134512640 134714508 3221224576 3221222144 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4485 1111 63 0 5113 0
vsize: 20704
[startup+870.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2062
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 472714 0 1 0 85745 1263 0 0 25 0 1 0 833012017 21901312 4585 4294967295 134512640 134714508 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5347 4585 1111 63 0 5284 0
vsize: 21388
[startup+880.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2062
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 483374 0 1 0 86719 1289 0 0 25 0 1 0 833012017 21278720 4504 4294967295 134512640 134714508 3221224576 3221221968 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5195 4504 1111 63 0 5132 0
vsize: 20780
[startup+890.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2062
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 492517 0 1 0 87696 1312 0 0 25 0 1 0 833012017 22056960 4623 4294967295 134512640 134714508 3221224576 3221222688 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5358 4623 1111 63 0 5295 0
vsize: 21540
[startup+900.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2062
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 498804 0 1 0 88679 1329 0 0 25 0 1 0 833012017 22151168 4646 4294967295 134512640 134714508 3221224576 3221222400 1075824327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5408 4646 1111 63 0 5345 0
vsize: 21632
[startup+910.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2064
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 505331 0 1 0 89660 1348 0 0 25 0 1 0 833012017 21741568 4617 4294967295 134512640 134714508 3221224576 3221221884 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5308 4617 1111 63 0 5245 0
vsize: 21232
[startup+920.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2064
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 512899 0 1 0 90641 1368 0 0 25 0 1 0 833012017 22249472 4671 4294967295 134512640 134714508 3221224576 3221222224 1075818331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5432 4671 1111 63 0 5369 0
vsize: 21728
[startup+930.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2064
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 520645 0 1 0 91621 1387 0 0 25 0 1 0 833012017 22605824 4754 4294967295 134512640 134714508 3221224576 3221220960 1074972319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5519 4754 1111 63 0 5456 0
vsize: 22076
[startup+940.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2064
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 530143 0 1 0 92597 1412 0 0 25 0 1 0 833012017 22691840 4777 4294967295 134512640 134714508 3221224576 3221220608 1075965303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5540 4777 1111 63 0 5477 0
vsize: 22160
[startup+950.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2064
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 539208 0 1 0 93573 1436 0 0 25 0 1 0 833012017 21942272 4644 4294967295 134512640 134714508 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5357 4650 1111 63 0 5294 0
vsize: 21428
[startup+960.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2064
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 549289 0 1 0 94548 1461 0 0 25 0 1 0 833012017 21762048 4622 4294967295 134512640 134714508 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5313 4622 1111 63 0 5250 0
vsize: 21252
[startup+970.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2066
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 559012 0 1 0 95521 1488 0 0 25 0 1 0 833012017 22380544 4767 4294967295 134512640 134714508 3221224576 3221222216 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5464 4767 1111 63 0 5401 0
vsize: 21856
[startup+980.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2066
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 568850 0 1 0 96497 1513 0 0 25 0 1 0 833012017 22347776 4732 4294967295 134512640 134714508 3221224576 3221222320 1075640228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5456 4732 1111 63 0 5393 0
vsize: 21824
[startup+990.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2066
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 577154 0 1 0 97475 1535 0 0 25 0 1 0 833012017 23220224 4907 4294967295 134512640 134714508 3221224576 3221220608 1075965253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5669 4907 1111 63 0 5606 0
vsize: 22676
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2066
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 586579 0 1 0 98450 1560 0 0 25 0 1 0 833012017 23334912 4951 4294967295 134512640 134714508 3221224576 3221220912 1075114312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5697 4951 1111 63 0 5634 0
vsize: 22788
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2066
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 595750 0 1 0 99425 1585 0 0 25 0 1 0 833012017 22732800 4859 4294967295 134512640 134714508 3221224576 3221222384 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4859 1111 63 0 5487 0
vsize: 22200
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2066
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 603109 0 1 0 100406 1605 0 0 25 0 1 0 833012017 22732800 4859 4294967295 134512640 134714508 3221224576 3221222672 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4859 1111 63 0 5487 0
vsize: 22200
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2068
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 610764 0 1 0 101387 1624 0 0 25 0 1 0 833012017 23023616 4891 4294967295 134512640 134714508 3221224576 3221222320 1075645319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5621 4891 1111 63 0 5558 0
vsize: 22484
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2068
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 619356 0 1 0 102365 1646 0 0 25 0 1 0 833012017 23101440 4937 4294967295 134512640 134714508 3221224576 3221222856 1074138237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5640 4937 1111 63 0 5577 0
vsize: 22560
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2068
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 629116 0 1 0 103341 1670 0 0 25 0 1 0 833012017 23101440 4935 4294967295 134512640 134714508 3221224576 3221221680 1074139067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5640 4935 1111 63 0 5577 0
vsize: 22560
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2068
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 638872 0 1 0 104317 1694 0 0 25 0 1 0 833012017 22794240 4874 4294967295 134512640 134714508 3221224576 3221222688 134650068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5565 4874 1111 63 0 5502 0
vsize: 22260
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2068
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 647836 0 1 0 105295 1716 0 0 25 0 1 0 833012017 23101440 4949 4294967295 134512640 134714508 3221224576 3221222000 1073986748 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5640 4949 1111 63 0 5577 0
vsize: 22560
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2068
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 653137 0 1 0 106283 1729 0 0 25 0 1 0 833012017 23949312 5111 4294967295 134512640 134714508 3221224576 3221221232 1075966566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5847 5111 1111 63 0 5784 0
vsize: 23388
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2070
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 658233 0 1 0 107270 1742 0 0 25 0 1 0 833012017 24059904 5118 4294967295 134512640 134714508 3221224576 3221220572 1074860974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5874 5118 1111 63 0 5811 0
vsize: 23496
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2070
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 663359 0 1 0 108255 1757 0 0 25 0 1 0 833012017 23642112 5081 4294967295 134512640 134714508 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5772 5081 1111 63 0 5709 0
vsize: 23088
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2070
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 667512 0 1 0 109243 1769 0 0 25 0 1 0 833012017 23642112 5081 4294967295 134512640 134714508 3221224576 3221222056 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5772 5081 1111 63 0 5709 0
vsize: 23088
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2070
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 672409 0 1 0 110230 1783 0 0 25 0 1 0 833012017 23642112 5081 4294967295 134512640 134714508 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5772 5081 1111 63 0 5709 0
vsize: 23088
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2070
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 676998 0 1 0 111216 1796 0 0 25 0 1 0 833012017 23642112 5081 4294967295 134512640 134714508 3221224576 3221222288 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5772 5081 1111 63 0 5709 0
vsize: 23088
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2070
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 681656 0 1 0 112204 1808 0 0 25 0 1 0 833012017 23642112 5081 4294967295 134512640 134714508 3221224576 3221222200 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5772 5081 1111 63 0 5709 0
vsize: 23088
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2072
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 687160 0 1 0 113189 1824 0 0 25 0 1 0 833012017 23642112 5081 4294967295 134512640 134714508 3221224576 3221222432 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5772 5081 1111 63 0 5709 0
vsize: 23088
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2072
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 692628 0 1 0 114174 1839 0 0 25 0 1 0 833012017 24293376 5193 4294967295 134512640 134714508 3221224576 3221220540 1074860630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5931 5193 1111 63 0 5868 0
vsize: 23724
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 2072
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 699223 0 1 0 115155 1858 0 0 25 0 1 0 833012017 24330240 5203 4294967295 134512640 134714508 3221224576 3221221640 1075007305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5940 5203 1111 63 0 5877 0
vsize: 23760
[startup+1175.06 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 2072
Raw data (stat): 2032 (bsolo_lpr_cuts) R 2031 29618 29617 0 -1 0 699223 0 1 0 115155 1858 0 0 25 0 1 0 833012017 24330240 5203 4294967295 134512640 134714508 3221224576 3221221640 1075007305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5940 5203 1111 63 0 5877 0
vsize: 0

Child status: 0
Real time (s): 1175.06
CPU time (s): 1175.17
CPU user time (s): 1156.49
CPU system time (s): 18.6842
CPU usage (%): 100.009
Max. virtual memory (Kb): 23760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####