Trace number 3500245

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 into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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 X seconds (see the parameters in the trace). 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 X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    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.
  5. 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 provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pwbo 1.1? (TO) 1800.06 900.031

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f600.opb
MD5SUM2b1f0bdf934439fa3364f5fdf4570849
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1200
Total number of constraints3150
Number of constraints which are clauses3150
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 1200
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 1200
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1200
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c pwbo 1.1 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3500245-1307992435.opb.
0.00/0.00	c Instance file HOME/instance-3500245-1307992435.opb
0.00/0.00	c File size is 104111 bytes.
0.00/0.00	c Highest Coefficient sum: 4
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      1200                                                |
0.00/0.00	c |  Number Clauses:        3150                                                |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c init lb 0
0.00/0.01	c init ub 1201
0.00/0.01	c lb 1 (thread 0)
0.00/0.01	c lb 2 (thread 0)
0.00/0.01	c lb 3 (thread 0)
0.00/0.01	c lb 4 (thread 0)
0.00/0.01	c lb 5 (thread 0)
0.00/0.01	c lb 6 (thread 0)
0.00/0.01	c lb 7 (thread 0)
0.00/0.02	c lb 8 (thread 0)
0.00/0.02	c lb 9 (thread 0)
0.00/0.02	c lb 10 (thread 0)
0.00/0.02	c lb 11 (thread 0)
0.00/0.02	c lb 12 (thread 0)
0.00/0.02	c lb 13 (thread 0)
0.00/0.02	c lb 14 (thread 0)
0.00/0.02	c lb 15 (thread 0)
0.00/0.03	c lb 16 (thread 0)
0.00/0.03	c lb 17 (thread 0)
0.00/0.03	c lb 18 (thread 0)
0.00/0.03	c lb 19 (thread 0)
0.00/0.03	c lb 20 (thread 0)
0.00/0.03	c lb 21 (thread 0)
0.00/0.03	c lb 22 (thread 0)
0.00/0.03	c lb 23 (thread 0)
0.00/0.04	c lb 24 (thread 0)
0.00/0.04	c lb 25 (thread 0)
0.00/0.04	c lb 26 (thread 0)
0.00/0.04	c lb 27 (thread 0)
0.00/0.04	c lb 28 (thread 0)
0.00/0.04	c lb 29 (thread 0)
0.00/0.04	c lb 30 (thread 0)
0.00/0.04	c lb 31 (thread 0)
0.00/0.05	c lb 32 (thread 0)
0.00/0.05	c lb 33 (thread 0)
0.00/0.05	c lb 34 (thread 0)
0.00/0.05	c lb 35 (thread 0)
0.00/0.05	c lb 36 (thread 0)
0.00/0.05	c lb 37 (thread 0)
0.00/0.05	c lb 38 (thread 0)
0.00/0.05	c lb 39 (thread 0)
0.00/0.06	c lb 40 (thread 0)
0.00/0.06	c lb 41 (thread 0)
0.00/0.06	c lb 42 (thread 0)
0.00/0.06	c lb 43 (thread 0)
0.00/0.06	c lb 44 (thread 0)
0.00/0.06	c lb 45 (thread 0)
0.00/0.06	c lb 46 (thread 0)
0.00/0.06	c lb 47 (thread 0)
0.00/0.07	c lb 48 (thread 0)
0.00/0.07	c lb 49 (thread 0)
0.00/0.07	c lb 50 (thread 0)
0.00/0.07	c lb 51 (thread 0)
0.00/0.07	c lb 52 (thread 0)
0.00/0.07	c lb 53 (thread 0)
0.00/0.07	c lb 54 (thread 0)
0.00/0.08	c lb 55 (thread 0)
0.00/0.08	c lb 56 (thread 0)
0.00/0.08	c lb 57 (thread 0)
0.00/0.08	c lb 58 (thread 0)
0.00/0.08	c lb 59 (thread 0)
0.15/0.08	c lb 60 (thread 0)
0.15/0.08	c lb 61 (thread 0)
0.15/0.08	c lb 62 (thread 0)
0.15/0.09	c lb 63 (thread 0)
0.15/0.09	c lb 64 (thread 0)
0.15/0.09	c lb 65 (thread 0)
0.15/0.09	c lb 66 (thread 0)
0.15/0.09	c lb 67 (thread 0)
0.15/0.09	c lb 68 (thread 0)
0.15/0.09	c lb 69 (thread 0)
0.15/0.09	c lb 70 (thread 0)
0.17/0.10	c lb 71 (thread 0)
0.17/0.10	c lb 72 (thread 0)
0.17/0.10	c lb 73 (thread 0)
0.17/0.10	c lb 74 (thread 0)
0.17/0.10	c lb 75 (thread 0)
0.17/0.10	c lb 76 (thread 0)
0.17/0.10	c lb 77 (thread 0)
0.17/0.11	c lb 78 (thread 0)
0.17/0.11	c lb 79 (thread 0)
0.17/0.11	c lb 80 (thread 0)
0.17/0.11	c lb 81 (thread 0)
0.17/0.11	c lb 82 (thread 0)
0.17/0.11	c lb 83 (thread 0)
0.17/0.11	c lb 84 (thread 0)
0.17/0.11	c lb 85 (thread 0)
0.17/0.12	c lb 86 (thread 0)
0.17/0.12	c lb 87 (thread 0)
0.17/0.12	c lb 88 (thread 0)
0.17/0.12	c lb 89 (thread 0)
0.17/0.12	c lb 90 (thread 0)
0.17/0.12	c lb 91 (thread 0)
0.17/0.12	c lb 92 (thread 0)
0.17/0.13	c lb 93 (thread 0)
0.17/0.13	c lb 94 (thread 0)
0.17/0.13	c lb 95 (thread 0)
0.17/0.13	c lb 96 (thread 0)
0.17/0.13	c lb 97 (thread 0)
0.17/0.13	c lb 98 (thread 0)
0.17/0.13	c lb 99 (thread 0)
0.17/0.14	c lb 100 (thread 0)
0.17/0.14	c lb 101 (thread 0)
0.17/0.14	c lb 102 (thread 0)
0.17/0.14	c lb 103 (thread 0)
0.17/0.14	c lb 104 (thread 0)
0.17/0.14	c lb 105 (thread 0)
0.17/0.14	c lb 106 (thread 0)
0.17/0.15	c lb 107 (thread 0)
0.17/0.15	c lb 108 (thread 0)
0.17/0.15	c lb 109 (thread 0)
0.17/0.15	c lb 110 (thread 0)
0.17/0.15	c lb 111 (thread 0)
0.17/0.15	c lb 112 (thread 0)
0.17/0.15	c lb 113 (thread 0)
0.17/0.16	c lb 114 (thread 0)
0.17/0.16	c lb 115 (thread 0)
0.17/0.16	c lb 116 (thread 0)
0.17/0.16	c lb 117 (thread 0)
0.17/0.16	c lb 118 (thread 0)
0.17/0.16	c lb 119 (thread 0)
0.17/0.16	c lb 120 (thread 0)
0.17/0.17	c lb 121 (thread 0)
0.17/0.17	c lb 122 (thread 0)
0.17/0.17	c lb 123 (thread 0)
0.17/0.17	c lb 124 (thread 0)
0.17/0.17	c lb 125 (thread 0)
0.17/0.17	c lb 126 (thread 0)
0.17/0.18	c lb 127 (thread 0)
0.17/0.18	c lb 128 (thread 0)
0.17/0.18	c lb 129 (thread 0)
0.17/0.18	c lb 130 (thread 0)
0.17/0.18	c lb 131 (thread 0)
0.17/0.18	c lb 132 (thread 0)
0.17/0.18	c lb 133 (thread 0)
0.17/0.19	c lb 134 (thread 0)
0.17/0.19	c lb 135 (thread 0)
0.17/0.19	c lb 136 (thread 0)
0.17/0.19	c lb 137 (thread 0)
0.17/0.19	c lb 138 (thread 0)
0.17/0.19	c lb 139 (thread 0)
0.17/0.19	c lb 140 (thread 0)
0.38/0.20	c lb 141 (thread 0)
0.38/0.20	c lb 142 (thread 0)
0.38/0.20	c lb 143 (thread 0)
0.38/0.20	c lb 144 (thread 0)
0.38/0.20	c lb 145 (thread 0)
0.38/0.20	c lb 146 (thread 0)
0.38/0.21	c lb 147 (thread 0)
0.38/0.21	c lb 148 (thread 0)
0.38/0.21	c lb 149 (thread 0)
0.38/0.21	c lb 150 (thread 0)
0.38/0.21	c lb 151 (thread 0)
0.38/0.21	c lb 152 (thread 0)
0.38/0.21	c lb 153 (thread 0)
0.38/0.22	c lb 154 (thread 0)
0.38/0.22	c lb 155 (thread 0)
0.38/0.22	c lb 156 (thread 0)
0.38/0.22	c lb 157 (thread 0)
0.38/0.22	c lb 158 (thread 0)
0.38/0.22	c lb 159 (thread 0)
0.38/0.23	c lb 160 (thread 0)
0.38/0.23	c lb 161 (thread 0)
0.38/0.23	c lb 162 (thread 0)
0.38/0.23	c lb 163 (thread 0)
0.38/0.23	c lb 164 (thread 0)
0.38/0.23	c lb 165 (thread 0)
0.38/0.24	c lb 166 (thread 0)
0.38/0.24	c lb 167 (thread 0)
0.38/0.24	c lb 168 (thread 0)
0.38/0.24	c lb 169 (thread 0)
0.38/0.24	c lb 170 (thread 0)
0.38/0.24	c lb 171 (thread 0)
0.38/0.25	c lb 172 (thread 0)
0.38/0.25	c lb 173 (thread 0)
0.38/0.25	c lb 174 (thread 0)
0.38/0.25	c lb 175 (thread 0)
0.38/0.25	c lb 176 (thread 0)
0.38/0.25	c lb 177 (thread 0)
0.38/0.26	c lb 178 (thread 0)
0.38/0.26	c lb 179 (thread 0)
0.38/0.26	c lb 180 (thread 0)
0.38/0.26	c lb 181 (thread 0)
0.38/0.26	c lb 182 (thread 0)
0.38/0.26	c lb 183 (thread 0)
0.38/0.27	c lb 184 (thread 0)
0.38/0.27	c lb 185 (thread 0)
0.38/0.27	c lb 186 (thread 0)
0.38/0.27	c lb 187 (thread 0)
0.38/0.27	c lb 188 (thread 0)
0.38/0.27	c lb 189 (thread 0)
0.38/0.28	c lb 190 (thread 0)
0.38/0.28	c lb 191 (thread 0)
0.38/0.28	c lb 192 (thread 0)
0.38/0.28	c lb 193 (thread 0)
0.38/0.28	c lb 194 (thread 0)
0.38/0.28	c lb 195 (thread 0)
0.38/0.29	c lb 196 (thread 0)
0.38/0.29	c lb 197 (thread 0)
0.38/0.29	c lb 198 (thread 0)
0.38/0.29	c lb 199 (thread 0)
0.38/0.29	c lb 200 (thread 0)
0.38/0.29	c lb 201 (thread 0)
0.57/0.30	c lb 202 (thread 0)
0.57/0.30	c lb 203 (thread 0)
0.57/0.30	c lb 204 (thread 0)
0.57/0.30	c lb 205 (thread 0)
0.57/0.30	c lb 206 (thread 0)
0.57/0.31	c lb 207 (thread 0)
0.57/0.31	c lb 208 (thread 0)
0.57/0.31	c lb 209 (thread 0)
0.57/0.31	c lb 210 (thread 0)
0.57/0.31	c lb 211 (thread 0)
0.57/0.31	c lb 212 (thread 0)
0.57/0.32	c lb 213 (thread 0)
0.57/0.32	c lb 214 (thread 0)
0.57/0.32	c lb 215 (thread 0)
0.57/0.32	c lb 216 (thread 0)
0.57/0.32	c lb 217 (thread 0)
0.57/0.33	c lb 218 (thread 0)
0.57/0.33	c lb 219 (thread 0)
0.57/0.33	c lb 220 (thread 0)
0.57/0.33	c lb 221 (thread 0)
0.57/0.33	c lb 222 (thread 0)
0.57/0.33	c lb 223 (thread 0)
0.57/0.34	c lb 224 (thread 0)
0.57/0.34	c lb 225 (thread 0)
0.57/0.34	c lb 226 (thread 0)
0.57/0.34	c lb 227 (thread 0)
0.57/0.34	c lb 228 (thread 0)
0.57/0.35	c lb 229 (thread 0)
0.57/0.35	c lb 230 (thread 0)
0.57/0.35	c lb 231 (thread 0)
0.57/0.35	c lb 232 (thread 0)
0.57/0.35	c lb 233 (thread 0)
0.57/0.36	c lb 234 (thread 0)
0.57/0.36	c lb 235 (thread 0)
0.57/0.36	c lb 236 (thread 0)
0.57/0.36	c lb 237 (thread 0)
0.57/0.36	c lb 238 (thread 0)
0.57/0.37	c lb 239 (thread 0)
0.57/0.37	c lb 240 (thread 0)
0.57/0.37	c lb 241 (thread 0)
0.57/0.37	c lb 242 (thread 0)
0.57/0.37	c lb 243 (thread 0)
0.57/0.38	c lb 244 (thread 0)
0.57/0.38	c lb 245 (thread 0)
0.57/0.38	c lb 246 (thread 0)
0.57/0.38	c lb 247 (thread 0)
0.57/0.38	c lb 248 (thread 0)
0.57/0.39	c lb 249 (thread 0)
0.57/0.39	c lb 250 (thread 0)
0.57/0.39	c lb 251 (thread 0)
0.57/0.39	c lb 252 (thread 0)
0.57/0.39	c lb 253 (thread 0)
0.77/0.40	c lb 254 (thread 0)
0.77/0.40	c lb 255 (thread 0)
0.77/0.40	c lb 256 (thread 0)
0.77/0.40	c lb 257 (thread 0)
0.77/0.40	c lb 258 (thread 0)
0.77/0.41	c lb 259 (thread 0)
0.77/0.41	c lb 260 (thread 0)
0.77/0.41	c lb 261 (thread 0)
0.77/0.41	c lb 262 (thread 0)
0.77/0.41	c lb 263 (thread 0)
0.77/0.42	c lb 264 (thread 0)
0.77/0.42	c lb 265 (thread 0)
0.77/0.42	c lb 266 (thread 0)
0.77/0.42	c lb 267 (thread 0)
0.77/0.42	c lb 268 (thread 0)
0.77/0.43	c lb 269 (thread 0)
0.77/0.43	c lb 270 (thread 0)
0.77/0.43	c lb 271 (thread 0)
0.77/0.43	c lb 272 (thread 0)
0.77/0.43	c lb 273 (thread 0)
0.77/0.44	c lb 274 (thread 0)
0.77/0.44	c lb 275 (thread 0)
0.77/0.44	c lb 276 (thread 0)
0.77/0.44	c lb 277 (thread 0)
0.77/0.44	c lb 278 (thread 0)
0.77/0.45	c lb 279 (thread 0)
0.77/0.45	c lb 280 (thread 0)
0.77/0.45	c lb 281 (thread 0)
0.77/0.45	c lb 282 (thread 0)
0.77/0.45	c lb 283 (thread 0)
0.77/0.46	c lb 284 (thread 0)
0.77/0.46	c lb 285 (thread 0)
0.77/0.46	c lb 286 (thread 0)
0.77/0.46	c lb 287 (thread 0)
0.77/0.47	c lb 288 (thread 0)
0.77/0.47	c lb 289 (thread 0)
0.77/0.47	c lb 290 (thread 0)
0.77/0.47	c lb 291 (thread 0)
0.77/0.47	c lb 292 (thread 0)
0.77/0.48	c lb 293 (thread 0)
0.77/0.48	c lb 294 (thread 0)
0.77/0.48	c lb 295 (thread 0)
0.77/0.48	c lb 296 (thread 0)
0.77/0.48	c lb 297 (thread 0)
0.77/0.49	c lb 298 (thread 0)
0.77/0.49	c lb 299 (thread 0)
0.77/0.49	c lb 300 (thread 0)
0.77/0.49	c lb 301 (thread 0)
0.77/0.50	c lb 302 (thread 0)
0.98/0.50	c lb 303 (thread 0)
0.98/0.50	c lb 304 (thread 0)
0.98/0.50	c lb 305 (thread 0)
0.98/0.50	c lb 306 (thread 0)
0.98/0.51	c lb 307 (thread 0)
0.98/0.51	c lb 308 (thread 0)
0.98/0.51	c lb 309 (thread 0)
0.98/0.51	c lb 310 (thread 0)
0.98/0.52	c lb 311 (thread 0)
0.98/0.52	c lb 312 (thread 0)
0.98/0.52	c lb 313 (thread 0)
0.98/0.52	c lb 314 (thread 0)
0.98/0.53	c lb 315 (thread 0)
0.98/0.53	c lb 316 (thread 0)
0.98/0.53	c lb 317 (thread 0)
0.98/0.53	c lb 318 (thread 0)
0.98/0.54	c lb 319 (thread 0)
0.98/0.54	c lb 320 (thread 0)
0.98/0.54	c lb 321 (thread 0)
0.98/0.55	c lb 322 (thread 0)
0.98/0.56	c lb 323 (thread 0)
0.98/0.59	c lb 324 (thread 0)
3.38/1.72	c lb 325 (thread 0)
204.40/102.23	c lb 326 (thread 0)
1800.02/900.01	s UNKNOWN
1800.02/900.01	c Memory used           : 479.75 MB
1800.02/900.01	c CPU time              : 1782.53 s
1800.02/900.01	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500245-1307992435/watcher-3500245-1307992435 -o /var/tmp/evaluation-result-3500245-1307992435/solver-3500245-1307992435 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500245-1307992435.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.94 3.97 3.84 4/179 16657
/proc/meminfo: memFree=29838364/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=2752 CPUtime=0 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) R 16655 16657 15608 0 -1 4202496 434 0 0 0 0 0 0 0 25 0 1 0 910842319 2818048 387 33554432000 4194304 5714118 140734457047264 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16657/statm: 688 387 163 372 0 287 0

[startup+0.0861359 s]
/proc/loadavg: 3.94 3.97 3.84 4/179 16657
/proc/meminfo: memFree=29838364/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=135844 CPUtime=0.15 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 1142 0 0 0 15 0 0 0 25 0 3 0 910842319 139104256 1069 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 33961 1069 179 372 0 33586 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 135844

[startup+0.100134 s]
/proc/loadavg: 3.94 3.97 3.84 4/179 16657
/proc/meminfo: memFree=29838364/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=135844 CPUtime=0.17 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 1164 0 0 0 17 0 0 0 25 0 3 0 910842319 139104256 1091 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 33961 1091 179 372 0 33586 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 135844

[startup+0.300098 s]
/proc/loadavg: 3.94 3.97 3.84 4/179 16657
/proc/meminfo: memFree=29838364/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=135844 CPUtime=0.57 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 1649 0 0 0 56 1 0 0 25 0 3 0 910842319 139104256 1491 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 33961 1491 179 372 0 33586 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 135844

[startup+0.701027 s]
/proc/loadavg: 3.94 3.97 3.84 4/179 16657
/proc/meminfo: memFree=29838364/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=136108 CPUtime=1.38 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 2743 0 0 0 135 3 0 0 25 0 3 0 910842319 139374592 2305 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 34027 2305 179 372 0 33652 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 136108

[startup+1.50088 s]
/proc/loadavg: 3.94 3.97 3.84 5/182 16660
/proc/meminfo: memFree=29828660/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=136520 CPUtime=2.98 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 3600 0 0 0 291 7 0 0 25 0 3 0 910842319 139796480 3162 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 34130 3162 179 372 0 33755 0
[pid=16657/tid=16659] ppid=16655 vsize=136520 CPUtime=1.48 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 2209 0 0 0 145 3 0 0 25 0 3 0 910842320 139796480 3162 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319874 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=136520 CPUtime=1.48 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 785 0 0 0 145 3 0 0 25 0 3 0 910842320 139796480 3162 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 136520

[startup+3.1006 s]
/proc/loadavg: 3.95 3.97 3.84 5/182 16660
/proc/meminfo: memFree=29824568/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=137124 CPUtime=6.18 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 4246 0 0 0 605 13 0 0 25 0 3 0 910842319 140414976 3781 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 34281 3781 180 372 0 33906 0
[pid=16657/tid=16659] ppid=16655 vsize=137124 CPUtime=3.08 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 2655 0 0 0 301 7 0 0 25 0 3 0 910842320 140414976 3781 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319389 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=137124 CPUtime=3.08 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 985 0 0 0 302 6 0 0 25 0 3 0 910842320 140414976 3781 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 137124

[startup+6.30103 s]
/proc/loadavg: 3.95 3.97 3.84 5/182 16660
/proc/meminfo: memFree=29819288/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=138024 CPUtime=12.58 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 5669 0 0 0 1234 24 0 0 25 0 3 0 910842319 141336576 5204 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 34506 5204 180 372 0 34131 0
[pid=16657/tid=16659] ppid=16655 vsize=138024 CPUtime=6.28 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 3731 0 0 0 616 12 0 0 25 0 3 0 910842320 141336576 5204 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=138024 CPUtime=6.28 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 1332 0 0 0 617 11 0 0 25 0 3 0 910842320 141336576 5204 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 138024

[startup+12.7009 s]
/proc/loadavg: 3.95 3.97 3.84 5/182 16660
/proc/meminfo: memFree=29809372/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=139256 CPUtime=25.38 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 7819 0 0 0 2494 44 0 0 25 0 3 0 910842319 142598144 7354 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 34814 7354 180 372 0 34439 0
[pid=16657/tid=16659] ppid=16655 vsize=139256 CPUtime=12.68 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 5514 0 0 0 1246 22 0 0 25 0 3 0 910842320 142598144 7354 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319804 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=139256 CPUtime=12.68 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 1699 0 0 0 1246 22 0 0 25 0 3 0 910842320 142598144 7354 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 139256

[startup+25.5006 s]
/proc/loadavg: 3.96 3.97 3.84 5/182 16660
/proc/meminfo: memFree=29795628/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=140564 CPUtime=50.98 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 11219 0 0 0 5020 78 0 0 25 0 3 0 910842319 143937536 10754 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 35141 10754 180 372 0 34766 0
[pid=16657/tid=16659] ppid=16655 vsize=140564 CPUtime=25.48 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 8418 0 0 0 2508 40 0 0 25 0 3 0 910842320 143937536 10754 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=140564 CPUtime=25.48 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 2195 0 0 0 2511 37 0 0 25 0 3 0 910842320 143937536 10754 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 140564

[startup+51.101 s]
/proc/loadavg: 3.97 3.97 3.85 5/182 16661
/proc/meminfo: memFree=29761276/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=143224 CPUtime=102.18 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 19083 0 0 0 10069 149 0 0 25 0 3 0 910842319 146661376 18559 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 35806 18560 180 372 0 35431 0
[pid=16657/tid=16659] ppid=16655 vsize=143224 CPUtime=51.08 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 15487 0 0 0 5030 78 0 0 25 0 3 0 910842320 146661376 18560 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=143224 CPUtime=51.08 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 2991 0 0 0 5037 71 0 0 25 0 3 0 910842320 146661376 18560 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 143224

[startup+102.306 s]
/proc/loadavg: 3.99 3.97 3.85 5/182 16703
/proc/meminfo: memFree=29944016/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=212288 CPUtime=204.59 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 32344 0 0 0 20193 266 0 0 25 0 3 0 910842319 217382912 31817 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 53072 31817 180 372 0 52697 0
[pid=16657/tid=16659] ppid=16655 vsize=212288 CPUtime=102.29 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 27770 0 0 0 10090 139 0 0 25 0 3 0 910842320 217382912 31817 33554432000 4194304 5714118 140734457047264 18446744073709551615 4196540 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=212288 CPUtime=102.29 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 3968 0 0 0 10102 127 0 0 25 0 3 0 910842320 217382912 31817 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 212288

[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.86 5/182 16705
/proc/meminfo: memFree=29926224/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=214236 CPUtime=324.59 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 33148 0 0 0 32080 379 0 0 25 0 3 0 910842319 219377664 32522 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 53559 32522 180 372 0 53184 0
[pid=16657/tid=16659] ppid=16655 vsize=214236 CPUtime=162.28 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 27841 0 0 0 16029 199 0 0 25 0 3 0 910842320 219377664 32522 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=214236 CPUtime=162.28 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 4701 0 0 0 16049 179 0 0 25 0 3 0 910842320 219377664 32522 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 214236

[startup+222.301 s]
/proc/loadavg: 3.99 3.97 3.86 5/182 16706
/proc/meminfo: memFree=29898520/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=215744 CPUtime=444.59 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 33627 0 0 0 43964 495 0 0 25 0 3 0 910842319 220921856 33001 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 53936 33001 180 372 0 53561 0
[pid=16657/tid=16659] ppid=16655 vsize=215744 CPUtime=222.28 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 27913 0 0 0 21970 258 0 0 25 0 3 0 910842320 220921856 33001 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=215744 CPUtime=222.28 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 5108 0 0 0 21992 236 0 0 25 0 3 0 910842320 220921856 33001 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 215744

[startup+282.301 s]
/proc/loadavg: 4.04 3.99 3.87 5/182 16708
/proc/meminfo: memFree=29850736/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=217936 CPUtime=564.6 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 38725 0 0 0 55823 637 0 0 25 0 3 0 910842319 223166464 38099 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 54484 38099 180 372 0 54109 0
[pid=16657/tid=16659] ppid=16655 vsize=217936 CPUtime=282.29 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 32160 0 0 0 27896 333 0 0 25 0 3 0 910842320 223166464 38099 33554432000 4194304 5714118 140734457047264 18446744073709551615 4322586 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=217936 CPUtime=282.28 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 5959 0 0 0 27925 303 0 0 25 0 3 0 910842320 223166464 38099 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319192 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 217936

[startup+342.301 s]
/proc/loadavg: 4.01 3.99 3.88 5/182 16710
/proc/meminfo: memFree=29810992/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=285464 CPUtime=684.59 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 46312 0 0 0 67702 757 0 0 25 0 3 0 910842319 292315136 45686 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 71366 45686 180 372 0 70991 0
[pid=16657/tid=16659] ppid=16655 vsize=285464 CPUtime=342.29 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 39268 0 0 0 33833 396 0 0 25 0 3 0 910842320 292315136 45686 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=285464 CPUtime=342.28 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 6438 0 0 0 33868 360 0 0 25 0 3 0 910842320 292315136 45686 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 285464

[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.89 5/182 16711
/proc/meminfo: memFree=29778576/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=286724 CPUtime=804.6 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 54148 0 0 0 79566 894 0 0 25 0 3 0 910842319 293605376 53522 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 71681 53522 180 372 0 71306 0
[pid=16657/tid=16659] ppid=16655 vsize=286724 CPUtime=402.29 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 46671 0 0 0 39762 467 0 0 25 0 3 0 910842320 293605376 53522 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=286724 CPUtime=402.29 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 6871 0 0 0 39802 427 0 0 25 0 3 0 910842320 293605376 53522 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 286724

[startup+462.301 s]
/proc/loadavg: 4.00 3.99 3.89 5/182 16713
/proc/meminfo: memFree=29748896/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=353424 CPUtime=924.6 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 61406 0 0 0 91448 1012 0 0 25 0 3 0 910842319 361906176 60780 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 88356 60780 180 372 0 87981 0
[pid=16657/tid=16659] ppid=16655 vsize=353424 CPUtime=462.29 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 53617 0 0 0 45701 528 0 0 25 0 3 0 910842320 361906176 60780 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=353424 CPUtime=462.29 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 7183 0 0 0 45746 483 0 0 25 0 3 0 910842320 361906176 60780 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 353424

[startup+522.301 s]
/proc/loadavg: 4.00 3.99 3.90 5/182 16714
/proc/meminfo: memFree=29719332/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=354504 CPUtime=1044.6 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 68104 0 0 0 103322 1138 0 0 25 0 3 0 910842319 363012096 67478 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 88626 67478 180 372 0 88251 0
[pid=16657/tid=16659] ppid=16655 vsize=354504 CPUtime=522.29 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 60033 0 0 0 51633 596 0 0 25 0 3 0 910842320 363012096 67478 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=354504 CPUtime=522.29 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 7465 0 0 0 51688 541 0 0 25 0 3 0 910842320 363012096 67478 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 354504

[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.90 5/182 16716
/proc/meminfo: memFree=29671788/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=421456 CPUtime=1164.61 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 74716 0 0 0 115210 1251 0 0 25 0 3 0 910842319 431570944 74090 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 105364 74090 180 372 0 104989 0
[pid=16657/tid=16659] ppid=16655 vsize=421456 CPUtime=582.29 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 66411 0 0 0 57570 659 0 0 25 0 3 0 910842320 431570944 74090 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=421456 CPUtime=582.29 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 7699 0 0 0 57638 591 0 0 25 0 3 0 910842320 431570944 74090 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 421456

[startup+642.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 16718
/proc/meminfo: memFree=29627600/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=422408 CPUtime=1284.62 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 80899 0 0 0 127108 1354 0 0 25 0 3 0 910842319 432545792 80273 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 105602 80273 180 372 0 105227 0
[pid=16657/tid=16659] ppid=16655 vsize=422408 CPUtime=642.29 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 72141 0 0 0 63518 711 0 0 25 0 3 0 910842320 432545792 80273 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=422408 CPUtime=642.3 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 8152 0 0 0 63588 642 0 0 25 0 3 0 910842320 432545792 80273 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 422408

[startup+702.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 16719
/proc/meminfo: memFree=29585508/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=423424 CPUtime=1404.61 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 87005 0 0 0 139015 1446 0 0 25 0 3 0 910842319 433586176 86353 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 105856 86353 180 372 0 105481 0
[pid=16657/tid=16659] ppid=16655 vsize=423424 CPUtime=702.29 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 77874 0 0 0 69466 763 0 0 25 0 3 0 910842320 433586176 86353 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=423424 CPUtime=702.3 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 8525 0 0 0 69548 682 0 0 25 0 3 0 910842320 433586176 86353 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 423424

[startup+762.306 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 16721
/proc/meminfo: memFree=29539824/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=489924 CPUtime=1524.62 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 93184 0 0 0 150930 1532 0 0 25 0 3 0 910842319 501682176 92532 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 122481 92532 180 372 0 122106 0
[pid=16657/tid=16659] ppid=16655 vsize=489924 CPUtime=762.3 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 83817 0 0 0 75420 810 0 0 25 0 3 0 910842320 501682176 92532 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=489924 CPUtime=762.3 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 8761 0 0 0 75509 721 0 0 25 0 3 0 910842320 501682176 92532 33554432000 4194304 5714118 140734457047264 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 489924

[startup+822.301 s]
/proc/loadavg: 4.06 4.00 3.91 5/182 16722
/proc/meminfo: memFree=29497612/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=490272 CPUtime=1644.61 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 98918 0 0 0 162840 1621 0 0 25 0 3 0 910842319 502038528 98266 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 122568 98266 180 372 0 122193 0
[pid=16657/tid=16659] ppid=16655 vsize=490272 CPUtime=822.3 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 89423 0 0 0 81371 859 0 0 25 0 3 0 910842320 502038528 98266 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=490272 CPUtime=822.3 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 8889 0 0 0 81468 762 0 0 25 0 3 0 910842320 502038528 98266 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 490272

[startup+882.301 s]
/proc/loadavg: 4.02 4.00 3.91 5/182 16724
/proc/meminfo: memFree=29453292/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=490852 CPUtime=1764.61 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 104900 0 0 0 174740 1721 0 0 25 0 3 0 910842319 502632448 104230 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 122713 104230 180 372 0 122338 0
[pid=16657/tid=16659] ppid=16655 vsize=490852 CPUtime=882.3 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 95208 0 0 0 87319 911 0 0 25 0 3 0 910842320 502632448 104230 33554432000 4194304 5714118 140734457047264 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=490852 CPUtime=882.29 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 9086 0 0 0 87419 810 0 0 25 0 3 0 910842320 502632448 104230 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 490852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.001 s]
/proc/loadavg: 4.02 4.00 3.91 5/182 16725
/proc/meminfo: memFree=29441232/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=491260 CPUtime=1800.02 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 106690 0 0 0 178251 1751 0 0 25 0 3 0 910842319 503050240 106020 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 122815 106020 180 372 0 122440 0
[pid=16657/tid=16659] ppid=16655 vsize=491260 CPUtime=900 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 96934 0 0 0 89075 925 0 0 25 0 3 0 910842320 503050240 106020 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=491260 CPUtime=900 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 9150 0 0 0 89175 825 0 0 25 0 3 0 910842320 503050240 106020 33554432000 4194304 5714118 140734457047264 18446744073709551615 4300144 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 491260

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 900.031
CPU time (s): 1800.06
CPU user time (s): 1782.53
CPU system time (s): 17.5323
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 491260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.53
system time used= 17.5323
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106695
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 171
involuntary context switches= 2896

runsolver used 1.3388 second user time and 3.17452 second system time

The end

Launcher Data 

Begin job on node122 at 2011-06-13 21:13:55
IDJOB=3500245
IDBENCH=2155
IDSOLVER=1954
FILE ID=node122/3500245-1307992435
RUNJOBID= node122-1307989672-15977
PBS_JOBID= 13559733
Free space on /var/tmp= 2888 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f600.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500245-1307992435/watcher-3500245-1307992435 -o /var/tmp/evaluation-result-3500245-1307992435/solver-3500245-1307992435 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500245-1307992435.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2b1f0bdf934439fa3364f5fdf4570849
RANDOM SEED=1749650092

node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29839164 kB
Buffers:         53304 kB
Cached:        2538868 kB
SwapCached:      15172 kB
Active:         479688 kB
Inactive:      2432148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29839164 kB
SwapTotal:    67111528 kB
SwapFree:     67048888 kB
Dirty:            4096 kB
Writeback:           0 kB
AnonPages:      316844 kB
Mapped:           9904 kB
Slab:           135680 kB
PageTables:       4936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   512472 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2884 MiB
End job on node122 at 2011-06-13 21:28:57