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/submitted/een/normalized-p0201.opb
MD5SUM	ff4eb45c2603a47e5b79b2649e926ba4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1523
Optimality of the best value was proved	NO
Number of terms in the objective function	201
Biggest coefficient in the objective function	1920
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	19980
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	1920
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	19980
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01984
Number of variables	195
Total number of constraints	133
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	26
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	3
Maximum length of a constraint	65
Trace number 40958

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 03:23:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29011 boxname=wulflinc4 idbench=397 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  ff4eb45c2603a47e5b79b2649e926ba4  /oldhome/oroussel/tmp/wulflinc4/normalized-p0201.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-p0201.opb
IDLAUNCH: 29011
/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:        905720 kB
Buffers:         30508 kB
Cached:          77236 kB
SwapCached:       1192 kB
Active:          28148 kB
Inactive:        81932 kB
HighTotal:      131008 kB
HighFree:        52836 kB
LowTotal:       903652 kB
LowFree:        852884 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13204 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 03:43:00 (client local time) WITH STATUS 10 IN 1175.22 SECONDS
stats: 29011 0 1175.22 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 201 variables and 133 constraints.
c After prepocess the problem consists of 201 variables and 289 constraints.
c preprocess terminated 0.251 s
c Initial Lower Bound: 1425
c Lower Bound Elapsed time: 0.17
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 1784 @ 5.556
c NEW SOLUTION FOUND: 1776 @ 9.784
c NEW SOLUTION FOUND: 1744 @ 11.34
c NEW SOLUTION FOUND: 1732 @ 15.412
c NEW SOLUTION FOUND: 1729 @ 15.796
c NEW SOLUTION FOUND: 1726 @ 15.823
c NEW SOLUTION FOUND: 1707 @ 16.963
c NEW SOLUTION FOUND: 1704 @ 17.83
c NEW SOLUTION FOUND: 1701 @ 27.406
c NEW SOLUTION FOUND: 1683 @ 29.083
c NEW SOLUTION FOUND: 1681 @ 48.19
c NEW SOLUTION FOUND: 1669 @ 60.758
c NEW SOLUTION FOUND: 1659 @ 80.044
c NEW SOLUTION FOUND: 1657 @ 81.05
c NEW SOLUTION FOUND: 1643 @ 206.405
c NEW SOLUTION FOUND: 1629 @ 208.413
c NEW SOLUTION FOUND: 1627 @ 221.439
c NEW SOLUTION FOUND: 1615 @ 223.027
c NEW SOLUTION FOUND: 1603 @ 247.722
c NEW SOLUTION FOUND: 1595 @ 286.621
c NEW SOLUTION FOUND: 1583 @ 302.659
c NEW SOLUTION FOUND: 1575 @ 389.97
c NEW SOLUTION FOUND: 1551 @ 405.369
c NEW SOLUTION FOUND: 1547 @ 891.977
c NEW SOLUTION FOUND: 1535 @ 978.743
c NEW SOLUTION FOUND: 1533 @ 990.837
c NEW SOLUTION FOUND: 1523 @ 1008.01
s SATISFIABLE
v -x0 x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 
c Exit Code: 10
c Total time: 1175.2 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.95 0.90 2/54 7928
Raw data (stat): 7928 (runsolver) R 7927 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906996400 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 6941 0 0 0 976 20 0 0 25 0 1 0 906996400 6828032 984 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 984 1111 63 0 1604 0
vsize: 6668
[startup+20.0004 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 15705 0 0 0 1951 46 0 0 25 0 1 0 906996400 8241152 1330 4294967295 134512640 134716908 3221224576 3221223296 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 1330 1111 63 0 1949 0
vsize: 8048
[startup+30.0013 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 25011 0 0 0 2922 73 0 0 25 0 1 0 906996400 9347072 1601 4294967295 134512640 134716908 3221224576 3221222304 1075829470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2282 1601 1111 63 0 2219 0
vsize: 9128
[startup+40.0005 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 34020 0 0 0 3895 100 0 0 25 0 1 0 906996400 10248192 1821 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1821 1111 63 0 2439 0
vsize: 10008
[startup+50.0017 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 42408 0 0 0 4872 123 0 0 25 0 1 0 906996400 10997760 2004 4294967295 134512640 134716908 3221224576 3221222836 1077374469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2685 2004 1111 63 0 2622 0
vsize: 10740
[startup+60.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 50498 0 0 0 5851 145 0 0 25 0 1 0 906996400 12242944 2247 4294967295 134512640 134716908 3221224576 3221220572 1074788143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2989 2247 1111 63 0 2926 0
vsize: 11956
[startup+70.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 58077 0 0 0 6832 164 0 0 25 0 1 0 906996400 12828672 2435 4294967295 134512640 134716908 3221224576 3221222456 1077377549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3132 2435 1111 63 0 3069 0
vsize: 12528
[startup+80.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 66250 0 0 0 7809 187 0 0 25 0 1 0 906996400 13766656 2621 4294967295 134512640 134716908 3221224576 3221220804 1075114937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3361 2621 1111 63 0 3298 0
vsize: 13444
[startup+90.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 74823 0 0 0 8786 210 0 0 25 0 1 0 906996400 14802944 2859 4294967295 134512640 134716908 3221224576 3221220896 1075858949 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3614 2859 1111 63 0 3551 0
vsize: 14456
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 81862 0 0 0 9767 230 0 0 25 0 1 0 906996400 15335424 2992 4294967295 134512640 134716908 3221224576 3221220736 1075093074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2992 1111 63 0 3681 0
vsize: 14976
[startup+110.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 88678 0 0 0 10748 249 0 0 25 0 1 0 906996400 15810560 3075 4294967295 134512640 134716908 3221224576 3221221104 1075890974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3860 3075 1111 63 0 3797 0
vsize: 15440
[startup+120.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 96162 0 0 0 11730 267 0 0 25 0 1 0 906996400 16510976 3273 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4031 3274 1111 63 0 3968 0
vsize: 16124
[startup+130.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 104435 0 0 0 12708 289 0 0 25 0 1 0 906996400 17149952 3449 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4187 3449 1111 63 0 4124 0
vsize: 16748
[startup+140.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 111162 0 0 0 13690 307 0 0 25 0 1 0 906996400 17702912 3607 4294967295 134512640 134716908 3221224576 3221222696 1077377470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4322 3607 1111 63 0 4259 0
vsize: 17288
[startup+150.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 117437 0 0 0 14675 322 0 0 25 0 1 0 906996400 18583552 3778 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4537 3778 1111 63 0 4474 0
vsize: 18148
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 123982 0 0 0 15658 340 0 0 25 0 1 0 906996400 18948096 3888 4294967295 134512640 134716908 3221224576 3221220676 1075964286 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4626 3888 1111 63 0 4563 0
vsize: 18504
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 130655 0 0 0 16641 357 0 0 25 0 1 0 906996400 19288064 3997 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4709 3997 1111 63 0 4646 0
vsize: 18836
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 137526 0 0 0 17621 377 0 0 25 0 1 0 906996400 20107264 4183 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4909 4183 1111 63 0 4846 0
vsize: 19636
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 144239 0 0 0 18605 394 0 0 25 0 1 0 906996400 20160512 4241 4294967295 134512640 134716908 3221224576 3221221856 1074140023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4922 4241 1111 63 0 4859 0
vsize: 19688
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 150746 0 0 0 19589 410 0 0 25 0 1 0 906996400 20578304 4351 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5024 4351 1111 63 0 4961 0
vsize: 20096
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 158143 0 0 0 20570 428 0 0 25 0 1 0 906996400 21348352 4516 4294967295 134512640 134716908 3221224576 3221222536 1074138297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5212 4520 1111 63 0 5149 0
vsize: 20848
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 165584 0 0 0 21553 446 0 0 25 0 1 0 906996400 21798912 4621 4294967295 134512640 134716908 3221224576 3221223120 134652489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5322 4621 1111 63 0 5259 0
vsize: 21288
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 172417 0 0 0 22534 465 0 0 25 0 1 0 906996400 22872064 4859 4294967295 134512640 134716908 3221224576 3221220512 1075965250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5584 4859 1111 63 0 5521 0
vsize: 22336
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 178733 0 0 0 23516 483 0 0 25 0 1 0 906996400 22880256 4866 4294967295 134512640 134716908 3221224576 3221221420 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5632 4873 1111 63 0 5569 0
vsize: 22344
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 185702 0 0 0 24497 502 0 0 25 0 1 0 906996400 23064576 4958 4294967295 134512640 134716908 3221224576 3221222912 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5631 4958 1111 63 0 5568 0
vsize: 22524
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 192067 0 0 0 25481 519 0 0 25 0 1 0 906996400 23822336 5094 4294967295 134512640 134716908 3221224576 3221223088 134646691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5816 5094 1111 63 0 5753 0
vsize: 23264
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 198292 0 0 0 26465 535 0 0 25 0 1 0 906996400 24379392 5223 4294967295 134512640 134716908 3221224576 3221220752 1074882636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5952 5223 1111 63 0 5889 0
vsize: 23808
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 205536 0 0 0 27445 555 0 0 25 0 1 0 906996400 24363008 5275 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5948 5275 1111 63 0 5885 0
vsize: 23792
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 213225 0 0 0 28428 572 0 0 25 0 1 0 906996400 25149440 5457 4294967295 134512640 134716908 3221224576 3221222576 1074918566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6140 5457 1111 63 0 6077 0
vsize: 24560
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 219862 0 0 0 29411 589 0 0 25 0 1 0 906996400 25337856 5512 4294967295 134512640 134716908 3221224576 3221222304 1075829522 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6186 5512 1111 63 0 6123 0
vsize: 24744
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 227209 0 0 0 30394 606 0 0 25 0 1 0 906996400 26144768 5681 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6383 5681 1111 63 0 6320 0
vsize: 25532
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 234142 0 0 0 31376 624 0 0 25 0 1 0 906996400 26234880 5722 4294967295 134512640 134716908 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6405 5726 1111 63 0 6342 0
vsize: 25620
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 240969 0 0 0 32360 641 0 0 25 0 1 0 906996400 27090944 5898 4294967295 134512640 134716908 3221224576 3221220736 1075095098 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6614 5898 1111 63 0 6551 0
vsize: 26456
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 247349 0 0 0 33343 658 0 0 25 0 1 0 906996400 26660864 5825 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6509 5825 1111 63 0 6446 0
vsize: 26036
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 253327 0 0 0 34328 673 0 0 25 0 1 0 906996400 26918912 5894 4294967295 134512640 134716908 3221224576 3221222576 1074916465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6572 5894 1111 63 0 6509 0
vsize: 26288
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 260147 0 0 0 35313 688 0 0 25 0 1 0 906996400 27582464 6027 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6734 6027 1111 63 0 6671 0
vsize: 26936
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 266370 0 0 0 36295 706 0 0 25 0 1 0 906996400 28422144 6219 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6939 6219 1111 63 0 6876 0
vsize: 27756
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 272365 0 0 0 37281 721 0 0 25 0 1 0 906996400 28790784 6307 4294967295 134512640 134716908 3221224576 3221220912 1075114277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7029 6307 1111 63 0 6966 0
vsize: 28116
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 280376 0 0 0 38260 742 0 0 25 0 1 0 906996400 28971008 6327 4294967295 134512640 134716908 3221224576 3221220912 1075114265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7073 6327 1111 63 0 7010 0
vsize: 28292
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 288105 0 0 0 39241 761 0 0 25 0 1 0 906996400 29270016 6442 4294967295 134512640 134716908 3221224576 3221222640 1075961750 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7135 6442 1111 63 0 7072 0
vsize: 28584
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 295100 0 0 0 40225 777 0 0 25 0 1 0 906996400 30281728 6677 4294967295 134512640 134716908 3221224576 3221220576 1075965260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7393 6677 1111 63 0 7330 0
vsize: 29572
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 302023 0 0 0 41208 794 0 0 25 0 1 0 906996400 29941760 6611 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7310 6611 1111 63 0 7247 0
vsize: 29240
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 308202 0 0 0 42194 808 0 0 25 0 1 0 906996400 31039488 6846 4294967295 134512640 134716908 3221224576 3221220912 1075114283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7578 6846 1111 63 0 7515 0
vsize: 30312
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 314921 0 0 0 43177 825 0 0 25 0 1 0 906996400 30138368 6685 4294967295 134512640 134716908 3221224576 3221222224 1075818278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6685 1111 63 0 7295 0
vsize: 29432
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 321160 0 0 0 44162 840 0 0 25 0 1 0 906996400 30445568 6759 4294967295 134512640 134716908 3221224576 3221222736 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7433 6759 1111 63 0 7370 0
vsize: 29732
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 326721 0 0 0 45149 854 0 0 25 0 1 0 906996400 31137792 6845 4294967295 134512640 134716908 3221224576 3221220896 1075170818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7602 6845 1111 63 0 7539 0
vsize: 30408
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 332148 0 0 0 46133 870 0 0 25 0 1 0 906996400 30666752 6785 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7487 6785 1111 63 0 7424 0
vsize: 29948
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 338281 0 0 0 47117 886 0 0 25 0 1 0 906996400 31207424 6832 4294967295 134512640 134716908 3221224576 3221221696 1074832406 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7619 6832 1111 63 0 7556 0
vsize: 30476
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 344598 0 0 0 48102 901 0 0 25 0 1 0 906996400 30932992 6841 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7552 6841 1111 63 0 7489 0
vsize: 30208
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 349977 0 0 0 49089 915 0 0 25 0 1 0 906996400 31059968 6880 4294967295 134512640 134716908 3221224576 3221221856 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7583 6880 1111 63 0 7520 0
vsize: 30332
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 357498 0 0 0 50071 933 0 0 25 0 1 0 906996400 31113216 6890 4294967295 134512640 134716908 3221224576 3221221832 1074138256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7596 6890 1111 63 0 7533 0
vsize: 30384
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 364011 0 0 0 51053 950 0 0 25 0 1 0 906996400 30695424 6820 4294967295 134512640 134716908 3221224576 3221222768 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7494 6820 1111 63 0 7431 0
vsize: 29976
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 370194 0 0 0 52038 966 0 0 25 0 1 0 906996400 31887360 7064 4294967295 134512640 134716908 3221224576 3221220568 1075964730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7785 7064 1111 63 0 7722 0
vsize: 31140
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 376865 0 0 0 53022 982 0 0 25 0 1 0 906996400 31363072 6961 4294967295 134512640 134716908 3221224576 3221222928 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7657 6961 1111 63 0 7594 0
vsize: 30628
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 382596 0 0 0 54008 996 0 0 25 0 1 0 906996400 31834112 7042 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7772 7042 1111 63 0 7709 0
vsize: 31088
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 388501 0 0 0 54992 1012 0 0 25 0 1 0 906996400 31477760 6971 4294967295 134512640 134716908 3221224576 3221223072 134646711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7685 6971 1111 63 0 7622 0
vsize: 30740
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 394547 0 0 0 55979 1026 0 0 25 0 1 0 906996400 31895552 7081 4294967295 134512640 134716908 3221224576 3221222576 1074918607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7787 7081 1111 63 0 7724 0
vsize: 31148
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 401289 0 0 0 56961 1044 0 0 25 0 1 0 906996400 32858112 7277 4294967295 134512640 134716908 3221224576 3221220784 1074815234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8022 7277 1111 63 0 7959 0
vsize: 32088
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 407999 0 0 0 57944 1061 0 0 25 0 1 0 906996400 31981568 7134 4294967295 134512640 134716908 3221224576 3221222320 1075645388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7808 7134 1111 63 0 7745 0
vsize: 31232
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 413884 0 0 0 58928 1077 0 0 25 0 1 0 906996400 32849920 7292 4294967295 134512640 134716908 3221224576 3221220508 1074788177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8020 7292 1111 63 0 7957 0
vsize: 32080
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 420387 0 0 0 59911 1095 0 0 25 0 1 0 906996400 33460224 7420 4294967295 134512640 134716908 3221224576 3221220736 1075091857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8169 7421 1111 63 0 8106 0
vsize: 32676
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 427051 0 0 0 60894 1112 0 0 25 0 1 0 906996400 33300480 7438 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8130 7438 1111 63 0 8067 0
vsize: 32520
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 432819 0 0 0 61878 1128 0 0 25 0 1 0 906996400 32751616 7315 4294967295 134512640 134716908 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7996 7315 1111 63 0 7933 0
vsize: 31984
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 439268 0 0 0 62861 1145 0 0 25 0 1 0 906996400 33898496 7540 4294967295 134512640 134716908 3221224576 3221220620 1074873498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8276 7540 1111 63 0 8213 0
vsize: 33104
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 446867 0 0 0 63841 1165 0 0 25 0 1 0 906996400 32944128 7369 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8043 7369 1111 63 0 7980 0
vsize: 32172
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 454359 0 0 0 64822 1184 0 0 25 0 1 0 906996400 33669120 7495 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8220 7495 1111 63 0 8157 0
vsize: 32880
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 459537 0 0 0 65809 1197 0 0 25 0 1 0 906996400 34361344 7652 4294967295 134512640 134716908 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8389 7652 1111 63 0 8326 0
vsize: 33556
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 464304 0 0 0 66798 1209 0 0 25 0 1 0 906996400 34263040 7642 4294967295 134512640 134716908 3221224576 3221220804 1075115043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8365 7642 1111 63 0 8302 0
vsize: 33460
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 469846 0 0 0 67783 1224 0 0 25 0 1 0 906996400 34070528 7583 4294967295 134512640 134716908 3221224576 3221220720 1074970183 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8318 7583 1111 63 0 8255 0
vsize: 33272
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 476200 0 0 0 68770 1238 0 0 25 0 1 0 906996400 34414592 7677 4294967295 134512640 134716908 3221224576 3221221088 1075084536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8402 7677 1111 63 0 8339 0
vsize: 33608
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 483009 0 0 0 69753 1254 0 0 25 0 1 0 906996400 34402304 7650 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8399 7650 1111 63 0 8336 0
vsize: 33596
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 489368 0 0 0 70736 1272 0 0 25 0 1 0 906996400 34906112 7802 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8522 7802 1111 63 0 8459 0
vsize: 34088
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 496003 0 0 0 71719 1289 0 0 25 0 1 0 906996400 34533376 7755 4294967295 134512640 134716908 3221224576 3221223292 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8431 7755 1111 63 0 8368 0
vsize: 33724
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 502834 0 0 0 72701 1307 0 0 25 0 1 0 906996400 34603008 7772 4294967295 134512640 134716908 3221224576 3221222288 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8448 7772 1111 63 0 8385 0
vsize: 33792
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 508622 0 0 0 73687 1321 0 0 25 0 1 0 906996400 35393536 7950 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8641 7950 1111 63 0 8578 0
vsize: 34564
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 515260 0 0 0 74670 1338 0 0 25 0 1 0 906996400 34820096 7825 4294967295 134512640 134716908 3221224576 3221222428 1074207648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8501 7825 1111 63 0 8438 0
vsize: 34004
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 521929 0 0 0 75654 1354 0 0 25 0 1 0 906996400 35467264 7935 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8659 7935 1111 63 0 8596 0
vsize: 34636
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 528150 0 0 0 76638 1370 0 0 25 0 1 0 906996400 35635200 7998 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8700 7998 1111 63 0 8637 0
vsize: 34800
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 534168 0 0 0 77623 1386 0 0 25 0 1 0 906996400 36077568 8068 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8808 8068 1111 63 0 8745 0
vsize: 35232
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 540193 0 0 0 78607 1403 0 0 25 0 1 0 906996400 36323328 8119 4294967295 134512640 134716908 3221224576 3221221496 1074950082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8813 8092 1111 63 0 8750 0
vsize: 35472
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 546909 0 0 0 79589 1420 0 0 25 0 1 0 906996400 36622336 8225 4294967295 134512640 134716908 3221224576 3221220544 1075965311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8941 8225 1111 63 0 8878 0
vsize: 35764
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 552824 0 0 0 80574 1436 0 0 25 0 1 0 906996400 36380672 8185 4294967295 134512640 134716908 3221224576 3221223008 134652424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8882 8185 1111 63 0 8819 0
vsize: 35528
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 559115 0 0 0 81558 1451 0 0 25 0 1 0 906996400 36225024 8136 4294967295 134512640 134716908 3221224576 3221221680 1074138608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8844 8136 1111 63 0 8781 0
vsize: 35376
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 564728 0 0 0 82544 1466 0 0 25 0 1 0 906996400 36536320 8199 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8920 8199 1111 63 0 8857 0
vsize: 35680
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 572865 0 0 0 83525 1485 0 0 25 0 1 0 906996400 37400576 8339 4294967295 134512640 134716908 3221224576 3221221640 1075007310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9131 8339 1111 63 0 9068 0
vsize: 36524
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 578622 0 0 0 84510 1500 0 0 25 0 1 0 906996400 37617664 8447 4294967295 134512640 134716908 3221224576 3221221040 1075602750 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9184 8447 1111 63 0 9121 0
vsize: 36736
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 586369 0 0 0 85493 1518 0 0 25 0 1 0 906996400 36970496 8301 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 8301 1111 63 0 8963 0
vsize: 36104
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 593918 0 0 0 86475 1536 0 0 25 0 1 0 906996400 36900864 8297 4294967295 134512640 134716908 3221224576 3221222912 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9009 8297 1111 63 0 8946 0
vsize: 36036
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 600829 0 0 0 87457 1554 0 0 25 0 1 0 906996400 37367808 8391 4294967295 134512640 134716908 3221224576 3221220736 1075091282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9123 8391 1111 63 0 9060 0
vsize: 36492
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 609219 0 0 0 88434 1576 0 0 25 0 1 0 906996400 37658624 8434 4294967295 134512640 134716908 3221224576 3221221176 1075850708 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9194 8434 1111 63 0 9131 0
vsize: 36776
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 615795 0 0 0 89417 1593 0 0 25 0 1 0 906996400 38522880 8676 4294967295 134512640 134716908 3221224576 3221221520 1074620352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9405 8676 1111 63 0 9342 0
vsize: 37620
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 622573 0 0 0 90402 1609 0 0 25 0 1 0 906996400 37990400 8510 4294967295 134512640 134716908 3221224576 3221221932 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9275 8510 1111 63 0 9212 0
vsize: 37100
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 629849 0 0 0 91384 1627 0 0 25 0 1 0 906996400 37568512 8467 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9172 8467 1111 63 0 9109 0
vsize: 36688
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 636907 0 0 0 92367 1645 0 0 25 0 1 0 906996400 37773312 8546 4294967295 134512640 134716908 3221224576 3221222576 1074918266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9222 8546 1111 63 0 9159 0
vsize: 36888
[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 643113 0 0 0 93352 1660 0 0 25 0 1 0 906996400 38805504 8744 4294967295 134512640 134716908 3221224576 3221220668 1075663503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9474 8744 1111 63 0 9411 0
vsize: 37896
[startup+960.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 649299 0 0 0 94337 1676 0 0 25 0 1 0 906996400 39043072 8801 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9532 8801 1111 63 0 9469 0
vsize: 38128
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 655298 0 0 0 95322 1691 0 0 25 0 1 0 906996400 39153664 8801 4294967295 134512640 134716908 3221224576 3221220816 1075115760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9559 8801 1111 63 0 9496 0
vsize: 38236
[startup+980.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 661283 0 0 0 96307 1706 0 0 25 0 1 0 906996400 39555072 8916 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9657 8916 1111 63 0 9594 0
vsize: 38628
[startup+990.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 667795 0 0 0 97291 1722 0 0 25 0 1 0 906996400 39796736 8948 4294967295 134512640 134716908 3221224576 3221220804 1075115028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9716 8948 1111 63 0 9653 0
vsize: 38864
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 673848 0 0 0 98278 1735 0 0 25 0 1 0 906996400 39649280 8963 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9680 8963 1111 63 0 9617 0
vsize: 38720
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 679618 0 0 0 99264 1750 0 0 25 0 1 0 906996400 38969344 8838 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9514 8838 1111 63 0 9451 0
vsize: 38056
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 686279 0 0 0 100247 1767 0 0 25 0 1 0 906996400 39211008 8895 4294967295 134512640 134716908 3221224576 3221222576 1074918660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9573 8895 1111 63 0 9510 0
vsize: 38292
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 692907 0 0 0 101231 1783 0 0 25 0 1 0 906996400 39215104 8894 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9574 8894 1111 63 0 9511 0
vsize: 38296
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 699326 0 0 0 102215 1799 0 0 25 0 1 0 906996400 40095744 9012 4294967295 134512640 134716908 3221224576 3221220948 1075965462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9789 9012 1111 63 0 9726 0
vsize: 39156
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 705640 0 0 0 103200 1815 0 0 25 0 1 0 906996400 40783872 9210 4294967295 134512640 134716908 3221224576 3221220540 1074860608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9957 9210 1111 63 0 9894 0
vsize: 39828
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 711742 0 0 0 104184 1831 0 0 25 0 1 0 906996400 40673280 9214 4294967295 134512640 134716908 3221224576 3221220736 1075093872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9930 9214 1111 63 0 9867 0
vsize: 39720
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 718183 0 0 0 105167 1848 0 0 25 0 1 0 906996400 40804352 9245 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9962 9245 1111 63 0 9899 0
vsize: 39848
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 724836 0 0 0 106149 1866 0 0 25 0 1 0 906996400 41201664 9290 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10059 9290 1111 63 0 9996 0
vsize: 40236
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 730851 0 0 0 107133 1882 0 0 25 0 1 0 906996400 40910848 9265 4294967295 134512640 134716908 3221224576 3221220912 1075114137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9988 9265 1111 63 0 9925 0
vsize: 39952
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 737963 0 0 0 108116 1900 0 0 25 0 1 0 906996400 41152512 9330 4294967295 134512640 134716908 3221224576 3221220896 1075169689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10047 9330 1111 63 0 9984 0
vsize: 40188
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 743748 0 0 0 109102 1914 0 0 25 0 1 0 906996400 40214528 9131 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9818 9131 1111 63 0 9755 0
vsize: 39272
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 750808 0 0 0 110084 1932 0 0 25 0 1 0 906996400 41332736 9344 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10091 9344 1111 63 0 10028 0
vsize: 40364
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 757554 0 0 0 111067 1949 0 0 25 0 1 0 906996400 41267200 9337 4294967295 134512640 134716908 3221224576 3221220460 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10075 9337 1111 63 0 10012 0
vsize: 40300
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 764845 0 0 0 112049 1968 0 0 25 0 1 0 906996400 41160704 9306 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10049 9306 1111 63 0 9986 0
vsize: 40196
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 770808 0 0 0 113033 1984 0 0 25 0 1 0 906996400 41553920 9386 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10145 9386 1111 63 0 10082 0
vsize: 40580
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 776817 0 0 0 114018 1998 0 0 25 0 1 0 906996400 42110976 9589 4294967295 134512640 134716908 3221224576 3221220752 1074882592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10281 9589 1111 63 0 10218 0
vsize: 41124
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 783044 0 0 0 115004 2013 0 0 25 0 1 0 906996400 40763392 9276 4294967295 134512640 134716908 3221224576 3221222880 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9952 9276 1111 63 0 9889 0
vsize: 39808
[startup+1175.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 7928
Raw data (stat): 7928 (bsolo_lpr_cuts-) R 7927 21152 21151 0 -1 0 783044 0 0 0 115004 2013 0 0 25 0 1 0 906996400 40763392 9276 4294967295 134512640 134716908 3221224576 3221222880 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9952 9276 1111 63 0 9889 0
vsize: 0

Child status: 10
Real time (s): 1175.1
CPU time (s): 1175.22
CPU user time (s): 1154.98
CPU system time (s): 20.2409
CPU usage (%): 100.011
Max. virtual memory (Kb): 41124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1523
#### END VERIFIER DATA ####