PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
MD5SUM	c5ca7819a7dcae16ff6045242cdd1f87
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-23
Optimality of the best value was proved	NO
Number of terms in the objective function	120
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	120
Number of bits of the sum of numbers in the objective function	7
Biggest number in a constraint	18
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	900
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	1835
Total number of constraints	3947
Number of constraints which are clauses	1906
Number of constraints which are cardinality constraints (but not clauses)	1921
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	1
Maximum length of a constraint	882
Trace number 41155

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 06:57:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29212 boxname=wulflinc6 idbench=996 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  c5ca7819a7dcae16ff6045242cdd1f87  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-protfold.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-protfold.opb
IDLAUNCH: 29212
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        597068 kB
Buffers:         13556 kB
Cached:         402488 kB
SwapCached:        932 kB
Active:          27392 kB
Inactive:       390632 kB
HighTotal:      131008 kB
HighFree:        18060 kB
LowTotal:       903652 kB
LowFree:        579008 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13888 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 07:16:40 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 29212 7 1175.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1835 variables and 2149 constraints.
c After prepocess the problem consists of 1835 variables and 2368 constraints.
c preprocess terminated 88.985 s
c Initial Lower Bound: -41
c Lower Bound Elapsed time: 22.347
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.09 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.82 0.94 0.91 2/54 8203
Raw data (stat): 8203 (runsolver) D 8202 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 908287211 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.85 0.94 0.91 2/54 8203
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 14035 0 0 0 964 34 0 0 25 0 1 0 908287211 60669952 13948 4294967295 134512640 134716908 3221224560 3221223024 134523874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14812 13948 1111 63 0 14749 0
vsize: 59248
[startup+20.0012 s]
Raw data (loadavg): 0.87 0.94 0.91 2/54 8203
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 16501 0 0 0 1960 38 0 0 25 0 1 0 908287211 70676480 16414 4294967295 134512640 134716908 3221224560 3221223184 134667260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17255 16414 1111 63 0 17192 0
vsize: 69020
[startup+30.0023 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 8203
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 17744 0 0 0 2958 41 0 0 25 0 1 0 908287211 75816960 17657 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18510 17657 1111 63 0 18447 0
vsize: 74040
[startup+40.0025 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 8203
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 17756 0 0 0 3958 41 0 0 25 0 1 0 908287211 75816960 17669 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18510 17669 1111 63 0 18447 0
vsize: 74040
[startup+50.0036 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 8203
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 17767 0 0 0 4958 41 0 0 25 0 1 0 908287211 75952128 17680 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18543 17680 1111 63 0 18480 0
vsize: 74172
[startup+60.0028 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 8203
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 17780 0 0 0 5958 41 0 0 25 0 1 0 908287211 75952128 17693 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18543 17693 1111 63 0 18480 0
vsize: 74172
[startup+70.0049 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 8203
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 17793 0 0 0 6959 41 0 0 25 0 1 0 908287211 76087296 17706 4294967295 134512640 134716908 3221224560 3221223232 134627268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18576 17706 1111 63 0 18513 0
vsize: 74304
[startup+80.0051 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 8203
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 17804 0 0 0 7959 42 0 0 25 0 1 0 908287211 76087296 17717 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18576 17717 1111 63 0 18513 0
vsize: 74304
[startup+90.0044 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 8203
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 18055 0 0 0 8958 42 0 0 25 0 1 0 908287211 77062144 17968 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18814 17968 1111 63 0 18751 0
vsize: 75256
[startup+100.003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 8203
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 18994 0 0 0 9957 44 0 0 25 0 1 0 908287211 79646720 18639 4294967295 134512640 134716908 3221224560 3221220840 1075112606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19445 18639 1111 63 0 19382 0
vsize: 77780
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 8203
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 19608 0 0 0 10955 46 0 0 25 0 1 0 908287211 78045184 18329 4294967295 134512640 134716908 3221224560 3221222676 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19054 18329 1111 63 0 18991 0
vsize: 76216
[startup+120.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 8203
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 19717 0 0 0 11952 48 0 0 25 0 1 0 908287211 78446592 18438 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19152 18438 1111 63 0 19089 0
vsize: 76608
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8203
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 19851 0 0 0 12950 50 0 0 25 0 1 0 908287211 78987264 18572 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19284 18572 1111 63 0 19221 0
vsize: 77136
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8203
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 20008 0 0 0 13949 52 0 0 25 0 1 0 908287211 79663104 18729 4294967295 134512640 134716908 3221224560 3221223100 134535876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19449 18729 1111 63 0 19386 0
vsize: 77796
[startup+150.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8203
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 20233 0 0 0 14948 53 0 0 25 0 1 0 908287211 80474112 18954 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19647 18954 1111 63 0 19584 0
vsize: 78588
[startup+160.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8203
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 20368 0 0 0 15947 55 0 0 25 0 1 0 908287211 81014784 19089 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19779 19089 1111 63 0 19716 0
vsize: 79116
[startup+170 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8203
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 20592 0 0 0 16944 58 0 0 25 0 1 0 908287211 81956864 19313 4294967295 134512640 134716908 3221224560 3221223140 134542788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20009 19313 1111 63 0 19946 0
vsize: 80036
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 8204
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 20767 0 0 0 17944 58 0 0 25 0 1 0 908287211 82767872 19488 4294967295 134512640 134716908 3221224560 3221223116 134539324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20207 19488 1111 63 0 20144 0
vsize: 80828
[startup+190.007 s]
Raw data (loadavg): 1.22 1.01 0.93 2/57 8247
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 20921 0 0 0 18944 59 0 0 25 0 1 0 908287211 83308544 19642 4294967295 134512640 134716908 3221224560 3221223360 134597741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20339 19642 1111 63 0 20276 0
vsize: 81356
[startup+200.006 s]
Raw data (loadavg): 1.26 1.02 0.93 2/54 8256
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 21118 0 0 0 19942 61 0 0 25 0 1 0 908287211 84119552 19839 4294967295 134512640 134716908 3221224560 3221223200 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20537 19839 1111 63 0 20474 0
vsize: 82148
[startup+210.005 s]
Raw data (loadavg): 1.22 1.02 0.93 2/54 8256
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 21293 0 0 0 20941 63 0 0 25 0 1 0 908287211 84930560 20014 4294967295 134512640 134716908 3221224560 3221223300 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20735 20014 1111 63 0 20672 0
vsize: 82940
[startup+220.017 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 8256
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 21448 0 0 0 21941 64 0 0 25 0 1 0 908287211 85471232 20169 4294967295 134512640 134716908 3221224560 3221223248 134535821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20867 20169 1111 63 0 20804 0
vsize: 83468
[startup+230.016 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 8256
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 21581 0 0 0 22940 65 0 0 25 0 1 0 908287211 86011904 20302 4294967295 134512640 134716908 3221224560 3221223216 134528707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20999 20302 1111 63 0 20936 0
vsize: 83996
[startup+240.016 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 8256
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 21701 0 0 0 23939 66 0 0 25 0 1 0 908287211 86552576 20422 4294967295 134512640 134716908 3221224560 3221223152 134542680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21131 20422 1111 63 0 21068 0
vsize: 84524
[startup+250.016 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 8256
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 21850 0 0 0 24938 68 0 0 25 0 1 0 908287211 87093248 20571 4294967295 134512640 134716908 3221224560 3221223132 134542984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21263 20571 1111 63 0 21200 0
vsize: 85052
[startup+260.028 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 8256
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 22055 0 0 0 25938 69 0 0 25 0 1 0 908287211 88039424 20776 4294967295 134512640 134716908 3221224560 3221223264 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21494 20776 1111 63 0 21431 0
vsize: 85976
[startup+270.028 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 22183 0 0 0 26938 70 0 0 25 0 1 0 908287211 88444928 20904 4294967295 134512640 134716908 3221224560 3221223360 134597648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21593 20904 1111 63 0 21530 0
vsize: 86372
[startup+280.027 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 22395 0 0 0 27937 71 0 0 25 0 1 0 908287211 89391104 21116 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21824 21116 1111 63 0 21761 0
vsize: 87296
[startup+290.027 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 22556 0 0 0 28935 73 0 0 25 0 1 0 908287211 90066944 21277 4294967295 134512640 134716908 3221224560 3221223288 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21989 21277 1111 63 0 21926 0
vsize: 87956
[startup+300.028 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 22783 0 0 0 29934 75 0 0 25 0 1 0 908287211 91013120 21504 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22220 21504 1111 63 0 22157 0
vsize: 88880
[startup+310.028 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 22933 0 0 0 30933 76 0 0 25 0 1 0 908287211 91553792 21654 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22352 21654 1111 63 0 22289 0
vsize: 89408
[startup+320.028 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 23157 0 0 0 31932 77 0 0 25 0 1 0 908287211 92495872 21878 4294967295 134512640 134716908 3221224560 3221223288 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22582 21878 1111 63 0 22519 0
vsize: 90328
[startup+330.028 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 23263 0 0 0 32932 78 0 0 25 0 1 0 908287211 92971008 21984 4294967295 134512640 134716908 3221224560 3221223216 134536683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22698 21984 1111 63 0 22635 0
vsize: 90792
[startup+340.027 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 23426 0 0 0 33931 79 0 0 25 0 1 0 908287211 93646848 22147 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22863 22147 1111 63 0 22800 0
vsize: 91452
[startup+350.027 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 23569 0 0 0 34930 80 0 0 25 0 1 0 908287211 94187520 22290 4294967295 134512640 134716908 3221224560 3221223264 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22995 22290 1111 63 0 22932 0
vsize: 91980
[startup+360.028 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 23742 0 0 0 35930 81 0 0 25 0 1 0 908287211 94863360 22463 4294967295 134512640 134716908 3221224560 3221223232 134543707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23160 22463 1111 63 0 23097 0
vsize: 92640
[startup+370.028 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 23890 0 0 0 36929 82 0 0 25 0 1 0 908287211 95539200 22611 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23325 22611 1111 63 0 23262 0
vsize: 93300
[startup+380.028 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 24065 0 0 0 37928 84 0 0 25 0 1 0 908287211 96215040 22786 4294967295 134512640 134716908 3221224560 3221223184 134536678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23490 22786 1111 63 0 23427 0
vsize: 93960
[startup+390.028 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 24198 0 0 0 38927 85 0 0 25 0 1 0 908287211 96751616 22919 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23621 22919 1111 63 0 23558 0
vsize: 94484
[startup+400.028 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 24368 0 0 0 39927 85 0 0 25 0 1 0 908287211 97427456 23089 4294967295 134512640 134716908 3221224560 3221223120 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23786 23089 1111 63 0 23723 0
vsize: 95144
[startup+410.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 24539 0 0 0 40926 87 0 0 25 0 1 0 908287211 98099200 23260 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23950 23260 1111 63 0 23887 0
vsize: 95800
[startup+420.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 24691 0 0 0 41925 88 0 0 25 0 1 0 908287211 98775040 23412 4294967295 134512640 134716908 3221224560 3221223216 134536710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23412 1111 63 0 24052 0
vsize: 96460
[startup+430.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 24875 0 0 0 42924 89 0 0 25 0 1 0 908287211 99586048 23596 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24313 23596 1111 63 0 24250 0
vsize: 97252
[startup+440.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 25001 0 0 0 43924 90 0 0 25 0 1 0 908287211 99991552 23722 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24412 23722 1111 63 0 24349 0
vsize: 97648
[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 25143 0 0 0 44924 90 0 0 25 0 1 0 908287211 100667392 23864 4294967295 134512640 134716908 3221224560 3221223272 134528399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24577 23864 1111 63 0 24514 0
vsize: 98308
[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 25335 0 0 0 45923 91 0 0 25 0 1 0 908287211 101478400 24056 4294967295 134512640 134716908 3221224560 3221223164 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24775 24056 1111 63 0 24712 0
vsize: 99100
[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 25489 0 0 0 46922 92 0 0 25 0 1 0 908287211 102019072 24210 4294967295 134512640 134716908 3221224560 3221223112 134698813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24907 24210 1111 63 0 24844 0
vsize: 99628
[startup+480.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 25607 0 0 0 47921 94 0 0 25 0 1 0 908287211 102559744 24328 4294967295 134512640 134716908 3221224560 3221223280 134535762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25039 24328 1111 63 0 24976 0
vsize: 100156
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8258
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 25722 0 0 0 48921 94 0 0 25 0 1 0 908287211 102965248 24443 4294967295 134512640 134716908 3221224560 3221223344 134529269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25138 24443 1111 63 0 25075 0
vsize: 100552
[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 25832 0 0 0 49921 95 0 0 25 0 1 0 908287211 103505920 24553 4294967295 134512640 134716908 3221224560 3221223100 134539265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25270 24553 1111 63 0 25207 0
vsize: 101080
[startup+510.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 25951 0 0 0 50920 95 0 0 25 0 1 0 908287211 103911424 24672 4294967295 134512640 134716908 3221224560 3221223100 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25369 24672 1111 63 0 25306 0
vsize: 101476
[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 25972 0 0 0 51920 96 0 0 25 0 1 0 908287211 104013824 24693 4294967295 134512640 134716908 3221224560 3221223144 134698660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25394 24693 1111 63 0 25331 0
vsize: 101576
[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 26032 0 0 0 52919 97 0 0 25 0 1 0 908287211 104284160 24753 4294967295 134512640 134716908 3221224560 3221223000 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25460 24754 1111 63 0 25397 0
vsize: 101840
[startup+540.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 26045 0 0 0 53919 98 0 0 25 0 1 0 908287211 104284160 24766 4294967295 134512640 134716908 3221224560 3221223296 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25460 24766 1111 63 0 25397 0
vsize: 101840
[startup+550.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 26068 0 0 0 54919 98 0 0 25 0 1 0 908287211 104411136 24789 4294967295 134512640 134716908 3221224560 3221223372 134558608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25491 24789 1111 63 0 25428 0
vsize: 101964
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 26113 0 0 0 55919 99 0 0 25 0 1 0 908287211 104546304 24834 4294967295 134512640 134716908 3221224560 3221223184 134542344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25524 24834 1111 63 0 25461 0
vsize: 102096
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 26166 0 0 0 56919 99 0 0 25 0 1 0 908287211 104812544 24887 4294967295 134512640 134716908 3221224560 3221223116 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25589 24887 1111 63 0 25526 0
vsize: 102356
[startup+580.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 26170 0 0 0 57918 100 0 0 25 0 1 0 908287211 104812544 24891 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25589 24891 1111 63 0 25526 0
vsize: 102356
[startup+590.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 26215 0 0 0 58918 100 0 0 25 0 1 0 908287211 105062400 24936 4294967295 134512640 134716908 3221224560 3221223152 134542820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25650 24936 1111 63 0 25587 0
vsize: 102600
[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 26235 0 0 0 59918 101 0 0 25 0 1 0 908287211 105062400 24956 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25650 24956 1111 63 0 25587 0
vsize: 102600
[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 26374 0 0 0 60917 102 0 0 25 0 1 0 908287211 105738240 25095 4294967295 134512640 134716908 3221224560 3221223200 134536700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25815 25095 1111 63 0 25752 0
vsize: 103260
[startup+620.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 26538 0 0 0 61917 103 0 0 25 0 1 0 908287211 106414080 25259 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25980 25259 1111 63 0 25917 0
vsize: 103920
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 26638 0 0 0 62916 103 0 0 25 0 1 0 908287211 106819584 25359 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26079 25359 1111 63 0 26016 0
vsize: 104316
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 26758 0 0 0 63916 104 0 0 25 0 1 0 908287211 107225088 25479 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26178 25479 1111 63 0 26115 0
vsize: 104712
[startup+650.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 26874 0 0 0 64915 105 0 0 25 0 1 0 908287211 107765760 25595 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26310 25595 1111 63 0 26247 0
vsize: 105240
[startup+660.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 27000 0 0 0 65914 107 0 0 25 0 1 0 908287211 108306432 25721 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26442 25721 1111 63 0 26379 0
vsize: 105768
[startup+670.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 27136 0 0 0 66913 108 0 0 25 0 1 0 908287211 108847104 25857 4294967295 134512640 134716908 3221224560 3221223044 134699551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26574 25857 1111 63 0 26511 0
vsize: 106296
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 27255 0 0 0 67912 110 0 0 25 0 1 0 908287211 109252608 25976 4294967295 134512640 134716908 3221224560 3221223152 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26673 25976 1111 63 0 26610 0
vsize: 106692
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 27341 0 0 0 68912 110 0 0 25 0 1 0 908287211 109658112 26062 4294967295 134512640 134716908 3221224560 3221223348 134529422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26772 26062 1111 63 0 26709 0
vsize: 107088
[startup+700.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 27407 0 0 0 69911 111 0 0 25 0 1 0 908287211 109928448 26128 4294967295 134512640 134716908 3221224560 3221223100 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26838 26128 1111 63 0 26775 0
vsize: 107352
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 27506 0 0 0 70910 112 0 0 25 0 1 0 908287211 110333952 26227 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26937 26227 1111 63 0 26874 0
vsize: 107748
[startup+720.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 27581 0 0 0 71910 113 0 0 25 0 1 0 908287211 110604288 26302 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27003 26302 1111 63 0 26940 0
vsize: 108012
[startup+730.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 27679 0 0 0 72909 114 0 0 25 0 1 0 908287211 111009792 26400 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27102 26400 1111 63 0 27039 0
vsize: 108408
[startup+740.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 27818 0 0 0 73909 114 0 0 25 0 1 0 908287211 111546368 26539 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27233 26539 1111 63 0 27170 0
vsize: 108932
[startup+750.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 27981 0 0 0 74908 116 0 0 25 0 1 0 908287211 112218112 26702 4294967295 134512640 134716908 3221224560 3221223228 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27397 26702 1111 63 0 27334 0
vsize: 109588
[startup+760.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 28040 0 0 0 75907 117 0 0 25 0 1 0 908287211 112488448 26761 4294967295 134512640 134716908 3221224560 3221223164 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27463 26761 1111 63 0 27400 0
vsize: 109852
[startup+770.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 28139 0 0 0 76906 118 0 0 25 0 1 0 908287211 112893952 26860 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27562 26860 1111 63 0 27499 0
vsize: 110248
[startup+780.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 28294 0 0 0 77906 119 0 0 25 0 1 0 908287211 113569792 27015 4294967295 134512640 134716908 3221224560 3221223144 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27727 27015 1111 63 0 27664 0
vsize: 110908
[startup+790.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 28368 0 0 0 78905 119 0 0 25 0 1 0 908287211 113840128 27089 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27793 27089 1111 63 0 27730 0
vsize: 111172
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 28444 0 0 0 79904 121 0 0 25 0 1 0 908287211 114110464 27165 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27859 27165 1111 63 0 27796 0
vsize: 111436
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 28493 0 0 0 80904 122 0 0 25 0 1 0 908287211 114380800 27214 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27925 27214 1111 63 0 27862 0
vsize: 111700
[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 28608 0 0 0 81902 123 0 0 25 0 1 0 908287211 114782208 27329 4294967295 134512640 134716908 3221224560 3221223184 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28023 27329 1111 63 0 27960 0
vsize: 112092
[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 28726 0 0 0 82901 125 0 0 25 0 1 0 908287211 115322880 27447 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28155 27447 1111 63 0 28092 0
vsize: 112620
[startup+840.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 28801 0 0 0 83901 126 0 0 25 0 1 0 908287211 115593216 27522 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28221 27522 1111 63 0 28158 0
vsize: 112884
[startup+850.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 28863 0 0 0 84900 126 0 0 25 0 1 0 908287211 115859456 27584 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28286 27584 1111 63 0 28223 0
vsize: 113144
[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 28929 0 0 0 85901 127 0 0 25 0 1 0 908287211 116129792 27650 4294967295 134512640 134716908 3221224560 3221223184 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28352 27650 1111 63 0 28289 0
vsize: 113408
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 29006 0 0 0 86901 128 0 0 25 0 1 0 908287211 116400128 27727 4294967295 134512640 134716908 3221224560 3221223200 134698363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28418 27727 1111 63 0 28355 0
vsize: 113672
[startup+880.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 29077 0 0 0 87900 128 0 0 25 0 1 0 908287211 116805632 27798 4294967295 134512640 134716908 3221224560 3221223200 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28517 27798 1111 63 0 28454 0
vsize: 114068
[startup+890.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 29184 0 0 0 88900 129 0 0 25 0 1 0 908287211 117211136 27905 4294967295 134512640 134716908 3221224560 3221223152 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28616 27905 1111 63 0 28553 0
vsize: 114464
[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 29301 0 0 0 89899 130 0 0 25 0 1 0 908287211 117616640 28022 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28715 28022 1111 63 0 28652 0
vsize: 114860
[startup+910.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 29459 0 0 0 90898 132 0 0 25 0 1 0 908287211 118292480 28180 4294967295 134512640 134716908 3221224560 3221223328 134529279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28880 28180 1111 63 0 28817 0
vsize: 115520
[startup+920.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 29530 0 0 0 91898 133 0 0 25 0 1 0 908287211 118558720 28251 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28945 28251 1111 63 0 28882 0
vsize: 115780
[startup+930.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 29602 0 0 0 92897 133 0 0 25 0 1 0 908287211 118964224 28323 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29044 28323 1111 63 0 28981 0
vsize: 116176
[startup+940.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 29775 0 0 0 93896 135 0 0 25 0 1 0 908287211 119640064 28496 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29209 28496 1111 63 0 29146 0
vsize: 116836
[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 29876 0 0 0 94896 136 0 0 25 0 1 0 908287211 120045568 28597 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29308 28597 1111 63 0 29245 0
vsize: 117232
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30029 0 0 0 95895 137 0 0 25 0 1 0 908287211 120582144 28750 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29439 28750 1111 63 0 29376 0
vsize: 117756
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30102 0 0 0 96895 137 0 0 25 0 1 0 908287211 120987648 28823 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29538 28823 1111 63 0 29475 0
vsize: 118152
[startup+980.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30181 0 0 0 97894 138 0 0 25 0 1 0 908287211 121257984 28902 4294967295 134512640 134716908 3221224560 3221223320 134552633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29604 28902 1111 63 0 29541 0
vsize: 118416
[startup+990.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30268 0 0 0 98894 139 0 0 25 0 1 0 908287211 121663488 28989 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29703 28989 1111 63 0 29640 0
vsize: 118812
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30330 0 0 0 99894 139 0 0 25 0 1 0 908287211 121933824 29051 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29769 29051 1111 63 0 29706 0
vsize: 119076
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30418 0 0 0 100893 140 0 0 25 0 1 0 908287211 122204160 29139 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29835 29139 1111 63 0 29772 0
vsize: 119340
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30489 0 0 0 101893 141 0 0 25 0 1 0 908287211 122474496 29210 4294967295 134512640 134716908 3221224560 3221223296 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29901 29210 1111 63 0 29838 0
vsize: 119604
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30558 0 0 0 102893 141 0 0 25 0 1 0 908287211 122880000 29279 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30000 29279 1111 63 0 29937 0
vsize: 120000
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30614 0 0 0 103893 141 0 0 25 0 1 0 908287211 123015168 29335 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30033 29335 1111 63 0 29970 0
vsize: 120132
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30647 0 0 0 104893 142 0 0 25 0 1 0 908287211 123150336 29368 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30066 29368 1111 63 0 30003 0
vsize: 120264
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30696 0 0 0 105893 142 0 0 25 0 1 0 908287211 123420672 29417 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30132 29417 1111 63 0 30069 0
vsize: 120528
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30728 0 0 0 106893 142 0 0 25 0 1 0 908287211 123555840 29449 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30165 29449 1111 63 0 30102 0
vsize: 120660
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30780 0 0 0 107893 143 0 0 25 0 1 0 908287211 123691008 29501 4294967295 134512640 134716908 3221224560 3221223216 134536624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30198 29501 1111 63 0 30135 0
vsize: 120792
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30803 0 0 0 108893 143 0 0 25 0 1 0 908287211 123822080 29524 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30230 29524 1111 63 0 30167 0
vsize: 120920
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30827 0 0 0 109893 144 0 0 25 0 1 0 908287211 123936768 29548 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30258 29548 1111 63 0 30195 0
vsize: 121032
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30839 0 0 0 110893 144 0 0 25 0 1 0 908287211 123936768 29560 4294967295 134512640 134716908 3221224560 3221223296 134587997 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30258 29560 1111 63 0 30195 0
vsize: 121032
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30860 0 0 0 111893 144 0 0 25 0 1 0 908287211 124063744 29581 4294967295 134512640 134716908 3221224560 3221223296 134535844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30289 29581 1111 63 0 30226 0
vsize: 121156
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30863 0 0 0 112893 144 0 0 25 0 1 0 908287211 124063744 29584 4294967295 134512640 134716908 3221224560 3221223280 134535790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30289 29584 1111 63 0 30226 0
vsize: 121156
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30901 0 0 0 113893 145 0 0 25 0 1 0 908287211 124198912 29622 4294967295 134512640 134716908 3221224560 3221223116 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30322 29622 1111 63 0 30259 0
vsize: 121288
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30925 0 0 0 114893 145 0 0 25 0 1 0 908287211 124334080 29646 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30355 29646 1111 63 0 30292 0
vsize: 121420
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30927 0 0 0 115893 146 0 0 25 0 1 0 908287211 124334080 29648 4294967295 134512640 134716908 3221224560 3221223144 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30355 29648 1111 63 0 30292 0
vsize: 121420
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30948 0 0 0 116893 146 0 0 25 0 1 0 908287211 124469248 29669 4294967295 134512640 134716908 3221224560 3221223100 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30388 29669 1111 63 0 30325 0
vsize: 121552
[startup+1174.79 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 8260
Raw data (stat): 8203 (bsolo_lpr_cuts-) R 8202 25568 25567 0 -1 0 30948 0 0 0 116893 146 0 0 25 0 1 0 908287211 124469248 29669 4294967295 134512640 134716908 3221224560 3221223100 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30388 29669 1111 63 0 30325 0
vsize: 0

Child status: 0
Real time (s): 1174.79
CPU time (s): 1175.15
CPU user time (s): 1173.63
CPU system time (s): 1.52077
CPU usage (%): 100.03
Max. virtual memory (Kb): 121552
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####