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/manquinho/primes-dimacs-cnf/normalized-jnh201.opb
MD5SUM	ba509931ad93c2223be235a06a9b3100
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	84
Optimality of the best value was proved	NO
Number of terms in the objective function	200
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	200
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	200
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01884
Number of variables	200
Total number of constraints	900
Number of constraints which are clauses	900
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	14
Trace number 24037

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-07 23:17:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1612 boxname=wulflinc31 idbench=180 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  ba509931ad93c2223be235a06a9b3100  /oldhome/oroussel/tmp/wulflinc31/normalized-jnh201.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-jnh201.opb
IDLAUNCH: 1612
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        144704 kB
Buffers:         39732 kB
Cached:         815744 kB
SwapCached:        644 kB
Active:         489948 kB
Inactive:       367868 kB
HighTotal:      131008 kB
HighFree:         5796 kB
LowTotal:       903652 kB
LowFree:        138908 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26388 kB
Committed_AS:    63632 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-07 23:37:02 (client local time) WITH STATUS 10 IN 1175.1 SECONDS
stats: 1612 0 1175.1 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 200 variables and 900 constraints.
c After prepocess the problem consists of 196 variables and 855 constraints.
c preprocess terminated 0.545 s
c Initial Lower Bound: 68
c Lower Bound Elapsed time: 0.45025
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 100 @ 2.356
c NEW SOLUTION FOUND: 99 @ 2.358
c NEW SOLUTION FOUND: 98 @ 2.362
c NEW SOLUTION FOUND: 97 @ 2.366
c NEW SOLUTION FOUND: 96 @ 2.369
c NEW SOLUTION FOUND: 94 @ 2.377
c NEW SOLUTION FOUND: 93 @ 2.383
c NEW SOLUTION FOUND: 92 @ 2.39
c NEW SOLUTION FOUND: 91 @ 2.41
c NEW SOLUTION FOUND: 90 @ 2.485
c NEW SOLUTION FOUND: 89 @ 2.574
c NEW SOLUTION FOUND: 88 @ 94.04
c NEW SOLUTION FOUND: 87 @ 482.601
c NEW SOLUTION FOUND: 86 @ 485.583
s SATISFIABLE
v -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.07 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
Raw data (loadavg): 0.69 0.86 0.91 2/54 4068
Raw data (stat): 4068 (runsolver) R 4067 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 687217491 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.74 0.86 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 3815 0 0 0 983 12 0 0 25 0 1 0 687217491 7929856 1186 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1936 1186 1111 63 0 1873 0
vsize: 7744
[startup+20.0014 s]
Raw data (loadavg): 0.78 0.87 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 8019 0 0 0 1971 24 0 0 25 0 1 0 687217491 7938048 1206 4294967295 134512640 134714508 3221221792 3221218020 1075114912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1938 1206 1111 63 0 1875 0
vsize: 7752
[startup+30.0016 s]
Raw data (loadavg): 0.81 0.87 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 14036 0 0 0 2954 40 0 0 25 0 1 0 687217491 8192000 1238 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2000 1238 1111 63 0 1937 0
vsize: 8000
[startup+40.0022 s]
Raw data (loadavg): 0.84 0.87 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 20432 0 0 0 3938 57 0 0 25 0 1 0 687217491 8679424 1371 4294967295 134512640 134714508 3221221792 3221218064 1074960912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2119 1371 1111 63 0 2056 0
vsize: 8476
[startup+50.0024 s]
Raw data (loadavg): 0.86 0.88 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 27119 0 0 0 4918 77 0 0 25 0 1 0 687217491 8880128 1485 4294967295 134512640 134714508 3221221792 3221220176 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2168 1485 1111 63 0 2105 0
vsize: 8672
[startup+60.0034 s]
Raw data (loadavg): 0.88 0.88 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 33143 0 0 0 5901 95 0 0 25 0 1 0 687217491 9596928 1606 4294967295 134512640 134714508 3221221792 3221217760 1075965307 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2343 1606 1111 63 0 2280 0
vsize: 9372
[startup+70.004 s]
Raw data (loadavg): 0.90 0.89 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 39671 0 0 0 6882 113 0 0 25 0 1 0 687217491 10129408 1729 4294967295 134512640 134714508 3221221792 3221217760 1075965260 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2473 1729 1111 63 0 2410 0
vsize: 9892
[startup+80.0039 s]
Raw data (loadavg): 0.92 0.89 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 46202 0 0 0 7864 132 0 0 25 0 1 0 687217491 10657792 1856 4294967295 134512640 134714508 3221221792 3221217892 1075964171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2602 1856 1111 63 0 2539 0
vsize: 10408
[startup+90.0042 s]
Raw data (loadavg): 0.93 0.89 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 53589 0 0 0 8847 149 0 0 25 0 1 0 687217491 10883072 1975 4294967295 134512640 134714508 3221221792 3221219440 1075819104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1975 1111 63 0 2594 0
vsize: 10628
[startup+100.004 s]
Raw data (loadavg): 0.94 0.89 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 59841 0 0 0 9829 167 0 0 25 0 1 0 687217491 11489280 2121 4294967295 134512640 134714508 3221221792 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2805 2121 1111 63 0 2742 0
vsize: 11220
[startup+110.005 s]
Raw data (loadavg): 0.95 0.90 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 64058 0 0 0 10818 178 0 0 25 0 1 0 687217491 12247040 2247 4294967295 134512640 134714508 3221221792 3221217904 1074790287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2990 2247 1111 63 0 2927 0
vsize: 11960
[startup+120.006 s]
Raw data (loadavg): 0.95 0.90 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 67727 0 0 0 11809 188 0 0 25 0 1 0 687217491 12115968 2220 4294967295 134512640 134714508 3221221792 3221217760 1075965307 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2958 2220 1111 63 0 2895 0
vsize: 11832
[startup+130.006 s]
Raw data (loadavg): 0.96 0.90 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 71883 0 0 0 12796 201 0 0 25 0 1 0 687217491 12189696 2238 4294967295 134512640 134714508 3221221792 3221218020 1075115030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2976 2238 1111 63 0 2913 0
vsize: 11904
[startup+140.005 s]
Raw data (loadavg): 0.97 0.91 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 75828 0 0 0 13786 211 0 0 25 0 1 0 687217491 12296192 2270 4294967295 134512640 134714508 3221221792 3221218128 1075114272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3002 2270 1111 63 0 2939 0
vsize: 12008
[startup+150.006 s]
Raw data (loadavg): 0.97 0.91 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 80079 0 0 0 14775 222 0 0 25 0 1 0 687217491 12570624 2326 4294967295 134512640 134714508 3221221792 3221217936 1074969449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3069 2326 1111 63 0 3006 0
vsize: 12276
[startup+160.006 s]
Raw data (loadavg): 0.98 0.91 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 84173 0 0 0 15766 232 0 0 25 0 1 0 687217491 12648448 2342 4294967295 134512640 134714508 3221221792 3221218064 1074961161 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3088 2342 1111 63 0 3025 0
vsize: 12352
[startup+170.007 s]
Raw data (loadavg): 0.98 0.91 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 88848 0 0 0 16753 244 0 0 25 0 1 0 687217491 12914688 2406 4294967295 134512640 134714508 3221221792 3221217996 1075564269 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3153 2406 1111 63 0 3090 0
vsize: 12612
[startup+180.006 s]
Raw data (loadavg): 0.98 0.92 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 93558 0 0 0 17742 256 0 0 25 0 1 0 687217491 12791808 2443 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3123 2443 1111 63 0 3060 0
vsize: 12492
[startup+190.007 s]
Raw data (loadavg): 0.98 0.92 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 97924 0 0 0 18730 267 0 0 25 0 1 0 687217491 13496320 2529 4294967295 134512640 134714508 3221221792 3221217952 1075091291 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3295 2529 1111 63 0 3232 0
vsize: 13180
[startup+200.007 s]
Raw data (loadavg): 0.99 0.92 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 101786 0 0 0 19720 278 0 0 25 0 1 0 687217491 13131776 2525 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3206 2525 1111 63 0 3143 0
vsize: 12824
[startup+210.008 s]
Raw data (loadavg): 0.99 0.92 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 106230 0 0 0 20709 289 0 0 25 0 1 0 687217491 13770752 2618 4294967295 134512640 134714508 3221221792 3221218020 1075115009 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3362 2618 1111 63 0 3299 0
vsize: 13448
[startup+220.009 s]
Raw data (loadavg): 0.99 0.92 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 109985 0 0 0 21698 300 0 0 25 0 1 0 687217491 13455360 2605 4294967295 134512640 134714508 3221221792 3221220348 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3285 2605 1111 63 0 3222 0
vsize: 13140
[startup+230.009 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 114014 0 0 0 22688 311 0 0 25 0 1 0 687217491 14131200 2684 4294967295 134512640 134714508 3221221792 3221217780 1074786395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2684 1111 63 0 3387 0
vsize: 13800
[startup+240.01 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 117823 0 0 0 23678 321 0 0 25 0 1 0 687217491 14245888 2686 4294967295 134512640 134714508 3221221792 3221218776 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3478 2686 1111 63 0 3415 0
vsize: 13912
[startup+250.01 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 122213 0 0 0 24667 332 0 0 25 0 1 0 687217491 14303232 2749 4294967295 134512640 134714508 3221221792 3221217760 1075965307 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2749 1111 63 0 3429 0
vsize: 13968
[startup+260.01 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 125809 0 0 0 25658 342 0 0 25 0 1 0 687217491 14553088 2823 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3553 2823 1111 63 0 3490 0
vsize: 14212
[startup+270.011 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 129518 0 0 0 26649 351 0 0 25 0 1 0 687217491 14311424 2814 4294967295 134512640 134714508 3221221792 3221220348 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3494 2814 1111 63 0 3431 0
vsize: 13976
[startup+280.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 133316 0 0 0 27639 361 0 0 25 0 1 0 687217491 14745600 2860 4294967295 134512640 134714508 3221221792 3221218160 1075894487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3600 2860 1111 63 0 3537 0
vsize: 14400
[startup+290.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 137515 0 0 0 28628 372 0 0 25 0 1 0 687217491 14565376 2877 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3556 2877 1111 63 0 3493 0
vsize: 14224
[startup+300.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 142706 0 0 0 29614 386 0 0 25 0 1 0 687217491 15265792 2982 4294967295 134512640 134714508 3221221792 3221218064 1074960952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3727 2982 1111 63 0 3664 0
vsize: 14908
[startup+310.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 146868 0 0 0 30604 396 0 0 25 0 1 0 687217491 15618048 3051 4294967295 134512640 134714508 3221221792 3221218160 1075894549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3813 3051 1111 63 0 3750 0
vsize: 15252
[startup+320.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 151278 0 0 0 31593 407 0 0 25 0 1 0 687217491 15368192 3071 4294967295 134512640 134714508 3221221792 3221220384 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3752 3071 1111 63 0 3689 0
vsize: 15008
[startup+330.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 154778 0 0 0 32585 416 0 0 25 0 1 0 687217491 15785984 3109 4294967295 134512640 134714508 3221221792 3221217792 1075965232 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3854 3109 1111 63 0 3791 0
vsize: 15416
[startup+340.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 158342 0 0 0 33577 424 0 0 25 0 1 0 687217491 16076800 3163 4294967295 134512640 134714508 3221221792 3221218176 1074972319 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3925 3163 1111 63 0 3862 0
vsize: 15700
[startup+350.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 162577 0 0 0 34565 436 0 0 25 0 1 0 687217491 15790080 3160 4294967295 134512640 134714508 3221221792 3221219792 1074919740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3855 3160 1111 63 0 3792 0
vsize: 15420
[startup+360.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 166790 0 0 0 35554 448 0 0 25 0 1 0 687217491 16437248 3246 4294967295 134512640 134714508 3221221792 3221217728 1075965232 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4013 3246 1111 63 0 3950 0
vsize: 16052
[startup+370.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 170946 0 0 0 36542 459 0 0 25 0 1 0 687217491 16662528 3303 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4068 3303 1111 63 0 4005 0
vsize: 16272
[startup+380.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 174644 0 0 0 37533 468 0 0 25 0 1 0 687217491 16793600 3303 4294967295 134512640 134714508 3221221792 3221218944 1075969874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4100 3308 1111 63 0 4037 0
vsize: 16400
[startup+390.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 178893 0 0 0 38522 480 0 0 25 0 1 0 687217491 16977920 3383 4294967295 134512640 134714508 3221221792 3221218736 1074620038 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4145 3383 1111 63 0 4082 0
vsize: 16580
[startup+400.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 182667 0 0 0 39511 491 0 0 25 0 1 0 687217491 16998400 3407 4294967295 134512640 134714508 3221221792 3221217976 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4150 3407 1111 63 0 4087 0
vsize: 16600
[startup+410.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 187571 0 0 0 40497 505 0 0 25 0 1 0 687217491 17424384 3490 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3490 1111 63 0 4191 0
vsize: 17016
[startup+420.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 191704 0 0 0 41486 517 0 0 25 0 1 0 687217491 17059840 3486 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 3486 1111 63 0 4102 0
vsize: 16660
[startup+430.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 195343 0 0 0 42477 525 0 0 25 0 1 0 687217491 17543168 3539 4294967295 134512640 134714508 3221221792 3221217856 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4283 3539 1111 63 0 4220 0
vsize: 17132
[startup+440.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 199088 0 0 0 43467 536 0 0 25 0 1 0 687217491 17293312 3543 4294967295 134512640 134714508 3221221792 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4222 3543 1111 63 0 4159 0
vsize: 16888
[startup+450.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 202716 0 0 0 44458 544 0 0 25 0 1 0 687217491 17911808 3610 4294967295 134512640 134714508 3221221792 3221217952 1075091282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4373 3610 1111 63 0 4310 0
vsize: 17492
[startup+460.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 206605 0 0 0 45449 554 0 0 25 0 1 0 687217491 17911808 3632 4294967295 134512640 134714508 3221221792 3221217760 1075965307 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4373 3632 1111 63 0 4310 0
vsize: 17492
[startup+470.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 210358 0 0 0 46439 564 0 0 25 0 1 0 687217491 18378752 3740 4294967295 134512640 134714508 3221221792 3221217740 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4487 3740 1111 63 0 4424 0
vsize: 17948
[startup+480.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 213716 0 0 0 47431 572 0 0 25 0 1 0 687217491 18145280 3691 4294967295 134512640 134714508 3221221792 3221217948 1075093106 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4430 3692 1111 63 0 4367 0
vsize: 17720
[startup+490.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 218117 0 0 0 48419 584 0 0 25 0 1 0 687217491 18034688 3723 4294967295 134512640 134714508 3221221792 3221220352 134542312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4403 3723 1111 63 0 4340 0
vsize: 17612
[startup+500.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 222266 0 0 0 49407 595 0 0 25 0 1 0 687217491 18739200 3808 4294967295 134512640 134714508 3221221792 3221218912 1074834317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4575 3808 1111 63 0 4512 0
vsize: 18300
[startup+510.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 226308 0 0 0 50398 605 0 0 25 0 1 0 687217491 18440192 3823 4294967295 134512640 134714508 3221221792 3221219752 1074138277 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4502 3823 1111 63 0 4439 0
vsize: 18008
[startup+520.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 230552 0 0 0 51385 618 0 0 25 0 1 0 687217491 19218432 3925 4294967295 134512640 134714508 3221221792 3221217952 1075094850 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4692 3925 1111 63 0 4629 0
vsize: 18768
[startup+530.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 234908 0 0 0 52373 630 0 0 25 0 1 0 687217491 19275776 3961 4294967295 134512640 134714508 3221221792 3221217936 1074969467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4706 3961 1111 63 0 4643 0
vsize: 18824
[startup+540.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 239564 0 0 0 53359 644 0 0 25 0 1 0 687217491 19230720 4000 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4695 4000 1111 63 0 4632 0
vsize: 18780
[startup+550.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 243977 0 0 0 54348 656 0 0 25 0 1 0 687217491 19951616 4100 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4871 4100 1111 63 0 4808 0
vsize: 19484
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 248581 0 0 0 55335 669 0 0 25 0 1 0 687217491 20094976 4158 4294967295 134512640 134714508 3221221792 3221218064 1074961191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4906 4158 1111 63 0 4843 0
vsize: 19624
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 253080 0 0 0 56323 680 0 0 25 0 1 0 687217491 20336640 4225 4294967295 134512640 134714508 3221221792 3221217892 1075964296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4965 4225 1111 63 0 4902 0
vsize: 19860
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 257483 0 0 0 57311 693 0 0 25 0 1 0 687217491 20664320 4277 4294967295 134512640 134714508 3221221792 3221217752 1075964775 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5045 4277 1111 63 0 4982 0
vsize: 20180
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 262211 0 0 0 58296 707 0 0 25 0 1 0 687217491 20467712 4318 4294967295 134512640 134714508 3221221792 3221219512 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4997 4318 1111 63 0 4934 0
vsize: 19988
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 266382 0 0 0 59286 718 0 0 25 0 1 0 687217491 20717568 4387 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5058 4387 1111 63 0 4995 0
vsize: 20232
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 271556 0 0 0 60270 734 0 0 25 0 1 0 687217491 21151744 4493 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5164 4493 1111 63 0 5101 0
vsize: 20656
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 276943 0 0 0 61256 748 0 0 25 0 1 0 687217491 22097920 4638 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5395 4638 1111 63 0 5332 0
vsize: 21580
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 282058 0 0 0 62241 763 0 0 25 0 1 0 687217491 22261760 4701 4294967295 134512640 134714508 3221221792 3221218064 1074961132 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5435 4701 1111 63 0 5372 0
vsize: 21740
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 287133 0 0 0 63229 776 0 0 25 0 1 0 687217491 22417408 4802 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5473 4802 1111 63 0 5410 0
vsize: 21892
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 293148 0 0 0 64211 794 0 0 25 0 1 0 687217491 22896640 4917 4294967295 134512640 134714508 3221221792 3221219520 1075828201 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5590 4917 1111 63 0 5527 0
vsize: 22360
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 298385 0 0 0 65196 808 0 0 25 0 1 0 687217491 23646208 5037 4294967295 134512640 134714508 3221221792 3221217948 1075093130 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5773 5037 1111 63 0 5710 0
vsize: 23092
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 303985 0 0 0 66182 823 0 0 25 0 1 0 687217491 24010752 5130 4294967295 134512640 134714508 3221221792 3221217804 1074788977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5862 5130 1111 63 0 5799 0
vsize: 23448
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 309066 0 0 0 67167 838 0 0 25 0 1 0 687217491 24477696 5243 4294967295 134512640 134714508 3221221792 3221218064 1074960868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5976 5243 1111 63 0 5913 0
vsize: 23904
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 313865 0 0 0 68154 851 0 0 25 0 1 0 687217491 24358912 5272 4294967295 134512640 134714508 3221221792 3221220352 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5947 5272 1111 63 0 5884 0
vsize: 23788
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 318747 0 0 0 69141 864 0 0 25 0 1 0 687217491 24723456 5360 4294967295 134512640 134714508 3221221792 3221220192 1074118854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6036 5360 1111 63 0 5973 0
vsize: 24144
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 323213 0 0 0 70131 874 0 0 25 0 1 0 687217491 25337856 5462 4294967295 134512640 134714508 3221221792 3221218020 1075115076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6186 5462 1111 63 0 6123 0
vsize: 24744
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 327848 0 0 0 71117 888 0 0 25 0 1 0 687217491 25346048 5517 4294967295 134512640 134714508 3221221792 3221219792 1074918835 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6188 5517 1111 63 0 6125 0
vsize: 24752
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 332733 0 0 0 72104 902 0 0 25 0 1 0 687217491 26058752 5628 4294967295 134512640 134714508 3221221792 3221218020 1075115141 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6362 5628 1111 63 0 6299 0
vsize: 25448
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 337461 0 0 0 73090 917 0 0 25 0 1 0 687217491 25997312 5676 4294967295 134512640 134714508 3221221792 3221220444 134552684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6347 5676 1111 63 0 6284 0
vsize: 25388
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 341950 0 0 0 74078 929 0 0 25 0 1 0 687217491 26292224 5747 4294967295 134512640 134714508 3221221792 3221220436 134542981 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6419 5747 1111 63 0 6356 0
vsize: 25676
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 346089 0 0 0 75068 939 0 0 25 0 1 0 687217491 26882048 5831 4294967295 134512640 134714508 3221221792 3221217952 1075093350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6563 5831 1111 63 0 6500 0
vsize: 26252
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 349700 0 0 0 76058 949 0 0 25 0 1 0 687217491 27058176 5879 4294967295 134512640 134714508 3221221792 3221218064 1074960795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6606 5879 1111 63 0 6543 0
vsize: 26424
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 354292 0 0 0 77046 961 0 0 25 0 1 0 687217491 27381760 5950 4294967295 134512640 134714508 3221221792 3221217884 1075663518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6685 5950 1111 63 0 6622 0
vsize: 26740
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 358763 0 0 0 78033 974 0 0 25 0 1 0 687217491 27275264 5988 4294967295 134512640 134714508 3221221792 3221220452 134649897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6659 5988 1111 63 0 6596 0
vsize: 26636
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 362290 0 0 0 79023 984 0 0 25 0 1 0 687217491 27828224 6057 4294967295 134512640 134714508 3221221792 3221218000 1074815208 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6794 6057 1111 63 0 6731 0
vsize: 27176
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 366139 0 0 0 80013 994 0 0 25 0 1 0 687217491 27639808 6077 4294967295 134512640 134714508 3221221792 3221220128 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6748 6077 1111 63 0 6685 0
vsize: 26992
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 370130 0 0 0 81004 1004 0 0 25 0 1 0 687217491 27783168 6110 4294967295 134512640 134714508 3221221792 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6110 1111 63 0 6720 0
vsize: 27132
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 373821 0 0 0 81995 1013 0 0 25 0 1 0 687217491 28028928 6172 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6843 6172 1111 63 0 6780 0
vsize: 27372
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 377512 0 0 0 82987 1021 0 0 25 0 1 0 687217491 28160000 6204 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6875 6204 1111 63 0 6812 0
vsize: 27500
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 381976 0 0 0 83975 1033 0 0 25 0 1 0 687217491 28991488 6316 4294967295 134512640 134714508 3221221792 3221217952 1074794597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7078 6316 1111 63 0 7015 0
vsize: 28312
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 385750 0 0 0 84966 1042 0 0 25 0 1 0 687217491 28979200 6351 4294967295 134512640 134714508 3221221792 3221217984 1074789875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7075 6351 1111 63 0 7012 0
vsize: 28300
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 389809 0 0 0 85954 1054 0 0 25 0 1 0 687217491 28860416 6375 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7046 6375 1111 63 0 6983 0
vsize: 28184
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 393720 0 0 0 86945 1064 0 0 25 0 1 0 687217491 29433856 6453 4294967295 134512640 134714508 3221221792 3221217792 1075088661 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7186 6453 1111 63 0 7123 0
vsize: 28744
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 397871 0 0 0 87933 1076 0 0 25 0 1 0 687217491 29286400 6479 4294967295 134512640 134714508 3221221792 3221220128 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7150 6479 1111 63 0 7087 0
vsize: 28600
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 402428 0 0 0 88920 1089 0 0 25 0 1 0 687217491 30060544 6604 4294967295 134512640 134714508 3221221792 3221217756 1074788159 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7339 6604 1111 63 0 7276 0
vsize: 29356
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 406561 0 0 0 89909 1100 0 0 25 0 1 0 687217491 30257152 6649 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7387 6649 1111 63 0 7324 0
vsize: 29548
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 411008 0 0 0 90897 1112 0 0 25 0 1 0 687217491 30539776 6726 4294967295 134512640 134714508 3221221792 3221218064 1074960771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7456 6726 1111 63 0 7393 0
vsize: 29824
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 416536 0 0 0 91881 1129 0 0 25 0 1 0 687217491 31170560 6850 4294967295 134512640 134714508 3221221792 3221217728 1075965240 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7610 6850 1111 63 0 7547 0
vsize: 30440
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 421644 0 0 0 92867 1143 0 0 25 0 1 0 687217491 31510528 6927 4294967295 134512640 134714508 3221221792 3221218944 1075969861 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7693 6928 1111 63 0 7630 0
vsize: 30772
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 425597 0 0 0 93855 1155 0 0 25 0 1 0 687217491 31875072 7028 4294967295 134512640 134714508 3221221792 3221218368 1076043568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7782 7028 1111 63 0 7719 0
vsize: 31128
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 428827 0 0 0 94845 1165 0 0 25 0 1 0 687217491 31977472 7025 4294967295 134512640 134714508 3221221792 3221218392 1075850662 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7807 7025 1111 63 0 7744 0
vsize: 31228
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 432917 0 0 0 95834 1176 0 0 25 0 1 0 687217491 31666176 7060 4294967295 134512640 134714508 3221221792 3221219520 1075828488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7731 7060 1111 63 0 7668 0
vsize: 30924
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 436667 0 0 0 96825 1185 0 0 25 0 1 0 687217491 32305152 7142 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7887 7142 1111 63 0 7824 0
vsize: 31548
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 440973 0 0 0 97816 1195 0 0 25 0 1 0 687217491 32129024 7173 4294967295 134512640 134714508 3221221792 3221220192 1074153742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7844 7173 1111 63 0 7781 0
vsize: 31376
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 444965 0 0 0 98806 1204 0 0 25 0 1 0 687217491 32866304 7266 4294967295 134512640 134714508 3221221792 3221218304 1075084536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8024 7266 1111 63 0 7961 0
vsize: 32096
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 448894 0 0 0 99795 1215 0 0 25 0 1 0 687217491 32935936 7286 4294967295 134512640 134714508 3221221792 3221218560 1076083873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8041 7286 1111 63 0 7978 0
vsize: 32164
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 452726 0 0 0 100784 1227 0 0 25 0 1 0 687217491 33124352 7364 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8087 7364 1111 63 0 8024 0
vsize: 32348
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 456492 0 0 0 101773 1238 0 0 25 0 1 0 687217491 32976896 7380 4294967295 134512640 134714508 3221221792 3221220440 134673069 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8051 7380 1111 63 0 7988 0
vsize: 32204
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 461005 0 0 0 102761 1250 0 0 25 0 1 0 687217491 33599488 7467 4294967295 134512640 134714508 3221221792 3221218368 1076046840 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8203 7467 1111 63 0 8140 0
vsize: 32812
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 465513 0 0 0 103750 1262 0 0 25 0 1 0 687217491 33923072 7549 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8282 7549 1111 63 0 8219 0
vsize: 33128
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 469459 0 0 0 104737 1275 0 0 25 0 1 0 687217491 33779712 7576 4294967295 134512640 134714508 3221221792 3221219960 1077377639 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8247 7576 1111 63 0 8184 0
vsize: 32988
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 473122 0 0 0 105729 1283 0 0 25 0 1 0 687217491 34529280 7675 4294967295 134512640 134714508 3221221792 3221217668 1074786562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8430 7675 1111 63 0 8367 0
vsize: 33720
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 477387 0 0 0 106717 1295 0 0 25 0 1 0 687217491 34238464 7687 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8359 7687 1111 63 0 8296 0
vsize: 33436
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 481097 0 0 0 107708 1304 0 0 25 0 1 0 687217491 34549760 7764 4294967295 134512640 134714508 3221221792 3221220116 1074057687 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8435 7764 1111 63 0 8372 0
vsize: 33740
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 484397 0 0 0 108699 1313 0 0 25 0 1 0 687217491 34615296 7780 4294967295 134512640 134714508 3221221792 3221220144 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8451 7780 1111 63 0 8388 0
vsize: 33804
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 487976 0 0 0 109689 1324 0 0 25 0 1 0 687217491 35139584 7851 4294967295 134512640 134714508 3221221792 3221217676 1074788968 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8579 7851 1111 63 0 8516 0
vsize: 34316
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 492464 0 0 0 110677 1335 0 0 25 0 1 0 687217491 35647488 7950 4294967295 134512640 134714508 3221221792 3221217760 1075965250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8703 7950 1111 63 0 8640 0
vsize: 34812
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 496235 0 0 0 111667 1346 0 0 25 0 1 0 687217491 35250176 7935 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8606 7935 1111 63 0 8543 0
vsize: 34424
[startup+1140.03 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 500452 0 0 0 112654 1358 0 0 25 0 1 0 687217491 35487744 7993 4294967295 134512640 134714508 3221221792 3221220500 134652855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8664 7993 1111 63 0 8601 0
vsize: 34656
[startup+1150.03 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 504323 0 0 0 113645 1368 0 0 25 0 1 0 687217491 35676160 8039 4294967295 134512640 134714508 3221221792 3221219440 1075818228 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8710 8039 1111 63 0 8647 0
vsize: 34840
[startup+1160.03 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 508335 0 0 0 114635 1378 0 0 25 0 1 0 687217491 35950592 8106 4294967295 134512640 134714508 3221221792 3221219792 1074918660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8777 8106 1111 63 0 8714 0
vsize: 35108
[startup+1170.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 512345 0 0 0 115625 1388 0 0 25 0 1 0 687217491 36610048 8178 4294967295 134512640 134714508 3221221792 3221217676 1074788921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8938 8178 1111 63 0 8875 0
vsize: 35752
[startup+1174.99 s]
Raw data (loadavg): 1.04 0.99 0.91 1/53 4068
Raw data (stat): 4068 (bsolo_lpr) R 4067 7876 7672 0 -1 0 512345 0 0 0 115625 1388 0 0 25 0 1 0 687217491 36610048 8178 4294967295 134512640 134714508 3221221792 3221217676 1074788921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8938 8178 1111 63 0 8875 0
vsize: 0

Child status: 10
Real time (s): 1174.98
CPU time (s): 1175.1
CPU user time (s): 1161.14
CPU system time (s): 13.9589
CPU usage (%): 100.01
Max. virtual memory (Kb): 35752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	86
#### END VERIFIER DATA ####