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-ran13x13.opb
MD5SUM	688d61d0de54e028c8c4910e094a132c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	893343
Optimality of the best value was proved	NO
Number of terms in the objective function	3549
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	949933178
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	949933178
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	3549
Total number of constraints	195
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	195
Minimum length of a constraint	21
Maximum length of a constraint	260
Trace number 41634

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 18:25:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29700 boxname=wulflinc2 idbench=1484 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  688d61d0de54e028c8c4910e094a132c  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ran13x13.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ran13x13.opb
IDLAUNCH: 29700
/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:        872008 kB
Buffers:         20904 kB
Cached:         120932 kB
SwapCached:       1440 kB
Active:          27792 kB
Inactive:       116112 kB
HighTotal:      131008 kB
HighFree:        49504 kB
LowTotal:       903652 kB
LowFree:        822504 kB
SwapTotal:     2097136 kB
SwapFree:      2094656 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            13076 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 18:45:20 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 29700 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3549 variables and 221 constraints.
c After prepocess the problem consists of 1914 variables and 276 constraints.
c preprocess terminated 3.443 s
c Initial Lower Bound: 344505
c Lower Bound Elapsed time: 0.22775
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 31727
Raw data (stat): 31727 (runsolver) R 31726 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912424408 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.0003 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 11031 0 0 0 972 25 0 0 25 0 1 0 912424408 23584768 5038 4294967295 134512640 134716908 3221224560 3221222848 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5758 5038 1111 63 0 5695 0
vsize: 23032
[startup+19.9997 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 20770 0 0 0 1947 50 0 0 25 0 1 0 912424408 23584768 5039 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5758 5039 1111 63 0 5695 0
vsize: 23032
[startup+30.0004 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 30473 0 0 0 2924 73 0 0 25 0 1 0 912424408 23650304 5055 4294967295 134512640 134716908 3221224560 3221221648 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5774 5055 1111 63 0 5711 0
vsize: 23096
[startup+40.0002 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 38983 0 0 0 3902 96 0 0 25 0 1 0 912424408 23838720 5101 4294967295 134512640 134716908 3221224560 3221222912 1074115296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5820 5101 1111 63 0 5757 0
vsize: 23280
[startup+50.0008 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 47248 0 0 0 4880 117 0 0 25 0 1 0 912424408 23724032 5073 4294967295 134512640 134716908 3221224560 3221222848 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5792 5073 1111 63 0 5729 0
vsize: 23168
[startup+60.0005 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 55883 0 0 0 5856 142 0 0 25 0 1 0 912424408 24276992 5149 4294967295 134512640 134716908 3221224560 3221221664 1074138810 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5927 5149 1111 63 0 5864 0
vsize: 23708
[startup+70.0005 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 64398 0 0 0 6832 166 0 0 25 0 1 0 912424408 23724032 5073 4294967295 134512640 134716908 3221224560 3221221712 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5792 5073 1111 63 0 5729 0
vsize: 23168
[startup+80.001 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 72637 0 0 0 7811 187 0 0 25 0 1 0 912424408 23945216 5121 4294967295 134512640 134716908 3221224560 3221222304 1075640233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5846 5121 1111 63 0 5783 0
vsize: 23384
[startup+90.0006 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 80752 0 0 0 8788 210 0 0 25 0 1 0 912424408 23724032 5074 4294967295 134512640 134716908 3221224560 3221222808 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5792 5074 1111 63 0 5729 0
vsize: 23168
[startup+100 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 88622 0 0 0 9769 229 0 0 25 0 1 0 912424408 23724032 5074 4294967295 134512640 134716908 3221224560 3221222944 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5792 5074 1111 63 0 5729 0
vsize: 23168
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 96405 0 0 0 10750 249 0 0 25 0 1 0 912424408 23822336 5098 4294967295 134512640 134716908 3221224560 3221222560 1074916543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5816 5098 1111 63 0 5753 0
vsize: 23264
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 104267 0 0 0 11730 269 0 0 25 0 1 0 912424408 24223744 5143 4294967295 134512640 134716908 3221224560 3221221664 1074138723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5914 5143 1111 63 0 5851 0
vsize: 23656
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 111809 0 0 0 12710 289 0 0 25 0 1 0 912424408 23724032 5074 4294967295 134512640 134716908 3221224560 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5792 5074 1111 63 0 5729 0
vsize: 23168
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 119723 0 0 0 13688 311 0 0 25 0 1 0 912424408 23961600 5115 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5850 5115 1111 63 0 5787 0
vsize: 23400
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 127460 0 0 0 14666 334 0 0 25 0 1 0 912424408 23724032 5074 4294967295 134512640 134716908 3221224560 3221222808 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5792 5074 1111 63 0 5729 0
vsize: 23168
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 134278 0 0 0 15647 352 0 0 25 0 1 0 912424408 24309760 5159 4294967295 134512640 134716908 3221224560 3221220524 1074860620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5935 5159 1111 63 0 5872 0
vsize: 23740
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 141118 0 0 0 16627 373 0 0 25 0 1 0 912424408 23760896 5083 4294967295 134512640 134716908 3221224560 3221223264 134654843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5801 5083 1111 63 0 5738 0
vsize: 23204
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 147667 0 0 0 17610 390 0 0 25 0 1 0 912424408 23724032 5074 4294967295 134512640 134716908 3221224560 3221222896 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5792 5074 1111 63 0 5729 0
vsize: 23168
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 154036 0 0 0 18591 409 0 0 25 0 1 0 912424408 23724032 5074 4294967295 134512640 134716908 3221224560 3221222312 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5792 5074 1111 63 0 5729 0
vsize: 23168
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 160453 0 0 0 19572 428 0 0 25 0 1 0 912424408 23724032 5075 4294967295 134512640 134716908 3221224560 3221222912 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5792 5075 1111 63 0 5729 0
vsize: 23168
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 166866 0 0 0 20555 446 0 0 25 0 1 0 912424408 23724032 5075 4294967295 134512640 134716908 3221224560 3221222240 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5792 5075 1111 63 0 5729 0
vsize: 23168
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 172672 0 0 0 21540 461 0 0 25 0 1 0 912424408 23781376 5089 4294967295 134512640 134716908 3221224560 3221222304 1075645397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5806 5089 1111 63 0 5743 0
vsize: 23224
[startup+230.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 177889 0 0 0 22525 476 0 0 25 0 1 0 912424408 23724032 5075 4294967295 134512640 134716908 3221224560 3221222528 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5792 5075 1111 63 0 5729 0
vsize: 23168
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 182950 0 0 0 23510 491 0 0 25 0 1 0 912424408 23724032 5075 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5792 5075 1111 63 0 5729 0
vsize: 23168
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 187485 0 0 0 24496 506 0 0 25 0 1 0 912424408 23724032 5076 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5792 5076 1111 63 0 5729 0
vsize: 23168
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 192308 0 0 0 25480 522 0 0 25 0 1 0 912424408 24772608 5269 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6048 5269 1111 63 0 5985 0
vsize: 24192
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 197620 0 0 0 26465 537 0 0 25 0 1 0 912424408 26308608 5707 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6423 5707 1111 63 0 6360 0
vsize: 25692
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 199242 0 0 0 27462 540 0 0 25 0 1 0 912424408 27078656 5858 4294967295 134512640 134716908 3221224560 3221222912 1074115244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6611 5859 1111 63 0 6548 0
vsize: 26444
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 200964 0 0 0 28458 544 0 0 25 0 1 0 912424408 27840512 6045 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6797 6045 1111 63 0 6734 0
vsize: 27188
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 201700 0 0 0 29455 548 0 0 25 0 1 0 912424408 27570176 6019 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6731 6019 1111 63 0 6668 0
vsize: 26924
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 202996 0 0 0 30450 553 0 0 25 0 1 0 912424408 28422144 6181 4294967295 134512640 134716908 3221224560 3221223152 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6939 6181 1111 63 0 6876 0
vsize: 27756
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 205639 0 0 0 31442 560 0 0 25 0 1 0 912424408 31277056 6915 4294967295 134512640 134716908 3221224560 3221223152 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7636 6915 1111 63 0 7573 0
vsize: 30544
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 214660 0 0 0 32419 584 0 0 25 0 1 0 912424408 44380160 10048 4294967295 134512640 134716908 3221224560 3221222864 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10835 10048 1111 63 0 10772 0
vsize: 43340
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 220818 0 0 0 33403 601 0 0 25 0 1 0 912424408 51748864 11907 4294967295 134512640 134716908 3221224560 3221220716 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12634 11907 1111 63 0 12571 0
vsize: 50536
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 221150 0 0 0 34402 601 0 0 25 0 1 0 912424408 50241536 11545 4294967295 134512640 134716908 3221224560 3221223248 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12266 11545 1111 63 0 12203 0
vsize: 49064
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 222197 0 0 0 35399 605 0 0 25 0 1 0 912424408 50778112 11676 4294967295 134512640 134716908 3221224560 3221222912 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12397 11676 1111 63 0 12334 0
vsize: 49588
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 223657 0 0 0 36395 609 0 0 25 0 1 0 912424408 51830784 11928 4294967295 134512640 134716908 3221224560 3221222288 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12654 11928 1111 63 0 12591 0
vsize: 50616
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 223657 0 0 0 37395 609 0 0 25 0 1 0 912424408 51830784 11928 4294967295 134512640 134716908 3221224560 3221222944 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12654 11928 1111 63 0 12591 0
vsize: 50616
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 223657 0 0 0 38395 609 0 0 25 0 1 0 912424408 51830784 11928 4294967295 134512640 134716908 3221224560 3221221664 1074138752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12654 11928 1111 63 0 12591 0
vsize: 50616
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 223657 0 0 0 39395 610 0 0 25 0 1 0 912424408 51830784 11928 4294967295 134512640 134716908 3221224560 3221221824 1075227514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12654 11928 1111 63 0 12591 0
vsize: 50616
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 223657 0 0 0 40394 610 0 0 25 0 1 0 912424408 51830784 11928 4294967295 134512640 134716908 3221224560 3221222944 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12654 11928 1111 63 0 12591 0
vsize: 50616
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 223659 0 0 0 41394 610 0 0 25 0 1 0 912424408 51830784 11929 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12654 11929 1111 63 0 12591 0
vsize: 50616
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 223659 0 0 0 42394 611 0 0 25 0 1 0 912424408 51830784 11929 4294967295 134512640 134716908 3221224560 3221222792 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12654 11929 1111 63 0 12591 0
vsize: 50616
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 223659 0 0 0 43393 612 0 0 25 0 1 0 912424408 51830784 11929 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12654 11929 1111 63 0 12591 0
vsize: 50616
[startup+450.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 223723 0 0 0 44393 613 0 0 25 0 1 0 912424408 51830784 11933 4294967295 134512640 134716908 3221224560 3221222864 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12654 11933 1111 63 0 12591 0
vsize: 50616
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 224181 0 0 0 45391 614 0 0 25 0 1 0 912424408 51912704 11953 4294967295 134512640 134716908 3221224560 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12674 11953 1111 63 0 12611 0
vsize: 50696
[startup+470.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 224186 0 0 0 46390 615 0 0 25 0 1 0 912424408 51912704 11953 4294967295 134512640 134716908 3221224560 3221222528 1074247426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12674 11953 1111 63 0 12611 0
vsize: 50696
[startup+480.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 224851 0 0 0 47388 618 0 0 25 0 1 0 912424408 52518912 12094 4294967295 134512640 134716908 3221224560 3221222288 1075828941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12822 12094 1111 63 0 12759 0
vsize: 51288
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 225206 0 0 0 48386 619 0 0 25 0 1 0 912424408 52908032 12183 4294967295 134512640 134716908 3221224560 3221220572 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12917 12183 1111 63 0 12854 0
vsize: 51668
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 225208 0 0 0 49386 620 0 0 25 0 1 0 912424408 52908032 12185 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12917 12185 1111 63 0 12854 0
vsize: 51668
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 225226 0 0 0 50386 620 0 0 25 0 1 0 912424408 52908032 12192 4294967295 134512640 134716908 3221224560 3221222560 1074140582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12917 12192 1111 63 0 12854 0
vsize: 51668
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 225986 0 0 0 51384 622 0 0 25 0 1 0 912424408 53510144 12324 4294967295 134512640 134716908 3221224560 3221223344 134535032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 12324 1111 63 0 13001 0
vsize: 52256
[startup+530.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 225986 0 0 0 52383 623 0 0 25 0 1 0 912424408 53510144 12324 4294967295 134512640 134716908 3221224560 3221222944 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 12324 1111 63 0 13001 0
vsize: 52256
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 225986 0 0 0 53383 624 0 0 25 0 1 0 912424408 53510144 12324 4294967295 134512640 134716908 3221224560 3221222624 1075961600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 12324 1111 63 0 13001 0
vsize: 52256
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 225986 0 0 0 54382 624 0 0 25 0 1 0 912424408 53510144 12324 4294967295 134512640 134716908 3221224560 3221223280 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 12324 1111 63 0 13001 0
vsize: 52256
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 225986 0 0 0 55382 625 0 0 25 0 1 0 912424408 53510144 12324 4294967295 134512640 134716908 3221224560 3221222672 1074143381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 12324 1111 63 0 13001 0
vsize: 52256
[startup+570.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 225986 0 0 0 56381 626 0 0 25 0 1 0 912424408 53510144 12324 4294967295 134512640 134716908 3221224560 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 12324 1111 63 0 13001 0
vsize: 52256
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 225986 0 0 0 57381 626 0 0 25 0 1 0 912424408 53510144 12324 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 12324 1111 63 0 13001 0
vsize: 52256
[startup+590.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 225987 0 0 0 58381 627 0 0 25 0 1 0 912424408 53510144 12325 4294967295 134512640 134716908 3221224560 3221222288 1075828466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 12325 1111 63 0 13001 0
vsize: 52256
[startup+600.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226115 0 0 0 59380 628 0 0 25 0 1 0 912424408 53510144 12345 4294967295 134512640 134716908 3221224560 3221222728 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 12345 1111 63 0 13001 0
vsize: 52256
[startup+610.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226115 0 0 0 60380 628 0 0 25 0 1 0 912424408 53510144 12345 4294967295 134512640 134716908 3221224560 3221222848 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 12345 1111 63 0 13001 0
vsize: 52256
[startup+620.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226115 0 0 0 61379 629 0 0 25 0 1 0 912424408 53510144 12345 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 12345 1111 63 0 13001 0
vsize: 52256
[startup+630.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226439 0 0 0 62378 631 0 0 25 0 1 0 912424408 53882880 12431 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12431 1111 63 0 13092 0
vsize: 52620
[startup+640.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226469 0 0 0 63377 631 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221222992 1073990361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+650.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226469 0 0 0 64376 632 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221223260 134535676 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+660.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226469 0 0 0 65376 633 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221223152 134613447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+670.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226469 0 0 0 66375 633 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+680.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226469 0 0 0 67375 634 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221222912 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+690.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226479 0 0 0 68374 635 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221221792 1075552832 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+700.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226479 0 0 0 69374 636 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221222912 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+710.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226714 0 0 0 70373 637 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221222720 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+720.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226714 0 0 0 71372 638 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+730.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226714 0 0 0 72372 638 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+740.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226714 0 0 0 73371 639 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221222364 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+750.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226714 0 0 0 74371 640 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221222912 1074115296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+760.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226714 0 0 0 75371 640 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221222320 1075823340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+770.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226714 0 0 0 76370 641 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+780.003 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226714 0 0 0 77370 641 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+790.003 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226714 0 0 0 78370 642 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+800.004 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226823 0 0 0 79369 643 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+810.003 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226823 0 0 0 80369 643 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221222960 1074118792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+820.003 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226833 0 0 0 81368 644 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221221984 1076066402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+830.003 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226833 0 0 0 82368 644 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221218076 1075363764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+840.002 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 226998 0 0 0 83367 645 0 0 25 0 1 0 912424408 53882880 12436 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12436 1111 63 0 13092 0
vsize: 52620
[startup+850.003 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 227570 0 0 0 84365 647 0 0 25 0 1 0 912424408 54669312 12613 4294967295 134512640 134716908 3221224560 3221222976 1074116197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13347 12613 1111 63 0 13284 0
vsize: 53388
[startup+860.003 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 227570 0 0 0 85365 648 0 0 25 0 1 0 912424408 54669312 12613 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13347 12613 1111 63 0 13284 0
vsize: 53388
[startup+870.002 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 227570 0 0 0 86365 648 0 0 25 0 1 0 912424408 54669312 12613 4294967295 134512640 134716908 3221224560 3221222848 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13347 12613 1111 63 0 13284 0
vsize: 53388
[startup+880.002 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 227570 0 0 0 87364 649 0 0 25 0 1 0 912424408 54669312 12613 4294967295 134512640 134716908 3221224560 3221222912 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13347 12613 1111 63 0 13284 0
vsize: 53388
[startup+890.002 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 227570 0 0 0 88364 649 0 0 25 0 1 0 912424408 54669312 12613 4294967295 134512640 134716908 3221224560 3221222864 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13347 12613 1111 63 0 13284 0
vsize: 53388
[startup+900.001 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 227570 0 0 0 89363 650 0 0 25 0 1 0 912424408 54669312 12613 4294967295 134512640 134716908 3221224560 3221222448 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13347 12613 1111 63 0 13284 0
vsize: 53388
[startup+910.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 227570 0 0 0 90363 650 0 0 25 0 1 0 912424408 54669312 12613 4294967295 134512640 134716908 3221224560 3221223320 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13347 12613 1111 63 0 13284 0
vsize: 53388
[startup+920.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 227570 0 0 0 91363 651 0 0 25 0 1 0 912424408 54669312 12613 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13347 12613 1111 63 0 13284 0
vsize: 53388
[startup+930.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 227570 0 0 0 92362 651 0 0 25 0 1 0 912424408 54669312 12613 4294967295 134512640 134716908 3221224560 3221222720 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13347 12613 1111 63 0 13284 0
vsize: 53388
[startup+940 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 227570 0 0 0 93362 651 0 0 25 0 1 0 912424408 54669312 12613 4294967295 134512640 134716908 3221224560 3221223260 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13347 12613 1111 63 0 13284 0
vsize: 53388
[startup+950.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 227717 0 0 0 94362 652 0 0 25 0 1 0 912424408 54669312 12628 4294967295 134512640 134716908 3221224560 3221222288 1075828246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13347 12628 1111 63 0 13284 0
vsize: 53388
[startup+960.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 228803 0 0 0 95358 656 0 0 25 0 1 0 912424408 55668736 12872 4294967295 134512640 134716908 3221224560 3221222560 1074915915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13591 12872 1111 63 0 13528 0
vsize: 54364
[startup+970.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 228920 0 0 0 96358 657 0 0 25 0 1 0 912424408 55668736 12872 4294967295 134512640 134716908 3221224560 3221222760 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13591 12872 1111 63 0 13528 0
vsize: 54364
[startup+980.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 228999 0 0 0 97357 657 0 0 25 0 1 0 912424408 55668736 12872 4294967295 134512640 134716908 3221224560 3221222480 1075799528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13591 12872 1111 63 0 13528 0
vsize: 54364
[startup+990.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 229658 0 0 0 98355 659 0 0 25 0 1 0 912424408 55668736 12872 4294967295 134512640 134716908 3221224560 3221222712 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13591 12872 1111 63 0 13528 0
vsize: 54364
[startup+1000 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230809 0 0 0 99352 662 0 0 25 0 1 0 912424408 56684544 13121 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13121 1111 63 0 13776 0
vsize: 55356
[startup+1010 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230809 0 0 0 100352 663 0 0 25 0 1 0 912424408 56684544 13121 4294967295 134512640 134716908 3221224560 3221222448 1074051046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13121 1111 63 0 13776 0
vsize: 55356
[startup+1020 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230815 0 0 0 101352 663 0 0 25 0 1 0 912424408 56684544 13127 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13127 1111 63 0 13776 0
vsize: 55356
[startup+1030 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230815 0 0 0 102352 663 0 0 25 0 1 0 912424408 56684544 13127 4294967295 134512640 134716908 3221224560 3221222608 1074867289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13127 1111 63 0 13776 0
vsize: 55356
[startup+1040 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230817 0 0 0 103351 664 0 0 25 0 1 0 912424408 56684544 13129 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13129 1111 63 0 13776 0
vsize: 55356
[startup+1050 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230817 0 0 0 104351 664 0 0 25 0 1 0 912424408 56684544 13129 4294967295 134512640 134716908 3221224560 3221222912 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13129 1111 63 0 13776 0
vsize: 55356
[startup+1060 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230817 0 0 0 105351 665 0 0 25 0 1 0 912424408 56684544 13129 4294967295 134512640 134716908 3221224560 3221222960 1074118792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13129 1111 63 0 13776 0
vsize: 55356
[startup+1070 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230817 0 0 0 106350 665 0 0 25 0 1 0 912424408 56684544 13129 4294967295 134512640 134716908 3221224560 3221222800 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13129 1111 63 0 13776 0
vsize: 55356
[startup+1080 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230817 0 0 0 107350 666 0 0 25 0 1 0 912424408 56684544 13129 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13129 1111 63 0 13776 0
vsize: 55356
[startup+1090 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230817 0 0 0 108350 666 0 0 25 0 1 0 912424408 56684544 13129 4294967295 134512640 134716908 3221224560 3221222208 1075819452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13129 1111 63 0 13776 0
vsize: 55356
[startup+1100 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230817 0 0 0 109349 667 0 0 25 0 1 0 912424408 56684544 13129 4294967295 134512640 134716908 3221224560 3221220632 1074950204 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13129 1111 63 0 13776 0
vsize: 55356
[startup+1110 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230817 0 0 0 110349 668 0 0 25 0 1 0 912424408 56684544 13129 4294967295 134512640 134716908 3221224560 3221222256 1075636583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13129 1111 63 0 13776 0
vsize: 55356
[startup+1120 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230817 0 0 0 111348 668 0 0 25 0 1 0 912424408 56684544 13129 4294967295 134512640 134716908 3221224560 3221222912 1074115339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13129 1111 63 0 13776 0
vsize: 55356
[startup+1130 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230817 0 0 0 112348 669 0 0 25 0 1 0 912424408 56684544 13129 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13129 1111 63 0 13776 0
vsize: 55356
[startup+1140 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230817 0 0 0 113347 669 0 0 25 0 1 0 912424408 56684544 13129 4294967295 134512640 134716908 3221224560 3221223048 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13129 1111 63 0 13776 0
vsize: 55356
[startup+1150 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230817 0 0 0 114347 670 0 0 25 0 1 0 912424408 56684544 13129 4294967295 134512640 134716908 3221224560 3221221632 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13129 1111 63 0 13776 0
vsize: 55356
[startup+1160 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230817 0 0 0 115346 671 0 0 25 0 1 0 912424408 56684544 13129 4294967295 134512640 134716908 3221224560 3221222288 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13129 1111 63 0 13776 0
vsize: 55356
[startup+1170 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230817 0 0 0 116346 671 0 0 25 0 1 0 912424408 56684544 13129 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13129 1111 63 0 13776 0
vsize: 55356
[startup+1174.89 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 31727
Raw data (stat): 31727 (bsolo_lpr_cuts-) R 31726 31399 31398 0 -1 0 230817 0 0 0 116346 671 0 0 25 0 1 0 912424408 56684544 13129 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13839 13129 1111 63 0 13776 0
vsize: 0

Child status: 0
Real time (s): 1174.89
CPU time (s): 1175.06
CPU user time (s): 1168.32
CPU system time (s): 6.74597
CPU usage (%): 100.015
Max. virtual memory (Kb): 55356
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####