PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x21.opb
MD5SUM	0d744fe957d41a18692933adc6be4af7
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1493203
Optimality of the best value was proved	NO
Number of terms in the objective function	5292
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1511880035
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1511880035
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	5292
Total number of constraints	285
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	285
Minimum length of a constraint	21
Maximum length of a constraint	420
Trace number 41633

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        873476 kB
Buffers:         11660 kB
Cached:         129476 kB
SwapCached:        916 kB
Active:          25412 kB
Inactive:       117776 kB
HighTotal:      131008 kB
HighFree:         2352 kB
LowTotal:       903652 kB
LowFree:        871124 kB
SwapTotal:     2097136 kB
SwapFree:      2095168 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            12444 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 18:37:44 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 29699 7 1175.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5292 variables and 318 constraints.
c After prepocess the problem consists of 2942 variables and 409 constraints.
c preprocess terminated 7.681 s
c Initial Lower Bound: 404145
c Lower Bound Elapsed time: 0.4135
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.11 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 1/54 19187
Raw data (stat): 19187 (runsolver) R 19186 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912365469 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 9201 0 0 0 977 20 0 0 25 0 1 0 912365469 33333248 7404 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7404 1111 63 0 8075 0
vsize: 32552
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 16518 0 0 0 1961 36 0 0 25 0 1 0 912365469 33333248 7405 4294967295 134512640 134716908 3221224560 3221222848 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7405 1111 63 0 8075 0
vsize: 32552
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 24035 0 0 0 2945 53 0 0 25 0 1 0 912365469 34254848 7583 4294967295 134512640 134716908 3221224560 3221220632 1074950215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8363 7583 1111 63 0 8300 0
vsize: 33452
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 31554 0 0 0 3930 67 0 0 25 0 1 0 912365469 34254848 7548 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8363 7550 1111 63 0 8300 0
vsize: 33452
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 38874 0 0 0 4915 82 0 0 25 0 1 0 912365469 33333248 7405 4294967295 134512640 134716908 3221224560 3221222632 1077378180 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7405 1111 63 0 8075 0
vsize: 32552
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 46328 0 0 0 5899 98 0 0 25 0 1 0 912365469 33333248 7405 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7405 1111 63 0 8075 0
vsize: 32552
[startup+70.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 53076 0 0 0 6885 113 0 0 25 0 1 0 912365469 33333248 7405 4294967295 134512640 134716908 3221224560 3221222896 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7405 1111 63 0 8075 0
vsize: 32552
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 59560 0 0 0 7872 126 0 0 25 0 1 0 912365469 33333248 7405 4294967295 134512640 134716908 3221224560 3221222816 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7405 1111 63 0 8075 0
vsize: 32552
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 66446 0 0 0 8857 141 0 0 25 0 1 0 912365469 33820672 7475 4294967295 134512640 134716908 3221224560 3221221680 1074866273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8257 7475 1111 63 0 8194 0
vsize: 33028
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 73647 0 0 0 9840 158 0 0 25 0 1 0 912365469 33333248 7405 4294967295 134512640 134716908 3221224560 3221222856 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7405 1111 63 0 8075 0
vsize: 32552
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 80791 0 0 0 10825 173 0 0 25 0 1 0 912365469 34443264 7592 4294967295 134512640 134716908 3221224560 3221220720 1074794557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8409 7592 1111 63 0 8346 0
vsize: 33636
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 87629 0 0 0 11810 189 0 0 25 0 1 0 912365469 33333248 7405 4294967295 134512640 134716908 3221224560 3221220352 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7405 1111 63 0 8075 0
vsize: 32552
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 94688 0 0 0 12793 206 0 0 25 0 1 0 912365469 33333248 7405 4294967295 134512640 134716908 3221224560 3221222896 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7405 1111 63 0 8075 0
vsize: 32552
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 101937 0 0 0 13778 222 0 0 25 0 1 0 912365469 33333248 7405 4294967295 134512640 134716908 3221224560 3221222776 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7405 1111 63 0 8075 0
vsize: 32552
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 108983 0 0 0 14763 237 0 0 25 0 1 0 912365469 33517568 7450 4294967295 134512640 134716908 3221224560 3221223024 1074121071 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8183 7450 1111 63 0 8120 0
vsize: 32732
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 115589 0 0 0 15748 252 0 0 25 0 1 0 912365469 33845248 7468 4294967295 134512640 134716908 3221224560 3221221904 1074839039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8263 7468 1111 63 0 8200 0
vsize: 33052
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 122450 0 0 0 16734 266 0 0 25 0 1 0 912365469 33333248 7405 4294967295 134512640 134716908 3221224560 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7405 1111 63 0 8075 0
vsize: 32552
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 129274 0 0 0 17721 280 0 0 25 0 1 0 912365469 33570816 7463 4294967295 134512640 134716908 3221224560 3221222928 1074140697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8196 7463 1111 63 0 8133 0
vsize: 32784
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 135159 0 0 0 18706 294 0 0 25 0 1 0 912365469 34099200 7529 4294967295 134512640 134716908 3221224560 3221221664 1074138636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8325 7529 1111 63 0 8262 0
vsize: 33300
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 140901 0 0 0 19695 306 0 0 25 0 1 0 912365469 33333248 7405 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7405 1111 63 0 8075 0
vsize: 32552
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 147672 0 0 0 20681 320 0 0 25 0 1 0 912365469 33640448 7448 4294967295 134512640 134716908 3221224560 3221222560 1074916974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8213 7448 1111 63 0 8150 0
vsize: 32852
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 154728 0 0 0 21667 334 0 0 25 0 1 0 912365469 33333248 7405 4294967295 134512640 134716908 3221224560 3221222304 1075640427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7405 1111 63 0 8075 0
vsize: 32552
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 161468 0 0 0 22652 350 0 0 25 0 1 0 912365469 34332672 7568 4294967295 134512640 134716908 3221224560 3221220720 1074794571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8382 7568 1111 63 0 8319 0
vsize: 33528
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 167857 0 0 0 23636 365 0 0 25 0 1 0 912365469 33333248 7405 4294967295 134512640 134716908 3221224560 3221221568 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7405 1111 63 0 8075 0
vsize: 32552
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 174190 0 0 0 24622 379 0 0 25 0 1 0 912365469 33333248 7405 4294967295 134512640 134716908 3221224560 3221221600 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7405 1111 63 0 8075 0
vsize: 32552
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 180654 0 0 0 25609 393 0 0 25 0 1 0 912365469 34353152 7576 4294967295 134512640 134716908 3221224560 3221220632 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8387 7576 1111 63 0 8324 0
vsize: 33548
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 186963 0 0 0 26595 407 0 0 25 0 1 0 912365469 33333248 7406 4294967295 134512640 134716908 3221224560 3221221840 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7406 1111 63 0 8075 0
vsize: 32552
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 193691 0 0 0 27580 422 0 0 25 0 1 0 912365469 33333248 7410 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7410 1111 63 0 8075 0
vsize: 32552
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 200895 0 0 0 28561 442 0 0 25 0 1 0 912365469 33918976 7491 4294967295 134512640 134716908 3221224560 3221221840 1074140035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8281 7496 1111 63 0 8218 0
vsize: 33124
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 207821 0 0 0 29544 458 0 0 25 0 1 0 912365469 33333248 7410 4294967295 134512640 134716908 3221224560 3221221984 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7410 1111 63 0 8075 0
vsize: 32552
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 214691 0 0 0 30529 474 0 0 25 0 1 0 912365469 34283520 7564 4294967295 134512640 134716908 3221224560 3221220524 1074860608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8370 7564 1111 63 0 8307 0
vsize: 33480
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 221358 0 0 0 31514 489 0 0 25 0 1 0 912365469 33333248 7410 4294967295 134512640 134716908 3221224560 3221220896 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7410 1111 63 0 8075 0
vsize: 32552
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 228121 0 0 0 32500 504 0 0 25 0 1 0 912365469 33333248 7410 4294967295 134512640 134716908 3221224560 3221223304 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7410 1111 63 0 8075 0
vsize: 32552
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 234597 0 0 0 33485 518 0 0 25 0 1 0 912365469 34271232 7557 4294967295 134512640 134716908 3221224560 3221220508 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7557 1111 63 0 8304 0
vsize: 33468
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 241108 0 0 0 34472 532 0 0 25 0 1 0 912365469 33333248 7410 4294967295 134512640 134716908 3221224560 3221223300 134556384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7410 1111 63 0 8075 0
vsize: 32552
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 247739 0 0 0 35458 546 0 0 25 0 1 0 912365469 33333248 7410 4294967295 134512640 134716908 3221224560 3221222864 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7410 1111 63 0 8075 0
vsize: 32552
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 253780 0 0 0 36444 561 0 0 25 0 1 0 912365469 33333248 7410 4294967295 134512640 134716908 3221224560 3221222896 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7410 1111 63 0 8075 0
vsize: 32552
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 259456 0 0 0 37430 575 0 0 25 0 1 0 912365469 33828864 7456 4294967295 134512640 134716908 3221224560 3221222672 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8259 7456 1111 63 0 8196 0
vsize: 33036
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 264988 0 0 0 38417 587 0 0 25 0 1 0 912365469 33333248 7410 4294967295 134512640 134716908 3221224560 3221223352 134558587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7410 1111 63 0 8075 0
vsize: 32552
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 270565 0 0 0 39405 600 0 0 25 0 1 0 912365469 33333248 7410 4294967295 134512640 134716908 3221224560 3221223200 134651164 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7410 1111 63 0 8075 0
vsize: 32552
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 276307 0 0 0 40392 613 0 0 25 0 1 0 912365469 33333248 7410 4294967295 134512640 134716908 3221224560 3221222912 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7410 1111 63 0 8075 0
vsize: 32552
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 281895 0 0 0 41378 627 0 0 25 0 1 0 912365469 34050048 7534 4294967295 134512640 134716908 3221224560 3221221092 1075863647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8313 7534 1111 63 0 8250 0
vsize: 33252
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 287352 0 0 0 42365 640 0 0 25 0 1 0 912365469 33333248 7410 4294967295 134512640 134716908 3221224560 3221222752 1075603826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7410 1111 63 0 8075 0
vsize: 32552
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 292807 0 0 0 43353 653 0 0 25 0 1 0 912365469 33333248 7410 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7410 1111 63 0 8075 0
vsize: 32552
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 297884 0 0 0 44342 664 0 0 25 0 1 0 912365469 34025472 7530 4294967295 134512640 134716908 3221224560 3221220944 1076116793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8307 7530 1111 63 0 8244 0
vsize: 33228
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 303265 0 0 0 45329 677 0 0 25 0 1 0 912365469 33333248 7411 4294967295 134512640 134716908 3221224560 3221222944 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7411 1111 63 0 8075 0
vsize: 32552
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 308800 0 0 0 46316 690 0 0 25 0 1 0 912365469 33333248 7411 4294967295 134512640 134716908 3221224560 3221222560 1074056637 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7411 1111 63 0 8075 0
vsize: 32552
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 313972 0 0 0 47304 702 0 0 25 0 1 0 912365469 33333248 7411 4294967295 134512640 134716908 3221224560 3221222320 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7411 1111 63 0 8075 0
vsize: 32552
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 319341 0 0 0 48292 714 0 0 25 0 1 0 912365469 33333248 7411 4294967295 134512640 134716908 3221224560 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7411 1111 63 0 8075 0
vsize: 32552
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 323960 0 0 0 49282 724 0 0 25 0 1 0 912365469 33431552 7435 4294967295 134512640 134716908 3221224560 3221222136 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8162 7435 1111 63 0 8099 0
vsize: 32648
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 328540 0 0 0 50271 736 0 0 25 0 1 0 912365469 33402880 7428 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8155 7428 1111 63 0 8092 0
vsize: 32620
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 333185 0 0 0 51258 749 0 0 25 0 1 0 912365469 33333248 7411 4294967295 134512640 134716908 3221224560 3221222872 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7411 1111 63 0 8075 0
vsize: 32552
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 337778 0 0 0 52247 760 0 0 25 0 1 0 912365469 33701888 7427 4294967295 134512640 134716908 3221224560 3221222480 1075799727 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8228 7427 1111 63 0 8165 0
vsize: 32912
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 342487 0 0 0 53237 771 0 0 25 0 1 0 912365469 33333248 7411 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7411 1111 63 0 8075 0
vsize: 32552
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 347177 0 0 0 54226 782 0 0 25 0 1 0 912365469 33333248 7411 4294967295 134512640 134716908 3221224560 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7411 1111 63 0 8075 0
vsize: 32552
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 351728 0 0 0 55217 791 0 0 25 0 1 0 912365469 33333248 7411 4294967295 134512640 134716908 3221224560 3221222392 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7411 1111 63 0 8075 0
vsize: 32552
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 356223 0 0 0 56207 801 0 0 25 0 1 0 912365469 33333248 7411 4294967295 134512640 134716908 3221224560 3221222808 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7411 1111 63 0 8075 0
vsize: 32552
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 361147 0 0 0 57196 813 0 0 25 0 1 0 912365469 33333248 7411 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7411 1111 63 0 8075 0
vsize: 32552
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 365962 0 0 0 58186 822 0 0 25 0 1 0 912365469 33333248 7411 4294967295 134512640 134716908 3221224560 3221222912 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7411 1111 63 0 8075 0
vsize: 32552
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 370786 0 0 0 59175 833 0 0 25 0 1 0 912365469 33333248 7412 4294967295 134512640 134716908 3221224560 3221222560 1074913436 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7412 1111 63 0 8075 0
vsize: 32552
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 375590 0 0 0 60165 844 0 0 25 0 1 0 912365469 33333248 7412 4294967295 134512640 134716908 3221224560 3221222304 1075640442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7412 1111 63 0 8075 0
vsize: 32552
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 380253 0 0 0 61154 855 0 0 25 0 1 0 912365469 33333248 7412 4294967295 134512640 134716908 3221224560 3221222808 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7412 1111 63 0 8075 0
vsize: 32552
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 384828 0 0 0 62141 868 0 0 25 0 1 0 912365469 33333248 7412 4294967295 134512640 134716908 3221224560 3221222504 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7412 1111 63 0 8075 0
vsize: 32552
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 389725 0 0 0 63130 880 0 0 25 0 1 0 912365469 33361920 7419 4294967295 134512640 134716908 3221224560 3221222304 1075640370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7419 1111 63 0 8082 0
vsize: 32580
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 394574 0 0 0 64119 891 0 0 25 0 1 0 912365469 34000896 7501 4294967295 134512640 134716908 3221224560 3221220556 1074860993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8301 7501 1111 63 0 8238 0
vsize: 33204
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 399258 0 0 0 65109 901 0 0 25 0 1 0 912365469 33333248 7412 4294967295 134512640 134716908 3221224560 3221222912 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7412 1111 63 0 8075 0
vsize: 32552
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 403884 0 0 0 66097 913 0 0 25 0 1 0 912365469 33333248 7412 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7412 1111 63 0 8075 0
vsize: 32552
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 407615 0 0 0 67087 923 0 0 25 0 1 0 912365469 33333248 7412 4294967295 134512640 134716908 3221224560 3221222976 1074116254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7412 1111 63 0 8075 0
vsize: 32552
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 410885 0 0 0 68078 933 0 0 25 0 1 0 912365469 34000896 7473 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8301 7473 1111 63 0 8238 0
vsize: 33204
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 413832 0 0 0 69069 942 0 0 25 0 1 0 912365469 33333248 7412 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7412 1111 63 0 8075 0
vsize: 32552
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 416752 0 0 0 70062 949 0 0 25 0 1 0 912365469 33333248 7412 4294967295 134512640 134716908 3221224560 3221220880 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7412 1111 63 0 8075 0
vsize: 32552
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 419450 0 0 0 71056 955 0 0 25 0 1 0 912365469 33333248 7412 4294967295 134512640 134716908 3221224560 3221222944 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7412 1111 63 0 8075 0
vsize: 32552
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 422237 0 0 0 72049 963 0 0 25 0 1 0 912365469 33333248 7413 4294967295 134512640 134716908 3221224560 3221222384 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7413 1111 63 0 8075 0
vsize: 32552
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 425005 0 0 0 73043 969 0 0 25 0 1 0 912365469 33333248 7413 4294967295 134512640 134716908 3221224560 3221222872 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7413 1111 63 0 8075 0
vsize: 32552
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 427730 0 0 0 74035 976 0 0 25 0 1 0 912365469 33726464 7419 4294967295 134512640 134716908 3221224560 3221221600 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8234 7419 1111 63 0 8171 0
vsize: 32936
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 430518 0 0 0 75027 985 0 0 25 0 1 0 912365469 33333248 7413 4294967295 134512640 134716908 3221224560 3221222664 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7413 1111 63 0 8075 0
vsize: 32552
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 433254 0 0 0 76021 991 0 0 25 0 1 0 912365469 33333248 7413 4294967295 134512640 134716908 3221224560 3221221532 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7413 1111 63 0 8075 0
vsize: 32552
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 435221 0 0 0 77015 998 0 0 25 0 1 0 912365469 33333248 7413 4294967295 134512640 134716908 3221224560 3221222616 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7413 1111 63 0 8075 0
vsize: 32552
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 437002 0 0 0 78009 1004 0 0 25 0 1 0 912365469 33333248 7413 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7413 1111 63 0 8075 0
vsize: 32552
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 438826 0 0 0 79003 1010 0 0 25 0 1 0 912365469 33333248 7413 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7413 1111 63 0 8075 0
vsize: 32552
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 441117 0 0 0 79996 1017 0 0 25 0 1 0 912365469 33333248 7413 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7413 1111 63 0 8075 0
vsize: 32552
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 444102 0 0 0 80988 1025 0 0 25 0 1 0 912365469 33333248 7413 4294967295 134512640 134716908 3221224560 3221222524 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7413 1111 63 0 8075 0
vsize: 32552
[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 449102 0 0 0 81975 1038 0 0 25 0 1 0 912365469 33333248 7413 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7413 1111 63 0 8075 0
vsize: 32552
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 454645 0 0 0 82959 1054 0 0 25 0 1 0 912365469 33599488 7478 4294967295 134512640 134716908 3221224560 3221222764 1074206432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8203 7478 1111 63 0 8140 0
vsize: 32812
[startup+850.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 456481 0 0 0 83953 1061 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222800 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+860.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 458434 0 0 0 84946 1068 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222552 1074051454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+870.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 460365 0 0 0 85938 1076 0 0 25 0 1 0 912365469 33759232 7505 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8242 7505 1111 63 0 8179 0
vsize: 32968
[startup+880.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 461707 0 0 0 86933 1081 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222664 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 463001 0 0 0 87928 1087 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222944 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 464325 0 0 0 88923 1092 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222560 1074056648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 465759 0 0 0 89918 1097 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222944 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 467179 0 0 0 90913 1103 0 0 25 0 1 0 912365469 33886208 7506 4294967295 134512640 134716908 3221224560 3221222384 1075824347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8273 7506 1111 63 0 8210 0
vsize: 33092
[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 468477 0 0 0 91909 1106 0 0 25 0 1 0 912365469 34070528 7520 4294967295 134512640 134716908 3221224560 3221220524 1074860667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8318 7520 1111 63 0 8255 0
vsize: 33272
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 469900 0 0 0 92905 1111 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 471375 0 0 0 93899 1117 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222568 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 473076 0 0 0 94892 1124 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222944 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+970.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 475083 0 0 0 95885 1131 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222632 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 477255 0 0 0 96877 1140 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222944 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 479822 0 0 0 97870 1147 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222344 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 482173 0 0 0 98862 1154 0 0 25 0 1 0 912365469 34119680 7525 4294967295 134512640 134716908 3221224560 3221220524 1074860571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8330 7525 1111 63 0 8267 0
vsize: 33320
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 484553 0 0 0 99854 1163 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222944 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 486978 0 0 0 100847 1170 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222856 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 489431 0 0 0 101840 1177 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222656 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 492033 0 0 0 102831 1186 0 0 25 0 1 0 912365469 34025472 7507 4294967295 134512640 134716908 3221224560 3221222480 1075802510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8307 7507 1111 63 0 8244 0
vsize: 33228
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 494572 0 0 0 103825 1193 0 0 25 0 1 0 912365469 33886208 7506 4294967295 134512640 134716908 3221224560 3221222288 1075828541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8273 7506 1111 63 0 8210 0
vsize: 33092
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 496109 0 0 0 104819 1199 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222672 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 497854 0 0 0 105813 1205 0 0 25 0 1 0 912365469 33759232 7506 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8242 7506 1111 63 0 8179 0
vsize: 32968
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 499502 0 0 0 106807 1211 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222872 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 501276 0 0 0 107801 1217 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222624 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 503083 0 0 0 108794 1224 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222432 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 505210 0 0 0 109787 1231 0 0 25 0 1 0 912365469 34045952 7522 4294967295 134512640 134716908 3221224560 3221220524 1074861051 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8312 7522 1111 63 0 8249 0
vsize: 33248
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 507384 0 0 0 110779 1240 0 0 25 0 1 0 912365469 33759232 7505 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8242 7505 1111 63 0 8179 0
vsize: 32968
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 509275 0 0 0 111771 1248 0 0 25 0 1 0 912365469 33759232 7505 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8242 7505 1111 63 0 8179 0
vsize: 32968
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 511160 0 0 0 112767 1252 0 0 25 0 1 0 912365469 33759232 7505 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8242 7505 1111 63 0 8179 0
vsize: 32968
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 513087 0 0 0 113761 1258 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 514851 0 0 0 114756 1264 0 0 25 0 1 0 912365469 33894400 7505 4294967295 134512640 134716908 3221224560 3221221644 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8275 7505 1111 63 0 8212 0
vsize: 33100
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 516651 0 0 0 115749 1271 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222920 1077410289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 32916
[startup+1174.97 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19187
Raw data (stat): 19187 (bsolo_lpr_cuts-) R 19186 21152 21151 0 -1 0 516651 0 0 0 115749 1271 0 0 25 0 1 0 912365469 33705984 7504 4294967295 134512640 134716908 3221224560 3221222920 1077410289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7504 1111 63 0 8166 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.13
CPU user time (s): 1162.36
CPU system time (s): 12.7691
CPU usage (%): 100.014
Max. virtual memory (Kb): 33636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####