PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x12.opb
MD5SUM	ddd1f838c1e3a248aad1987162b1d40d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	656964
Optimality of the best value was proved	NO
Number of terms in the objective function	2520
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	666682247
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	666682247
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.04
Number of variables	2520
Total number of constraints	142
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	142
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 41630

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 18:11:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29696 boxname=wulflinc1 idbench=1480 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  ddd1f838c1e3a248aad1987162b1d40d  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ran10x12.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ran10x12.opb
IDLAUNCH: 29696
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        891700 kB
Buffers:         17900 kB
Cached:         101400 kB
SwapCached:       1128 kB
Active:          25024 kB
Inactive:        96484 kB
HighTotal:      131008 kB
HighFree:        27048 kB
LowTotal:       903652 kB
LowFree:        864652 kB
SwapTotal:     2097136 kB
SwapFree:      2094840 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5272 kB
Slab:            15664 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 18:30:47 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 29696 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2520 variables and 164 constraints.
c After prepocess the problem consists of 1326 variables and 233 constraints.
c preprocess terminated 2.22 s
c Initial Lower Bound: 310557
c Lower Bound Elapsed time: 0.152
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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.93 0.97 0.93 2/55 8650
Raw data (stat): 8650 (runsolver) R 8649 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855476475 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.001 s]
Raw data (loadavg): 0.94 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 11024 0 0 0 969 28 0 0 25 0 1 0 855476475 19021824 3872 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4644 3872 1111 63 0 4581 0
vsize: 18576
[startup+20.0008 s]
Raw data (loadavg): 0.95 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 20575 0 0 0 1944 53 0 0 25 0 1 0 855476475 18472960 3764 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4510 3769 1111 63 0 4447 0
vsize: 18040
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 30587 0 0 0 2918 79 0 0 25 0 1 0 855476475 18522112 3793 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4522 3793 1111 63 0 4459 0
vsize: 18088
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 40797 0 0 0 3892 106 0 0 25 0 1 0 855476475 18313216 3762 4294967295 134512640 134716908 3221224560 3221222960 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4471 3762 1111 63 0 4408 0
vsize: 17884
[startup+50.0011 s]
Raw data (loadavg): 0.97 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 50897 0 0 0 4864 133 0 0 25 0 1 0 855476475 18673664 3788 4294967295 134512640 134716908 3221224560 3221222208 1075818298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4559 3788 1111 63 0 4496 0
vsize: 18236
[startup+60.0009 s]
Raw data (loadavg): 0.97 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 60834 0 0 0 5841 156 0 0 25 0 1 0 855476475 18313216 3762 4294967295 134512640 134716908 3221224560 3221222776 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4471 3762 1111 63 0 4408 0
vsize: 17884
[startup+70.0007 s]
Raw data (loadavg): 0.97 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 69781 0 0 0 6815 183 0 0 25 0 1 0 855476475 18567168 3790 4294967295 134512640 134716908 3221224560 3221221680 1074866170 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4533 3790 1111 63 0 4470 0
vsize: 18132
[startup+80.0015 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 79063 0 0 0 7788 210 0 0 25 0 1 0 855476475 18313216 3763 4294967295 134512640 134716908 3221224560 3221222872 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4471 3763 1111 63 0 4408 0
vsize: 17884
[startup+90.0013 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 88969 0 0 0 8761 237 0 0 25 0 1 0 855476475 18898944 3818 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4614 3818 1111 63 0 4551 0
vsize: 18456
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 95629 0 0 0 9743 255 0 0 25 0 1 0 855476475 19165184 3922 4294967295 134512640 134716908 3221224560 3221222288 1075829526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 3922 1111 63 0 4616 0
vsize: 18716
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 100692 0 0 0 10728 271 0 0 25 0 1 0 855476475 18931712 3914 4294967295 134512640 134716908 3221224560 3221222112 1074143437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4622 3914 1111 63 0 4559 0
vsize: 18488
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 105080 0 0 0 11715 283 0 0 25 0 1 0 855476475 18931712 3914 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4622 3914 1111 63 0 4559 0
vsize: 18488
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 109074 0 0 0 12702 296 0 0 25 0 1 0 855476475 18931712 3914 4294967295 134512640 134716908 3221224560 3221223280 134556671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4622 3914 1111 63 0 4559 0
vsize: 18488
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 113605 0 0 0 13687 312 0 0 25 0 1 0 855476475 18931712 3914 4294967295 134512640 134716908 3221224560 3221222440 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4622 3914 1111 63 0 4559 0
vsize: 18488
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 118337 0 0 0 14674 326 0 0 25 0 1 0 855476475 18931712 3914 4294967295 134512640 134716908 3221224560 3221222348 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4622 3914 1111 63 0 4559 0
vsize: 18488
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 124269 0 0 0 15655 344 0 0 25 0 1 0 855476475 19075072 3917 4294967295 134512640 134716908 3221224560 3221222912 1074115515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4657 3921 1111 63 0 4594 0
vsize: 18628
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 133030 0 0 0 16627 373 0 0 25 0 1 0 855476475 19435520 3953 4294967295 134512640 134716908 3221224560 3221220524 1074860637 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4745 3953 1111 63 0 4682 0
vsize: 18980
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 143460 0 0 0 17596 404 0 0 25 0 1 0 855476475 19255296 3935 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4701 3936 1111 63 0 4638 0
vsize: 18804
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 149080 0 0 0 18577 423 0 0 25 0 1 0 855476475 19099648 3915 4294967295 134512640 134716908 3221224560 3221222624 1075961691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4663 3915 1111 63 0 4600 0
vsize: 18652
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 155540 0 0 0 19556 444 0 0 25 0 1 0 855476475 18989056 3915 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4636 3915 1111 63 0 4573 0
vsize: 18544
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 163714 0 0 0 20532 468 0 0 25 0 1 0 855476475 18931712 3914 4294967295 134512640 134716908 3221224560 3221222576 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4622 3914 1111 63 0 4559 0
vsize: 18488
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 173670 0 0 0 21505 495 0 0 25 0 1 0 855476475 19099648 3921 4294967295 134512640 134716908 3221224560 3221222912 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4663 3925 1111 63 0 4600 0
vsize: 18652
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 183766 0 0 0 22477 523 0 0 25 0 1 0 855476475 19066880 3916 4294967295 134512640 134716908 3221224560 3221222580 1074206298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4635 3915 1111 63 0 4572 0
vsize: 18620
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 197477 0 0 0 23440 561 0 0 25 0 1 0 855476475 19558400 3973 4294967295 134512640 134716908 3221224560 3221221600 1075860555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4775 3973 1111 63 0 4712 0
vsize: 19100
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 214974 0 0 0 24393 608 0 0 25 0 1 0 855476475 18976768 3925 4294967295 134512640 134716908 3221224560 3221222912 1074142947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4633 3925 1111 63 0 4570 0
vsize: 18532
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 232558 0 0 0 25346 656 0 0 25 0 1 0 855476475 19054592 3944 4294967295 134512640 134716908 3221224560 3221222560 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4652 3944 1111 63 0 4589 0
vsize: 18608
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 244681 0 0 0 26311 690 0 0 25 0 1 0 855476475 19374080 3956 4294967295 134512640 134716908 3221224560 3221221680 1074834608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4688 3954 1111 63 0 4625 0
vsize: 18920
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 258224 0 0 0 27275 726 0 0 25 0 1 0 855476475 19075072 3949 4294967295 134512640 134716908 3221224560 3221222768 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4657 3949 1111 63 0 4594 0
vsize: 18628
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 271189 0 0 0 28241 761 0 0 25 0 1 0 855476475 19267584 3996 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4704 3996 1111 63 0 4641 0
vsize: 18816
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 276688 0 0 0 29221 782 0 0 25 0 1 0 855476475 19390464 4002 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4734 4002 1111 63 0 4671 0
vsize: 18936
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 282777 0 0 0 30199 803 0 0 25 0 1 0 855476475 19267584 3996 4294967295 134512640 134716908 3221224560 3221222844 1074138112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4704 3996 1111 63 0 4641 0
vsize: 18816
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 288332 0 0 0 31178 824 0 0 25 0 1 0 855476475 19267584 3996 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4704 3996 1111 63 0 4641 0
vsize: 18816
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 294402 0 0 0 32156 847 0 0 25 0 1 0 855476475 19267584 3996 4294967295 134512640 134716908 3221224560 3221222848 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4704 3996 1111 63 0 4641 0
vsize: 18816
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 301554 0 0 0 33132 871 0 0 25 0 1 0 855476475 19267584 3996 4294967295 134512640 134716908 3221224560 3221222624 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4704 3996 1111 63 0 4641 0
vsize: 18816
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 313200 0 0 0 34099 904 0 0 25 0 1 0 855476475 19427328 4014 4294967295 134512640 134716908 3221224560 3221222960 1074118784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4714 4010 1111 63 0 4651 0
vsize: 18972
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 324151 0 0 0 35066 938 0 0 25 0 1 0 855476475 19308544 4010 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4714 4010 1111 63 0 4651 0
vsize: 18856
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 329678 0 0 0 36044 960 0 0 25 0 1 0 855476475 19308544 4010 4294967295 134512640 134716908 3221224560 3221222544 1074056018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4714 4010 1111 63 0 4651 0
vsize: 18856
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 336006 0 0 0 37019 985 0 0 25 0 1 0 855476475 19443712 4012 4294967295 134512640 134716908 3221224560 3221222528 1075809068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4747 4012 1111 63 0 4684 0
vsize: 18988
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 344898 0 0 0 37987 1017 0 0 25 0 1 0 855476475 19644416 4013 4294967295 134512640 134716908 3221224560 3221221560 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4796 4013 1111 63 0 4733 0
vsize: 19184
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 352159 0 0 0 38963 1041 0 0 25 0 1 0 855476475 19357696 4019 4294967295 134512640 134716908 3221224560 3221222136 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4714 4010 1111 63 0 4651 0
vsize: 18904
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 362674 0 0 0 39932 1073 0 0 25 0 1 0 855476475 19308544 4010 4294967295 134512640 134716908 3221224560 3221223200 134651142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4714 4010 1111 63 0 4651 0
vsize: 18856
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 374584 0 0 0 40894 1111 0 0 25 0 1 0 855476475 19308544 4010 4294967295 134512640 134716908 3221224560 3221222800 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4714 4010 1111 63 0 4651 0
vsize: 18856
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 388368 0 0 0 41854 1150 0 0 25 0 1 0 855476475 19386368 4029 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4733 4029 1111 63 0 4670 0
vsize: 18932
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 401300 0 0 0 42818 1187 0 0 25 0 1 0 855476475 19386368 4029 4294967295 134512640 134716908 3221224560 3221222376 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4733 4029 1111 63 0 4670 0
vsize: 18932
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 410270 0 0 0 43788 1217 0 0 25 0 1 0 855476475 19386368 4029 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4733 4029 1111 63 0 4670 0
vsize: 18932
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 419585 0 0 0 44760 1245 0 0 25 0 1 0 855476475 19611648 4047 4294967295 134512640 134716908 3221224560 3221221964 1074140992 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4847 4051 1111 63 0 4784 0
vsize: 19152
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 429204 0 0 0 45729 1276 0 0 25 0 1 0 855476475 19386368 4029 4294967295 134512640 134716908 3221224560 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4733 4029 1111 63 0 4670 0
vsize: 18932
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 440408 0 0 0 46694 1311 0 0 25 0 1 0 855476475 19533824 4037 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4769 4037 1111 63 0 4706 0
vsize: 19076
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 452762 0 0 0 47658 1348 0 0 25 0 1 0 855476475 19787776 4068 4294967295 134512640 134716908 3221224560 3221220524 1074860595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4831 4068 1111 63 0 4768 0
vsize: 19324
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 464191 0 0 0 48624 1382 0 0 25 0 1 0 855476475 19386368 4029 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4733 4029 1111 63 0 4670 0
vsize: 18932
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 475346 0 0 0 49589 1417 0 0 25 0 1 0 855476475 19386368 4029 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4733 4029 1111 63 0 4670 0
vsize: 18932
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 486789 0 0 0 50557 1449 0 0 25 0 1 0 855476475 19767296 4065 4294967295 134512640 134716908 3221224560 3221220832 1074961081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4826 4065 1111 63 0 4763 0
vsize: 19304
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 499913 0 0 0 51515 1491 0 0 25 0 1 0 855476475 19386368 4029 4294967295 134512640 134716908 3221224560 3221222944 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4733 4029 1111 63 0 4670 0
vsize: 18932
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 512664 0 0 0 52478 1529 0 0 25 0 1 0 855476475 19386368 4029 4294967295 134512640 134716908 3221224560 3221221956 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4733 4029 1111 63 0 4670 0
vsize: 18932
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 525984 0 0 0 53437 1570 0 0 25 0 1 0 855476475 19386368 4029 4294967295 134512640 134716908 3221224560 3221222976 1074116197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4733 4029 1111 63 0 4670 0
vsize: 18932
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 541029 0 0 0 54394 1613 0 0 25 0 1 0 855476475 19640320 4066 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4795 4066 1111 63 0 4732 0
vsize: 19180
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 557223 0 0 0 55351 1656 0 0 25 0 1 0 855476475 19533824 4065 4294967295 134512640 134716908 3221224560 3221222348 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4769 4065 1111 63 0 4706 0
vsize: 19076
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 568962 0 0 0 56318 1689 0 0 25 0 1 0 855476475 20054016 4105 4294967295 134512640 134716908 3221224560 3221220652 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4105 1111 63 0 4833 0
vsize: 19584
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 580914 0 0 0 57284 1724 0 0 25 0 1 0 855476475 19533824 4065 4294967295 134512640 134716908 3221224560 3221222524 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4769 4065 1111 63 0 4706 0
vsize: 19076
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 593822 0 0 0 58246 1762 0 0 25 0 1 0 855476475 19578880 4076 4294967295 134512640 134716908 3221224560 3221222536 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4076 1111 63 0 4717 0
vsize: 19120
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 609978 0 0 0 59204 1804 0 0 25 0 1 0 855476475 19640320 4091 4294967295 134512640 134716908 3221224560 3221222540 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4795 4091 1111 63 0 4732 0
vsize: 19180
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 616237 0 0 0 60184 1825 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 619946 0 0 0 61170 1839 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 621842 0 0 0 62161 1848 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222288 1075828966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 623975 0 0 0 63151 1858 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222528 1074153686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 625737 0 0 0 64143 1866 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222912 1074115296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 627613 0 0 0 65135 1875 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222864 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 629381 0 0 0 66125 1884 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222748 1073986672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 631304 0 0 0 67115 1895 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222944 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 633287 0 0 0 68105 1904 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222752 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 635389 0 0 0 69096 1914 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 637267 0 0 0 70087 1923 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222912 1074115534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 639258 0 0 0 71077 1933 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222544 1074052264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 641704 0 0 0 72067 1944 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222560 1074915847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 643561 0 0 0 73059 1952 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222912 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 645927 0 0 0 74048 1963 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222944 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 647867 0 0 0 75039 1972 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222288 1075635463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 649852 0 0 0 76031 1980 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 651649 0 0 0 77022 1990 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 653484 0 0 0 78013 1999 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222304 1075645329 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 656273 0 0 0 79002 2009 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222728 1077377232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 660138 0 0 0 79988 2024 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 663378 0 0 0 80977 2035 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222752 1074153587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 666928 0 0 0 81965 2048 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222248 1077377725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 670082 0 0 0 82952 2060 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222288 1075828581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 673396 0 0 0 83941 2072 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222304 1075645372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 676893 0 0 0 84928 2084 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222976 1074116657 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 680427 0 0 0 85914 2099 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222856 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 683666 0 0 0 86901 2112 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 687189 0 0 0 87888 2125 0 0 25 0 1 0 855476475 20246528 4165 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4943 4171 1111 63 0 4880 0
vsize: 19772
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 690751 0 0 0 88875 2138 0 0 25 0 1 0 855476475 20111360 4171 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4910 4171 1111 63 0 4847 0
vsize: 19640
[startup+920.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 694051 0 0 0 89863 2151 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222672 1074867212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 697428 0 0 0 90852 2162 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221223184 134539542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 701080 0 0 0 91839 2175 0 0 25 0 1 0 855476475 20111360 4171 4294967295 134512640 134716908 3221224560 3221220704 1074971117 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4910 4172 1111 63 0 4847 0
vsize: 19640
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 705369 0 0 0 92823 2191 0 0 25 0 1 0 855476475 20246528 4175 4294967295 134512640 134716908 3221224560 3221220832 1074807685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4877 4168 1111 63 0 4814 0
vsize: 19772
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 709499 0 0 0 93809 2205 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222472 1074138274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 713421 0 0 0 94797 2218 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222656 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 717670 0 0 0 95782 2232 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+990.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 722614 0 0 0 96765 2249 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222480 1075802490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 727566 0 0 0 97751 2264 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 732519 0 0 0 98735 2280 0 0 25 0 1 0 855476475 20221952 4176 4294967295 134512640 134716908 3221224560 3221220788 1075115138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4937 4176 1111 63 0 4874 0
vsize: 19748
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 737824 0 0 0 99715 2301 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222480 1075802507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 744156 0 0 0 100693 2322 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222864 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 752598 0 0 0 101666 2350 0 0 25 0 1 0 855476475 20082688 4173 4294967295 134512640 134716908 3221224560 3221222960 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4903 4173 1111 63 0 4840 0
vsize: 19612
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 761379 0 0 0 102640 2375 0 0 25 0 1 0 855476475 19927040 4161 4294967295 134512640 134716908 3221224560 3221222760 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4161 1111 63 0 4802 0
vsize: 19460
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 769713 0 0 0 103615 2401 0 0 25 0 1 0 855476475 20000768 4163 4294967295 134512640 134716908 3221224560 3221222960 1074118808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4883 4163 1111 63 0 4820 0
vsize: 19532
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 782297 0 0 0 104579 2437 0 0 25 0 1 0 855476475 20537344 4227 4294967295 134512640 134716908 3221224560 3221220956 1075114064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5014 4227 1111 63 0 4951 0
vsize: 20056
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 789708 0 0 0 105555 2461 0 0 25 0 1 0 855476475 20414464 4274 4294967295 134512640 134716908 3221224560 3221222768 1073986742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4984 4274 1111 63 0 4921 0
vsize: 19936
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 793562 0 0 0 106541 2476 0 0 25 0 1 0 855476475 20414464 4276 4294967295 134512640 134716908 3221224560 3221222288 1075828454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4984 4276 1111 63 0 4921 0
vsize: 19936
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 797447 0 0 0 107526 2490 0 0 25 0 1 0 855476475 20414464 4276 4294967295 134512640 134716908 3221224560 3221221672 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5021 4278 1111 63 0 4958 0
vsize: 19936
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 802398 0 0 0 108509 2508 0 0 25 0 1 0 855476475 20414464 4280 4294967295 134512640 134716908 3221224560 3221222568 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4984 4280 1111 63 0 4921 0
vsize: 19936
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 806047 0 0 0 109496 2522 0 0 25 0 1 0 855476475 20414464 4280 4294967295 134512640 134716908 3221224560 3221222456 1073987051 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4984 4280 1111 63 0 4921 0
vsize: 19936
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 809554 0 0 0 110484 2533 0 0 25 0 1 0 855476475 20414464 4280 4294967295 134512640 134716908 3221224560 3221222944 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4984 4280 1111 63 0 4921 0
vsize: 19936
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 813075 0 0 0 111472 2546 0 0 25 0 1 0 855476475 20414464 4280 4294967295 134512640 134716908 3221224560 3221222976 1074117039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4984 4280 1111 63 0 4921 0
vsize: 19936
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 816639 0 0 0 112457 2561 0 0 25 0 1 0 855476475 20414464 4280 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4984 4280 1111 63 0 4921 0
vsize: 19936
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 820270 0 0 0 113445 2573 0 0 25 0 1 0 855476475 20414464 4280 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4984 4280 1111 63 0 4921 0
vsize: 19936
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 824401 0 0 0 114432 2586 0 0 25 0 1 0 855476475 20414464 4280 4294967295 134512640 134716908 3221224560 3221222288 1075635938 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4984 4280 1111 63 0 4921 0
vsize: 19936
[startup+1174.88 s]
Raw data (loadavg): 0.99 0.97 0.93 1/54 8650
Raw data (stat): 8650 (bsolo_lpr_cuts-) R 8649 8378 8377 0 -1 0 824401 0 0 0 114432 2586 0 0 25 0 1 0 855476475 20414464 4280 4294967295 134512640 134716908 3221224560 3221222288 1075635938 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4984 4280 1111 63 0 4921 0
vsize: 0

Child status: 0
Real time (s): 1174.88
CPU time (s): 1175.05
CPU user time (s): 1149.1
CPU system time (s): 25.9441
CPU usage (%): 100.014
Max. virtual memory (Kb): 20056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####