Trace number 4395025

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 NameAnswerCPU timeWall clock time
PicatSAT 2019-09-12SAT 1744.41 1744.58

General information on the benchmark

NameDeBruijnSequence/DeBruijnSequence-m1-s1/
DeBruijnSequence-02-09.xml
MD5SUM51af40833062bacbe569ad61b7e4d8a4
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.88246
Satisfiable
(Un)Satisfiability was proved
Number of variables5122
Number of constraints4611
Number of domains3
Minimum domain size2
Maximum domain size513
Distribution of domain sizes[{"size":2,"count":4608},{"size":512,"count":512},{"size":513,"count":2}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":512},{"degree":3,"count":4608}]
Minimum constraint arity2
Maximum constraint arity514
Distribution of constraint arities[{"arity":2,"count":4096},{"arity":10,"count":512},{"arity":512,"count":2},{"arity":514,"count":1}]
Number of extensional constraints0
Number of intensional constraints4096
Distribution of constraint types[{"type":"intension","count":4096},{"type":"allDifferent","count":1},{"type":"sum","count":512},{"type":"cardinality","count":1},{"type":"minimum","count":1}]
Optimization problemNO
Type of objective

Solver Data 

40.69/40.72	c xcsp_picat version 2.7b12 (9/12/2019)
1744.32/1744.57	s SATISFIABLE
1744.32/1744.57	v <instantiation>
1744.32/1744.57	v     <list> g[] x[] bi[][]  </list> 
1744.32/1744.57	v     <values> 256 256  0 1 2 4 9 19 39 79 159 319 126 253 507 502 492 473 435 358 205 410 309 107 214 428 344 177 355 198 396 280 49 99 199 398 285 59 119 238 476 440 369 227 454 397 283 54 109 219 439 367 223 446 381 250 500 488 465 418 325 139 278 45 91 183 366 220 441 370 229 459 407 303 94 189 379 246 493 475 438 364 216 432 352 192 385 258 5 11 22 44 89 178 356 201 403 294 76 152 305 98 196 393 275 38 77 155 310 108 217 434 357 203 406 301 90 180 360 208 416 321 130 260 8 16 33 66 133 267 23 46 92 185 371 230 461 411 311 111 222 444 377 243 487 462 412 313 114 228 456 400 288 65 131 263 15 31 62 124 249 499 486 460 408 304 96 193 386 261 10 20 40 81 162 324 137 274 36 73 147 295 78 156 312 112 225 450 389 266 21 42 84 168 336 161 323 135 271 30 61 123 247 494 477 442 373 235 470 429 347 182 365 218 437 363 215 430 349 186 372 233 467 422 333 154 308 105 210 421 330 148 296 80 160 320 129 259 7 14 28 56 113 226 453 395 279 47 95 191 382 252 504 496 480 449 387 262 12 25 50 100 200 401 290 68 136 273 34 69 138 276 41 83 166 332 153 306 101 202 405 299 86 172 345 179 359 207 415 318 125 251 503 495 478 445 378 245 491 471 431 350 188 376 241 483 455 399 287 63 127 254 509 506 501 490 468 424 337 163 327 142 284 57 115 231 463 414 316 121 242 484 457 402 293 75 150 300 88 176 353 195 391 270 29 58 116 232 464 417 322 132 264 17 35 70 141 282 53 106 213 426 341 171 343 175 351 190 380 248 497 482 452 392 272 32 64 128 257 3 6 13 26 52 104 209 419 326 140 281 51 102 204 409 307 103 206 413 314 117 234 469 427 342 173 346 181 362 212 425 338 165 331 151 302 93 187 374 237 474 436 361 211 423 335 158 317 122 244 489 466 420 329 146 292 72 144 289 67 134 269 27 55 110 221 443 375 239 479 447 383 255 511 510 508 505 498 485 458 404 297 82 164 328 145 291 71 143 286 60 120 240 481 451 390 268 24 48 97 194 388 265 18 37 74 149 298 85 170 340 169 339 167 334 157 315 118 236 472 433 354 197 394 277 43 87 174 348 184 368 224 448 384 256  0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0   </values> 
1744.32/1744.57	v </instantiation>

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13870 MiB free)
  memory of node 1: 16384 MiB (15446 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395025-1568329169/watcher-4395025-1568329169 -o /tmp/evaluation-result-4395025-1568329169/solver-4395025-1568329169 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568318150-27187 --watchdog 2580 xcsp_picat HOME/instance-4395025-1568329169.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28626, runsolver pid=28623
Current StackSize limit: 8192 KiB


[startup+0.100631 s]*
/proc/loadavg: 2.00 2.02 2.05 4/199 28627
/proc/meminfo: memFree=29998468/32770624 swapFree=66920952/67108860
[pid=28626] ppid=28623 vsize=2031716 memory=27848 CPUtime=0.1 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 2064 0 0 0 10 0 0 0 20 0 1 0 409172993 2080477184 6962 33554432000 4194304 5870510 140736467724208 140736467723576 4461503 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 507929 6962 870 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 27848 KiB

[startup+0.209759 s]*
/proc/loadavg: 2.00 2.02 2.05 3/199 28627
/proc/meminfo: memFree=29969788/32770624 swapFree=66920952/67108860
[pid=28626] ppid=28623 vsize=2031716 memory=58804 CPUtime=0.21 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 2079 0 0 0 20 1 0 0 20 0 1 0 409172993 2080477184 14701 33554432000 4194304 5870510 140736467724208 140736467723576 4804433 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 507929 14701 886 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 58804 KiB

[startup+0.309661 s]*
/proc/loadavg: 2.00 2.02 2.05 3/199 28627
/proc/meminfo: memFree=29926844/32770624 swapFree=66920952/67108860
[pid=28626] ppid=28623 vsize=2092428 memory=99960 CPUtime=0.31 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 2822 0 0 0 30 1 0 0 20 0 1 0 409172993 2142646272 24990 33554432000 4194304 5870510 140736467724208 140736467723576 5245141 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 523107 24990 891 410 0 518580 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2092428 KiB
Current children cumulated memory: 99960 KiB

[startup+0.7004 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 28627
/proc/meminfo: memFree=29891532/32770624 swapFree=66920952/67108860
[pid=28626] ppid=28623 vsize=2187928 memory=228388 CPUtime=0.69 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 16410 0 0 0 65 4 0 0 20 0 1 0 409172993 2240438272 57097 33554432000 4194304 5870510 140736467724208 140736467723576 5287642 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 546982 57097 903 410 0 542455 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2187928 KiB
Current children cumulated memory: 228388 KiB

[startup+1.50028 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 28627
/proc/meminfo: memFree=29793752/32770624 swapFree=66920952/67108860
[pid=28626] ppid=28623 vsize=2187928 memory=231212 CPUtime=1.49 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 16602 0 0 0 145 4 0 0 20 0 1 0 409172993 2240438272 57803 33554432000 4194304 5870510 140736467724208 140736467723448 140303445606279 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 546982 57803 942 410 0 542455 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2187928 KiB
Current children cumulated memory: 231212 KiB

[startup+3.10953 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 28627
/proc/meminfo: memFree=29707556/32770624 swapFree=66920952/67108860
[pid=28626] ppid=28623 vsize=2305584 memory=332248 CPUtime=3.09 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 32475 0 0 0 300 9 0 0 20 0 1 0 409172993 2360918016 83062 33554432000 4194304 5870510 140736467724208 140736467723448 4804553 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 576396 83062 961 410 0 571869 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2305584 KiB
Current children cumulated memory: 332248 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 28627
/proc/meminfo: memFree=29501300/32770624 swapFree=66920952/67108860
[pid=28626] ppid=28623 vsize=2499808 memory=523580 CPUtime=6.29 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 58620 0 0 0 612 17 0 0 20 0 1 0 409172993 2559803392 130895 33554432000 4194304 5870510 140736467724208 140736467723320 140303445137245 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 624952 130895 961 410 0 620425 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2499808 KiB
Current children cumulated memory: 523580 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 28627
/proc/meminfo: memFree=29498140/32770624 swapFree=66920952/67108860
[pid=28626] ppid=28623 vsize=2502548 memory=525640 CPUtime=12.69 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 108067 0 0 0 1250 19 0 0 20 0 1 0 409172993 2562609152 131410 33554432000 4194304 5870510 140736467724208 140736467722712 5337584 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 625637 131410 970 410 0 621110 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2502548 KiB
Current children cumulated memory: 525640 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 28628
/proc/meminfo: memFree=29531840/32770624 swapFree=66920952/67108860
[pid=28626] ppid=28623 vsize=2481784 memory=489780 CPUtime=25.49 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 160227 0 0 0 2525 24 0 0 20 0 1 0 409172993 2541346816 122445 33554432000 4194304 5870510 140736467724208 140736467723464 5288765 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 620446 122445 991 410 0 615919 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2481784 KiB
Current children cumulated memory: 489780 KiB

[startup+51.1097 s]
/proc/loadavg: 2.00 2.02 2.05 3/198 28631
/proc/meminfo: memFree=29510376/32770624 swapFree=66920960/67108860
[pid=28626] ppid=28623 vsize=2481784 memory=506172 CPUtime=51.09 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 218065 0 0 0 5081 28 0 0 20 0 1 0 409172993 2541346816 126543 33554432000 4194304 5870510 140736467724208 140736467723320 5307314 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 620446 126543 993 410 0 615919 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2481784 KiB
Current children cumulated memory: 506172 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 28635
/proc/meminfo: memFree=29455800/32770624 swapFree=66920960/67108860
[pid=28626] ppid=28623 vsize=2563172 memory=549852 CPUtime=102.28 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 261413 0 0 0 10194 34 0 0 20 0 1 0 409172993 2624688128 137463 33554432000 4194304 5870510 140736467724208 140736467723224 5274765 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 640793 137463 993 410 0 636266 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2563172 KiB
Current children cumulated memory: 549852 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28647
/proc/meminfo: memFree=29367464/32770624 swapFree=66920968/67108860
[pid=28626] ppid=28623 vsize=2695432 memory=627676 CPUtime=162.27 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 295180 0 0 0 16189 38 0 0 20 0 1 0 409172993 2760122368 156919 33554432000 4194304 5870510 140736467724208 140736467723160 5308227 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 673858 156919 993 410 0 669331 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2695432 KiB
Current children cumulated memory: 627676 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 28679
/proc/meminfo: memFree=29369880/32770624 swapFree=66920980/67108860
[pid=28626] ppid=28623 vsize=2695432 memory=614012 CPUtime=222.27 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 334189 0 0 0 22181 46 0 0 20 0 1 0 409172993 2760122368 153503 33554432000 4194304 5870510 140736467724208 140736467723160 5268760 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 673858 153503 993 410 0 669331 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2695432 KiB
Current children cumulated memory: 614012 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28744
/proc/meminfo: memFree=30330424/32770624 swapFree=66920980/67108860
[pid=28626] ppid=28623 vsize=2563172 memory=591588 CPUtime=282.26 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 370988 0 0 0 28174 52 0 0 20 0 1 0 409172993 2624688128 147897 33554432000 4194304 5870510 140736467724208 140736467723224 5272427 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 640793 147897 993 410 0 636266 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2563172 KiB
Current children cumulated memory: 591588 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 28749
/proc/meminfo: memFree=28731872/32770624 swapFree=66920980/67108860
[pid=28626] ppid=28623 vsize=2695432 memory=678184 CPUtime=342.24 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 408558 0 0 0 34159 65 0 0 20 0 1 0 409172993 2760122368 169546 33554432000 4194304 5870510 140736467724208 140736467723224 5262718 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 673858 169546 993 410 0 669331 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2695432 KiB
Current children cumulated memory: 678184 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 28755
/proc/meminfo: memFree=28803736/32770624 swapFree=66920980/67108860
[pid=28626] ppid=28623 vsize=2695432 memory=607148 CPUtime=402.24 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 419032 0 0 0 40154 70 0 0 20 0 1 0 409172993 2760122368 151787 33554432000 4194304 5870510 140736467724208 140736467723160 5262692 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 673858 151787 993 410 0 669331 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 2695432 KiB
Current children cumulated memory: 607148 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28759
/proc/meminfo: memFree=28775688/32770624 swapFree=66920980/67108860
[pid=28626] ppid=28623 vsize=2695432 memory=634516 CPUtime=462.22 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 426352 0 0 0 46147 75 0 0 20 0 1 0 409172993 2760122368 158629 33554432000 4194304 5870510 140736467724208 140736467723160 5282251 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 673858 158629 993 410 0 669331 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 2695432 KiB
Current children cumulated memory: 634516 KiB


################
# More data... #
################

Current children cumulated memory: 708956 KiB

[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/199 28847
/proc/meminfo: memFree=28815480/32770624 swapFree=66920992/67108860
[pid=28626] ppid=28623 vsize=2583920 memory=593652 CPUtime=1362.15 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 696338 0 0 0 136015 200 0 0 20 0 1 0 409172993 2645934080 148413 33554432000 4194304 5870510 140736467724208 140736467722568 140303450843726 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 645980 148413 993 410 0 641453 0
Current children cumulated CPU time: 1362.15 s
Current children cumulated vsize: 2583920 KiB
Current children cumulated memory: 593652 KiB

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 28851
/proc/meminfo: memFree=28782468/32770624 swapFree=66920992/67108860
[pid=28626] ppid=28623 vsize=2583920 memory=626576 CPUtime=1422.15 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 707987 0 0 0 142008 207 0 0 20 0 1 0 409172993 2645934080 156644 33554432000 4194304 5870510 140736467724208 140736467723224 5262797 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 645980 156644 993 410 0 641453 0
Current children cumulated CPU time: 1422.15 s
Current children cumulated vsize: 2583920 KiB
Current children cumulated memory: 626576 KiB

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28857
/proc/meminfo: memFree=28765564/32770624 swapFree=66920992/67108860
[pid=28626] ppid=28623 vsize=2716180 memory=643372 CPUtime=1482.14 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 734458 0 0 0 147998 216 0 0 20 0 1 0 409172993 2781368320 160843 33554432000 4194304 5870510 140736467724208 140736467723160 5282736 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 679045 160843 993 410 0 674518 0
Current children cumulated CPU time: 1482.14 s
Current children cumulated vsize: 2716180 KiB
Current children cumulated memory: 643372 KiB

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28861
/proc/meminfo: memFree=28789472/32770624 swapFree=66920992/67108860
[pid=28626] ppid=28623 vsize=2585128 memory=622176 CPUtime=1542.13 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 757944 0 0 0 153987 226 0 0 20 0 1 0 409172993 2647171072 155544 33554432000 4194304 5870510 140736467724208 140736467723224 5282736 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 646282 155544 993 410 0 641755 0
Current children cumulated CPU time: 1542.13 s
Current children cumulated vsize: 2585128 KiB
Current children cumulated memory: 622176 KiB

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28865
/proc/meminfo: memFree=28789828/32770624 swapFree=66920992/67108860
[pid=28626] ppid=28623 vsize=2587148 memory=620120 CPUtime=1602.13 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 764174 0 0 0 159981 232 0 0 20 0 1 0 409172993 2649239552 155030 33554432000 4194304 5870510 140736467724208 140736467722504 5262793 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 646787 155030 993 410 0 642260 0
Current children cumulated CPU time: 1602.13 s
Current children cumulated vsize: 2587148 KiB
Current children cumulated memory: 620120 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28872
/proc/meminfo: memFree=28715000/32770624 swapFree=66920992/67108860
[pid=28626] ppid=28623 vsize=2719912 memory=696080 CPUtime=1662.12 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 768752 0 0 0 165973 239 0 0 20 0 1 0 409172993 2785189888 174020 33554432000 4194304 5870510 140736467724208 140736467722504 5304200 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 679978 174020 993 410 0 675451 0
Current children cumulated CPU time: 1662.12 s
Current children cumulated vsize: 2719912 KiB
Current children cumulated memory: 696080 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 28876
/proc/meminfo: memFree=28676980/32770624 swapFree=66920992/67108860
[pid=28626] ppid=28623 vsize=2720700 memory=731776 CPUtime=1722.12 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 777651 0 0 0 171965 247 0 0 20 0 1 0 409172993 2785996800 182944 33554432000 4194304 5870510 140736467724208 140736467722504 5262800 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 680175 182944 993 410 0 675648 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 2720700 KiB
Current children cumulated memory: 731776 KiB

[startup+1744.58 s]
# the end of solver process 28626 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1741.86 s, system=2.54278 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1728 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 28876
/proc/meminfo: memFree=28656716/32770624 swapFree=66920992/67108860
[pid=28626] ppid=28623 vsize=2720700 memory=752256 CPUtime=1727.83 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 777662 0 0 0 172536 247 0 0 20 0 1 0 409172993 2785996800 188064 33554432000 4194304 5870510 140736467724208 140736467722504 5282295 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 680175 188064 993 410 0 675648 0
Current children cumulated CPU time: 1727.83 s
Current children cumulated vsize: 2720700 KiB
Current children cumulated memory: 752256 KiB

[startup+1734.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 28876
/proc/meminfo: memFree=28636216/32770624 swapFree=66920992/67108860
[pid=28626] ppid=28623 vsize=2720700 memory=772736 CPUtime=1734.22 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 777682 0 0 0 173175 247 0 0 20 0 1 0 409172993 2785996800 193184 33554432000 4194304 5870510 140736467724208 140736467722504 5282367 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 680175 193184 993 410 0 675648 0
Current children cumulated CPU time: 1734.22 s
Current children cumulated vsize: 2720700 KiB
Current children cumulated memory: 772736 KiB

[startup+1740.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 28876
/proc/meminfo: memFree=28753704/32770624 swapFree=66920992/67108860
[pid=28626] ppid=28623 vsize=2720700 memory=657420 CPUtime=1740.62 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 780687 0 0 0 173809 253 0 0 20 0 1 0 409172993 2785996800 164355 33554432000 4194304 5870510 140736467724208 140736467723224 5262777 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 680175 164355 993 410 0 675648 0
Current children cumulated CPU time: 1740.62 s
Current children cumulated vsize: 2720700 KiB
Current children cumulated memory: 657420 KiB

[startup+1742.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 28876
/proc/meminfo: memFree=28749608/32770624 swapFree=66920992/67108860
[pid=28626] ppid=28623 vsize=2720700 memory=659468 CPUtime=1742.22 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 781344 0 0 0 173969 253 0 0 20 0 1 0 409172993 2785996800 164867 33554432000 4194304 5870510 140736467724208 140736467723224 5262731 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 680175 164867 993 410 0 675648 0
Current children cumulated CPU time: 1742.22 s
Current children cumulated vsize: 2720700 KiB
Current children cumulated memory: 659468 KiB

[startup+1743.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 28876
/proc/meminfo: memFree=28747560/32770624 swapFree=66920992/67108860
[pid=28626] ppid=28623 vsize=2720700 memory=661520 CPUtime=1743.02 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 782643 0 0 0 174049 253 0 0 20 0 1 0 409172993 2785996800 165380 33554432000 4194304 5870510 140736467724208 140736467723224 5262718 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 680175 165380 993 410 0 675648 0
Current children cumulated CPU time: 1743.02 s
Current children cumulated vsize: 2720700 KiB
Current children cumulated memory: 661520 KiB

[startup+1744 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 28876
/proc/meminfo: memFree=28745512/32770624 swapFree=66920992/67108860
[pid=28626] ppid=28623 vsize=2720700 memory=663568 CPUtime=1743.82 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 782753 0 0 0 174129 253 0 0 20 0 1 0 409172993 2785996800 165892 33554432000 4194304 5870510 140736467724208 140736467723224 5263036 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 680175 165892 993 410 0 675648 0
Current children cumulated CPU time: 1743.82 s
Current children cumulated vsize: 2720700 KiB
Current children cumulated memory: 663568 KiB

[startup+1744.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 28876
/proc/meminfo: memFree=28745512/32770624 swapFree=66920992/67108860
[pid=28626] ppid=28623 vsize=2720700 memory=663572 CPUtime=1744.22 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 782787 0 0 0 174169 253 0 0 20 0 1 0 409172993 2785996800 165893 33554432000 4194304 5870510 140736467724208 140736467723224 140303450846118 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 680175 165893 993 410 0 675648 0
Current children cumulated CPU time: 1744.22 s
Current children cumulated vsize: 2720700 KiB
Current children cumulated memory: 663572 KiB

[startup+1744.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 28876
/proc/meminfo: memFree=28745512/32770624 swapFree=66920992/67108860
[pid=28626] ppid=28623 vsize=2720700 memory=663572 CPUtime=1744.32 cores=1,3,5,7
/proc/28626/stat : 28626 (xcsp_picat) R 28623 28626 27155 0 -1 4202496 782787 0 0 0 174179 253 0 0 20 0 1 0 409172993 2785996800 165893 33554432000 4194304 5870510 140736467724208 140736467723224 5258768 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 22413312 140736467727391 140736467727469 140736467727469 140736467730378 0
/proc/28626/statm: 680175 165893 993 410 0 675648 0
Current children cumulated CPU time: 1744.32 s
Current children cumulated vsize: 2720700 KiB
Current children cumulated memory: 663572 KiB

Child status: 0
Real time (s): 1744.58
CPU time (s): 1744.41
CPU user time (s): 1741.86
CPU system time (s): 2.54278
CPU usage (%): 99.9902
Max. virtual memory (cumulated for all children) (KiB): 3279500
Max. memory (cumulated for all children) (KiB): 1131624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1741.86
system time used= 2.54278
maximum resident set size= 1131624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 782926
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= 56
involuntary context switches= 570


# summary of solver processes directly reported to runsolver:
#   pid: 28626
#   total CPU time (s): 1744.41
#   total CPU user time (s): 1741.86
#   total CPU system time (s): 2.54278

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.03936 second user time and 11.6554 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-12 23:57:33
IDJOB=4395025
IDBENCH=125570
IDSOLVER=2844
FILE ID=node107/4395025-1568329169
RUNJOBID= node107-1568318150-27187
PBS_JOBID= 21701137
Free space on /tmp= 55704 MiB

SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-02-09.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395025-1568329169/watcher-4395025-1568329169 -o /tmp/evaluation-result-4395025-1568329169/solver-4395025-1568329169 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568318150-27187 --watchdog 2580  xcsp_picat HOME/instance-4395025-1568329169.xml

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

MD5SUM BENCH= 51af40833062bacbe569ad61b7e4d8a4
RANDOM SEED=1399651993

node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30020588 kB
MemAvailable:   30363624 kB
Buffers:          122272 kB
Cached:           490324 kB
SwapCached:        80308 kB
Active:          1817060 kB
Inactive:         342488 kB
Active(anon):    1476364 kB
Inactive(anon):   100300 kB
Active(file):     340696 kB
Inactive(file):   242188 kB
Unevictable:      110040 kB
Mlocked:          110040 kB
SwapTotal:      67108860 kB
SwapFree:       66920952 kB
Dirty:              3136 kB
Writeback:             0 kB
AnonPages:       1567888 kB
Mapped:            34836 kB
Shmem:             20700 kB
Slab:             180760 kB
SReclaimable:     151976 kB
SUnreclaim:        28784 kB
KernelStack:        3520 kB
PageTables:         8496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3569996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1290240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 55700 MiB
End job on node107 at 2019-09-13 00:26:38