PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm2.opb
MD5SUM	fae1fae180d772ad3ee6c1acfa1c8b4f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	122
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	2000000
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	30041153
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	2124
Total number of constraints	444
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	444
Minimum length of a constraint	8
Maximum length of a constraint	64
Trace number 41609

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 17:03:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29674 boxname=wulflinc2 idbench=1458 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  fae1fae180d772ad3ee6c1acfa1c8b4f  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-vpm2.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-vpm2.opb
IDLAUNCH: 29674
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        893820 kB
Buffers:         14176 kB
Cached:         105968 kB
SwapCached:       1440 kB
Active:          27748 kB
Inactive:        94428 kB
HighTotal:      131008 kB
HighFree:        64596 kB
LowTotal:       903652 kB
LowFree:        829224 kB
SwapTotal:     2097136 kB
SwapFree:      2094656 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            13012 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 17:22:50 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 29674 7 1175.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2124 variables and 486 constraints.
c After prepocess the problem consists of 1392 variables and 289 constraints.
c preprocess terminated 47.742 s
c Initial Lower Bound: 39
c Lower Bound Elapsed time: 0.1795
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.13 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.98 0.91 1/54 31202
Raw data (stat): 31202 (runsolver) R 31201 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911929384 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0004 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 31202
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 5955 0 0 0 980 17 0 0 25 0 1 0 911929384 27557888 5873 4294967295 134512640 134716908 3221224560 3221222940 1077379930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6728 5873 1111 63 0 6665 0
vsize: 26912
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 31202
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 6003 0 0 0 1980 17 0 0 25 0 1 0 911929384 27803648 5921 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 5921 1111 63 0 6725 0
vsize: 27152
[startup+30.0017 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 31202
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 6003 0 0 0 2981 17 0 0 25 0 1 0 911929384 27803648 5921 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 5921 1111 63 0 6725 0
vsize: 27152
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 31202
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 6003 0 0 0 3981 17 0 0 25 0 1 0 911929384 27803648 5921 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 5921 1111 63 0 6725 0
vsize: 27152
[startup+50.0027 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 31202
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 6688 0 0 0 4978 19 0 0 25 0 1 0 911929384 28135424 6111 4294967295 134512640 134716908 3221224560 3221221504 1074620117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6869 6111 1111 63 0 6806 0
vsize: 27476
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 31202
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 8023 0 0 0 5973 24 0 0 25 0 1 0 911929384 27803648 6090 4294967295 134512640 134716908 3221224560 3221222320 1074153751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6090 1111 63 0 6725 0
vsize: 27152
[startup+70.0025 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 31202
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 9399 0 0 0 6968 30 0 0 25 0 1 0 911929384 27803648 6091 4294967295 134512640 134716908 3221224560 3221223200 134651142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6091 1111 63 0 6725 0
vsize: 27152
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 31202
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 10960 0 0 0 7963 35 0 0 25 0 1 0 911929384 27840512 6095 4294967295 134512640 134716908 3221224560 3221222304 1075640275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6797 6095 1111 63 0 6734 0
vsize: 27188
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 31202
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 12713 0 0 0 8958 40 0 0 25 0 1 0 911929384 27844608 6104 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6798 6104 1111 63 0 6735 0
vsize: 27192
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 31202
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 14720 0 0 0 9951 47 0 0 25 0 1 0 911929384 28020736 6110 4294967295 134512640 134716908 3221224560 3221220824 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6841 6110 1111 63 0 6778 0
vsize: 27364
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31202
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 16459 0 0 0 10944 54 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221223168 134652541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31202
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 18402 0 0 0 11938 60 0 0 25 0 1 0 911929384 27840512 6101 4294967295 134512640 134716908 3221224560 3221222616 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6797 6101 1111 63 0 6734 0
vsize: 27188
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31202
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 20407 0 0 0 12932 67 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222288 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31202
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 22746 0 0 0 13925 74 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222416 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31202
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 24956 0 0 0 14918 81 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222416 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31202
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 26865 0 0 0 15910 89 0 0 25 0 1 0 911929384 27840512 6102 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6797 6102 1111 63 0 6734 0
vsize: 27188
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31202
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 28411 0 0 0 16905 94 0 0 25 0 1 0 911929384 27840512 6100 4294967295 134512640 134716908 3221224560 3221222384 1074153734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6797 6100 1111 63 0 6734 0
vsize: 27188
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 29895 0 0 0 17900 99 0 0 25 0 1 0 911929384 27840512 6103 4294967295 134512640 134716908 3221224560 3221222392 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6797 6103 1111 63 0 6734 0
vsize: 27188
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 31757 0 0 0 18894 105 0 0 25 0 1 0 911929384 28196864 6123 4294967295 134512640 134716908 3221224560 3221220632 1074950169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6123 1111 63 0 6821 0
vsize: 27536
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 33565 0 0 0 19888 112 0 0 25 0 1 0 911929384 27840512 6103 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6797 6103 1111 63 0 6734 0
vsize: 27188
[startup+210.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 35475 0 0 0 20881 120 0 0 25 0 1 0 911929384 27963392 6096 4294967295 134512640 134716908 3221224560 3221222480 1075799685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6827 6096 1111 63 0 6764 0
vsize: 27308
[startup+220.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 37707 0 0 0 21873 127 0 0 25 0 1 0 911929384 27832320 6097 4294967295 134512640 134716908 3221224560 3221222992 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6795 6097 1111 63 0 6732 0
vsize: 27180
[startup+230.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 39327 0 0 0 22867 133 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221223008 1073990196 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+240.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 39973 0 0 0 23864 137 0 0 25 0 1 0 911929384 28008448 6097 4294967295 134512640 134716908 3221224560 3221221404 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6838 6101 1111 63 0 6775 0
vsize: 27352
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 41829 0 0 0 24858 143 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+260.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 43899 0 0 0 25849 152 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222392 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+270.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 45956 0 0 0 26843 158 0 0 25 0 1 0 911929384 27832320 6096 4294967295 134512640 134716908 3221224560 3221222912 1074115339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6795 6096 1111 63 0 6732 0
vsize: 27180
[startup+280.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 48068 0 0 0 27835 166 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222480 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+290.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 50172 0 0 0 28827 175 0 0 25 0 1 0 911929384 28024832 6114 4294967295 134512640 134716908 3221224560 3221220668 1075093130 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6842 6114 1111 63 0 6779 0
vsize: 27368
[startup+300.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 52158 0 0 0 29819 182 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222312 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+310.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 53630 0 0 0 30812 190 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222608 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+320.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 55345 0 0 0 31806 196 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222512 1074918472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+330.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 57405 0 0 0 32799 203 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222104 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+340.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 59663 0 0 0 33791 211 0 0 25 0 1 0 911929384 28020736 6117 4294967295 134512640 134716908 3221224560 3221220716 1075563857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6841 6117 1111 63 0 6778 0
vsize: 27364
[startup+350.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 61574 0 0 0 34784 218 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+360.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 63773 0 0 0 35778 225 0 0 25 0 1 0 911929384 27832320 6097 4294967295 134512640 134716908 3221224560 3221221616 1074139054 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6834 6100 1111 63 0 6771 0
vsize: 27180
[startup+370.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 65857 0 0 0 36769 234 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222400 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+380.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 67919 0 0 0 37760 243 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222616 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+390.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 69493 0 0 0 38754 250 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222736 1073978447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+400.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 70415 0 0 0 39749 255 0 0 25 0 1 0 911929384 27803648 6094 4294967295 134512640 134716908 3221224560 3221222740 1077374168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+410.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 72219 0 0 0 40742 262 0 0 25 0 1 0 911929384 27975680 6104 4294967295 134512640 134716908 3221224560 3221220984 1075111335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6830 6104 1111 63 0 6767 0
vsize: 27320
[startup+420.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 73094 0 0 0 41737 267 0 0 25 0 1 0 911929384 27832320 6101 4294967295 134512640 134716908 3221224560 3221223296 134556388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6795 6101 1111 63 0 6732 0
vsize: 27180
[startup+430.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 73992 0 0 0 42734 270 0 0 25 0 1 0 911929384 27832320 6101 4294967295 134512640 134716908 3221224560 3221223232 134652567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6795 6101 1111 63 0 6732 0
vsize: 27180
[startup+440.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 75939 0 0 0 43727 278 0 0 25 0 1 0 911929384 27832320 6101 4294967295 134512640 134716908 3221224560 3221222976 1074121049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6795 6101 1111 63 0 6732 0
vsize: 27180
[startup+450.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 77395 0 0 0 44720 285 0 0 25 0 1 0 911929384 27996160 6112 4294967295 134512640 134716908 3221224560 3221220532 1074786571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6835 6112 1111 63 0 6772 0
vsize: 27340
[startup+460.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 79445 0 0 0 45715 290 0 0 25 0 1 0 911929384 28037120 6113 4294967295 134512640 134716908 3221224560 3221221504 1074620304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6845 6113 1111 63 0 6782 0
vsize: 27380
[startup+470.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 81659 0 0 0 46708 297 0 0 25 0 1 0 911929384 28016640 6118 4294967295 134512640 134716908 3221224560 3221220784 1074961363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6840 6118 1111 63 0 6777 0
vsize: 27360
[startup+480.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 83974 0 0 0 47700 305 0 0 25 0 1 0 911929384 27959296 6097 4294967295 134512640 134716908 3221224560 3221222672 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6826 6097 1111 63 0 6763 0
vsize: 27304
[startup+490.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 86377 0 0 0 48692 313 0 0 25 0 1 0 911929384 27803648 6095 4294967295 134512640 134716908 3221224560 3221222688 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 6095 1111 63 0 6725 0
vsize: 27152
[startup+500.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 89412 0 0 0 49682 324 0 0 25 0 1 0 911929384 28282880 6143 4294967295 134512640 134716908 3221224560 3221220924 1075522564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6905 6143 1111 63 0 6842 0
vsize: 27620
[startup+510.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 92525 0 0 0 50672 334 0 0 25 0 1 0 911929384 28012544 6142 4294967295 134512640 134716908 3221224560 3221222512 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6839 6142 1111 63 0 6776 0
vsize: 27356
[startup+520.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 95152 0 0 0 51663 343 0 0 25 0 1 0 911929384 27959296 6133 4294967295 134512640 134716908 3221224560 3221221840 1074140013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6826 6133 1111 63 0 6763 0
vsize: 27304
[startup+530.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 97754 0 0 0 52655 351 0 0 25 0 1 0 911929384 27983872 6136 4294967295 134512640 134716908 3221224560 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6832 6136 1111 63 0 6769 0
vsize: 27328
[startup+540.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 100621 0 0 0 53647 360 0 0 25 0 1 0 911929384 28119040 6136 4294967295 134512640 134716908 3221224560 3221222464 1075809068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6865 6136 1111 63 0 6802 0
vsize: 27460
[startup+550.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 103555 0 0 0 54637 369 0 0 25 0 1 0 911929384 28065792 6150 4294967295 134512640 134716908 3221224560 3221222336 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6852 6150 1111 63 0 6789 0
vsize: 27408
[startup+560.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 107050 0 0 0 55626 381 0 0 25 0 1 0 911929384 27938816 6129 4294967295 134512640 134716908 3221224560 3221222596 1077378774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6821 6129 1111 63 0 6758 0
vsize: 27284
[startup+570.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 110574 0 0 0 56616 391 0 0 25 0 1 0 911929384 27938816 6129 4294967295 134512640 134716908 3221224560 3221222416 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6821 6129 1111 63 0 6758 0
vsize: 27284
[startup+580.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 112822 0 0 0 57609 399 0 0 25 0 1 0 911929384 27938816 6129 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6821 6129 1111 63 0 6758 0
vsize: 27284
[startup+590.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 115229 0 0 0 58601 406 0 0 25 0 1 0 911929384 28188672 6139 4294967295 134512640 134716908 3221224560 3221221792 1074140374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6882 6139 1111 63 0 6819 0
vsize: 27528
[startup+600.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 117489 0 0 0 59593 415 0 0 25 0 1 0 911929384 27959296 6133 4294967295 134512640 134716908 3221224560 3221222776 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6826 6133 1111 63 0 6763 0
vsize: 27304
[startup+610.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 120279 0 0 0 60585 423 0 0 25 0 1 0 911929384 28110848 6130 4294967295 134512640 134716908 3221224560 3221222288 1075828211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6863 6130 1111 63 0 6800 0
vsize: 27452
[startup+620.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 123804 0 0 0 61573 434 0 0 25 0 1 0 911929384 28024832 6150 4294967295 134512640 134716908 3221224560 3221222200 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6842 6150 1111 63 0 6779 0
vsize: 27368
[startup+630.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 127376 0 0 0 62563 445 0 0 25 0 1 0 911929384 27983872 6140 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6832 6140 1111 63 0 6769 0
vsize: 27328
[startup+640.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 130476 0 0 0 63552 457 0 0 25 0 1 0 911929384 27959296 6128 4294967295 134512640 134716908 3221224560 3221222560 1074916864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6826 6128 1111 63 0 6763 0
vsize: 27304
[startup+650.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 134104 0 0 0 64539 470 0 0 25 0 1 0 911929384 28270592 6147 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6902 6147 1111 63 0 6839 0
vsize: 27608
[startup+660.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 138105 0 0 0 65526 483 0 0 25 0 1 0 911929384 28012544 6137 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6839 6137 1111 63 0 6776 0
vsize: 27356
[startup+670.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 142105 0 0 0 66514 495 0 0 25 0 1 0 911929384 27987968 6141 4294967295 134512640 134716908 3221224560 3221222752 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6833 6141 1111 63 0 6770 0
vsize: 27332
[startup+680.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 145124 0 0 0 67506 503 0 0 25 0 1 0 911929384 28192768 6184 4294967295 134512640 134716908 3221224560 3221222912 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6883 6184 1111 63 0 6820 0
vsize: 27532
[startup+690.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 147268 0 0 0 68499 511 0 0 25 0 1 0 911929384 28119040 6173 4294967295 134512640 134716908 3221224560 3221222464 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6865 6173 1111 63 0 6802 0
vsize: 27460
[startup+700.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 149598 0 0 0 69493 517 0 0 25 0 1 0 911929384 28422144 6247 4294967295 134512640 134716908 3221224560 3221222680 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6939 6247 1111 63 0 6876 0
vsize: 27756
[startup+710.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 151366 0 0 0 70487 523 0 0 25 0 1 0 911929384 28516352 6270 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6962 6270 1111 63 0 6899 0
vsize: 27848
[startup+720.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 152048 0 0 0 71485 525 0 0 25 0 1 0 911929384 28491776 6264 4294967295 134512640 134716908 3221224560 3221222672 1074867331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6956 6264 1111 63 0 6893 0
vsize: 27824
[startup+730.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 152524 0 0 0 72482 528 0 0 25 0 1 0 911929384 28491776 6264 4294967295 134512640 134716908 3221224560 3221222976 1074115878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6956 6264 1111 63 0 6893 0
vsize: 27824
[startup+740.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 153052 0 0 0 73480 530 0 0 25 0 1 0 911929384 28491776 6264 4294967295 134512640 134716908 3221224560 3221222400 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6956 6264 1111 63 0 6893 0
vsize: 27824
[startup+750.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 153532 0 0 0 74477 533 0 0 25 0 1 0 911929384 28491776 6264 4294967295 134512640 134716908 3221224560 3221222256 1075646784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6956 6264 1111 63 0 6893 0
vsize: 27824
[startup+760.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 154012 0 0 0 75475 536 0 0 25 0 1 0 911929384 28491776 6264 4294967295 134512640 134716908 3221224560 3221222384 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6956 6264 1111 63 0 6893 0
vsize: 27824
[startup+770.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 154613 0 0 0 76472 539 0 0 25 0 1 0 911929384 28491776 6264 4294967295 134512640 134716908 3221224560 3221222416 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6956 6264 1111 63 0 6893 0
vsize: 27824
[startup+780.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 155140 0 0 0 77469 542 0 0 25 0 1 0 911929384 28491776 6264 4294967295 134512640 134716908 3221224560 3221221632 1074834473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6956 6264 1111 63 0 6893 0
vsize: 27824
[startup+790.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 155662 0 0 0 78468 544 0 0 25 0 1 0 911929384 28491776 6264 4294967295 134512640 134716908 3221224560 3221220524 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6956 6264 1111 63 0 6893 0
vsize: 27824
[startup+800.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 156314 0 0 0 79465 546 0 0 25 0 1 0 911929384 28516352 6268 4294967295 134512640 134716908 3221224560 3221222680 1077378283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6962 6268 1111 63 0 6899 0
vsize: 27848
[startup+810.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 157201 0 0 0 80461 550 0 0 25 0 1 0 911929384 28794880 6268 4294967295 134512640 134716908 3221224560 3221221504 1074620306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7030 6268 1111 63 0 6967 0
vsize: 28120
[startup+820.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 157944 0 0 0 81457 555 0 0 25 0 1 0 911929384 28516352 6270 4294967295 134512640 134716908 3221224560 3221222816 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6962 6270 1111 63 0 6899 0
vsize: 27848
[startup+830.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 159432 0 0 0 82451 560 0 0 25 0 1 0 911929384 28573696 6273 4294967295 134512640 134716908 3221224560 3221222512 1074916773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6976 6273 1111 63 0 6913 0
vsize: 27904
[startup+840.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 161793 0 0 0 83445 567 0 0 25 0 1 0 911929384 28524544 6267 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6964 6267 1111 63 0 6901 0
vsize: 27856
[startup+850.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 164563 0 0 0 84436 577 0 0 25 0 1 0 911929384 28606464 6292 4294967295 134512640 134716908 3221224560 3221221840 1074140023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6984 6292 1111 63 0 6921 0
vsize: 27936
[startup+860.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 167513 0 0 0 85425 587 0 0 25 0 1 0 911929384 28786688 6334 4294967295 134512640 134716908 3221224560 3221222864 1074115244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7028 6334 1111 63 0 6965 0
vsize: 28112
[startup+870.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 170261 0 0 0 86417 596 0 0 25 0 1 0 911929384 28749824 6327 4294967295 134512640 134716908 3221224560 3221222672 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7019 6327 1111 63 0 6956 0
vsize: 28076
[startup+880.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 172521 0 0 0 87408 605 0 0 25 0 1 0 911929384 28725248 6321 4294967295 134512640 134716908 3221224560 3221222560 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7013 6321 1111 63 0 6950 0
vsize: 28052
[startup+890.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 175035 0 0 0 88402 612 0 0 25 0 1 0 911929384 29138944 6362 4294967295 134512640 134716908 3221224560 3221220724 1075964278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7114 6362 1111 63 0 7051 0
vsize: 28456
[startup+900.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 177476 0 0 0 89395 619 0 0 25 0 1 0 911929384 28725248 6321 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7013 6321 1111 63 0 6950 0
vsize: 28052
[startup+910.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 178934 0 0 0 90390 624 0 0 25 0 1 0 911929384 29159424 6352 4294967295 134512640 134716908 3221224560 3221221216 1075966495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7119 6352 1111 63 0 7056 0
vsize: 28476
[startup+920.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 181411 0 0 0 91383 631 0 0 25 0 1 0 911929384 29061120 6341 4294967295 134512640 134716908 3221224560 3221221328 1076083898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7095 6341 1111 63 0 7032 0
vsize: 28380
[startup+930.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 183583 0 0 0 92376 637 0 0 25 0 1 0 911929384 29208576 6375 4294967295 134512640 134716908 3221224560 3221221552 1075971283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7131 6375 1111 63 0 7068 0
vsize: 28524
[startup+940.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 185903 0 0 0 93369 645 0 0 25 0 1 0 911929384 28725248 6321 4294967295 134512640 134716908 3221224560 3221222912 134652546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7013 6321 1111 63 0 6950 0
vsize: 28052
[startup+950.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 188785 0 0 0 94361 653 0 0 25 0 1 0 911929384 28749824 6327 4294967295 134512640 134716908 3221224560 3221221616 1074138880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7019 6327 1111 63 0 6956 0
vsize: 28076
[startup+960.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 190960 0 0 0 95353 661 0 0 25 0 1 0 911929384 28725248 6321 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7013 6321 1111 63 0 6950 0
vsize: 28052
[startup+970.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 193983 0 0 0 96343 671 0 0 25 0 1 0 911929384 28725248 6321 4294967295 134512640 134716908 3221224560 3221222476 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7013 6321 1111 63 0 6950 0
vsize: 28052
[startup+980.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 197416 0 0 0 97333 681 0 0 25 0 1 0 911929384 28725248 6321 4294967295 134512640 134716908 3221224560 3221222544 1074140701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7013 6321 1111 63 0 6950 0
vsize: 28052
[startup+990.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 199700 0 0 0 98326 688 0 0 25 0 1 0 911929384 29224960 6368 4294967295 134512640 134716908 3221224560 3221221584 1074810508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7135 6368 1111 63 0 7072 0
vsize: 28540
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 202615 0 0 0 99317 698 0 0 25 0 1 0 911929384 28753920 6328 4294967295 134512640 134716908 3221224560 3221222560 1074056648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7020 6328 1111 63 0 6957 0
vsize: 28080
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 205789 0 0 0 100306 709 0 0 25 0 1 0 911929384 28962816 6379 4294967295 134512640 134716908 3221224560 3221222412 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7071 6379 1111 63 0 7008 0
vsize: 28284
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 208719 0 0 0 101297 718 0 0 25 0 1 0 911929384 29020160 6393 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7085 6393 1111 63 0 7022 0
vsize: 28340
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 211458 0 0 0 102289 726 0 0 25 0 1 0 911929384 28975104 6382 4294967295 134512640 134716908 3221224560 3221222296 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7074 6382 1111 63 0 7011 0
vsize: 28296
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 214633 0 0 0 103279 736 0 0 25 0 1 0 911929384 29003776 6379 4294967295 134512640 134716908 3221224560 3221222304 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7081 6379 1111 63 0 7018 0
vsize: 28324
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 217925 0 0 0 104268 747 0 0 25 0 1 0 911929384 29065216 6397 4294967295 134512640 134716908 3221224560 3221222912 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7096 6397 1111 63 0 7033 0
vsize: 28384
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 220690 0 0 0 105258 757 0 0 25 0 1 0 911929384 29044736 6399 4294967295 134512640 134716908 3221224560 3221222476 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7091 6399 1111 63 0 7028 0
vsize: 28364
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 223152 0 0 0 106251 765 0 0 25 0 1 0 911929384 29130752 6407 4294967295 134512640 134716908 3221224560 3221222792 1074138274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7112 6407 1111 63 0 7049 0
vsize: 28448
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 225225 0 0 0 107246 770 0 0 25 0 1 0 911929384 29044736 6399 4294967295 134512640 134716908 3221224560 3221222432 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7091 6399 1111 63 0 7028 0
vsize: 28364
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 227513 0 0 0 108238 778 0 0 25 0 1 0 911929384 29102080 6401 4294967295 134512640 134716908 3221224560 3221222560 1074915841 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7105 6401 1111 63 0 7042 0
vsize: 28420
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 229391 0 0 0 109231 786 0 0 25 0 1 0 911929384 29044736 6399 4294967295 134512640 134716908 3221224560 3221221664 1074138693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7091 6399 1111 63 0 7028 0
vsize: 28364
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 231508 0 0 0 110224 792 0 0 25 0 1 0 911929384 29143040 6420 4294967295 134512640 134716908 3221224560 3221222136 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7115 6420 1111 63 0 7052 0
vsize: 28460
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 233690 0 0 0 111217 799 0 0 25 0 1 0 911929384 29421568 6431 4294967295 134512640 134716908 3221224560 3221221624 1075007302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7183 6431 1111 63 0 7120 0
vsize: 28732
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 236535 0 0 0 112208 809 0 0 25 0 1 0 911929384 29515776 6454 4294967295 134512640 134716908 3221224560 3221220688 1075561218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7206 6454 1111 63 0 7143 0
vsize: 28824
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 239073 0 0 0 113200 818 0 0 25 0 1 0 911929384 29466624 6459 4294967295 134512640 134716908 3221224560 3221222224 1075828469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7194 6459 1111 63 0 7131 0
vsize: 28776
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 241262 0 0 0 114191 826 0 0 25 0 1 0 911929384 29634560 6484 4294967295 134512640 134716908 3221224560 3221221160 1075850673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7235 6484 1111 63 0 7172 0
vsize: 28940
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 243476 0 0 0 115183 835 0 0 25 0 1 0 911929384 29327360 6460 4294967295 134512640 134716908 3221224560 3221222560 1074918285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7160 6460 1111 63 0 7097 0
vsize: 28640
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 245955 0 0 0 116174 844 0 0 25 0 1 0 911929384 29282304 6457 4294967295 134512640 134716908 3221224560 3221222656 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7149 6457 1111 63 0 7086 0
vsize: 28596
[startup+1174.98 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 31204
Raw data (stat): 31202 (bsolo_lpr_cuts-) R 31201 31399 31398 0 -1 0 245955 0 0 0 116174 844 0 0 25 0 1 0 911929384 29282304 6457 4294967295 134512640 134716908 3221224560 3221222656 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7149 6457 1111 63 0 7086 0
vsize: 0

Child status: 0
Real time (s): 1174.98
CPU time (s): 1175.15
CPU user time (s): 1166.65
CPU system time (s): 8.49471
CPU usage (%): 100.015
Max. virtual memory (Kb): 28940
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####