runsolver version 3.4.2 (svn: 4680) 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: 64096 MiB (61930 MiB free)
  memory of node 1: 64473 MiB (63450 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438344-1722959026/watcher-4438344-1722959026 -o /tmp/evaluation-result-4438344-1722959026/solver-4438344-1722959026 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722959025-340265 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438344-1722959026.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=340318, runsolver pid=340312
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 2.13 3.17 3.72 5/253 340339
/proc/meminfo: memFree=128365864/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62273683 10170368 680 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 680 602 264 0 134 0
[pid=340325] ppid=340318 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/340325/stat : 340325 (timeout) S 340318 340325 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 245 134679101440 94405395181568 94405395216584 140729517523328 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94405397314000 94405397316132 94405403353088 140729517528076 140729517528221 140729517528221 140729517535207 0
/proc/340325/statm: 2165 245 220 9 0 87 0
[pid=340329] ppid=340325 vsize=28644 memory=10188 CPUtime=0.09 cores=1,3
/proc/340329/stat : 340329 (CASHWMaxSAT-Dis) R 340325 340325 340253 0 -1 4194304 1917 0 0 0 9 0 0 0 20 0 1 0 62273684 29331456 2547 134679101440 4194304 14093885 140726765570240 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41611264 140726765577234 140726765577366 140726765577366 140726765584352 0
/proc/340329/statm: 7161 2547 750 2417 0 4263 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47236 KiB
Current children cumulated memory: 13888 KiB

[startup+0.214947 s]*
/proc/loadavg: 2.13 3.17 3.72 6/253 340339
/proc/meminfo: memFree=128332640/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62273683 10170368 680 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 680 602 264 0 134 0
[pid=340325] ppid=340318 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/340325/stat : 340325 (timeout) S 340318 340325 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 245 134679101440 94405395181568 94405395216584 140729517523328 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94405397314000 94405397316132 94405403353088 140729517528076 140729517528221 140729517528221 140729517535207 0
/proc/340325/statm: 2165 245 220 9 0 87 0
[pid=340329] ppid=340325 vsize=35904 memory=17508 CPUtime=0.21 cores=1,3
/proc/340329/stat : 340329 (CASHWMaxSAT-Dis) R 340325 340325 340253 0 -1 4194304 3695 0 0 0 20 1 0 0 20 0 1 0 62273684 36765696 4377 134679101440 4194304 14093885 140726765570240 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41611264 140726765577234 140726765577366 140726765577366 140726765584352 0
/proc/340329/statm: 8976 4377 750 2417 0 6078 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 21208 KiB

[startup+0.314266 s]*
/proc/loadavg: 2.13 3.17 3.72 5/253 340339
/proc/meminfo: memFree=128305460/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62273683 10170368 680 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 680 602 264 0 134 0
[pid=340325] ppid=340318 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/340325/stat : 340325 (timeout) S 340318 340325 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 245 134679101440 94405395181568 94405395216584 140729517523328 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94405397314000 94405397316132 94405403353088 140729517528076 140729517528221 140729517528221 140729517535207 0
/proc/340325/statm: 2165 245 220 9 0 87 0
[pid=340329] ppid=340325 vsize=42908 memory=24372 CPUtime=0.31 cores=1,3
/proc/340329/stat : 340329 (CASHWMaxSAT-Dis) R 340325 340325 340253 0 -1 4194304 5435 0 0 0 30 1 0 0 20 0 1 0 62273684 43937792 6093 134679101440 4194304 14093885 140726765570240 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41611264 140726765577234 140726765577366 140726765577366 140726765584352 0
/proc/340329/statm: 10727 6093 750 2417 0 7829 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 61500 KiB
Current children cumulated memory: 28072 KiB

[startup+0.700472 s]
/proc/loadavg: 2.13 3.17 3.72 5/253 340339
/proc/meminfo: memFree=128261996/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62273683 10170368 680 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 680 602 264 0 134 0
[pid=340325] ppid=340318 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/340325/stat : 340325 (timeout) S 340318 340325 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 245 134679101440 94405395181568 94405395216584 140729517523328 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94405397314000 94405397316132 94405403353088 140729517528076 140729517528221 140729517528221 140729517535207 0
/proc/340325/statm: 2165 245 220 9 0 87 0
[pid=340329] ppid=340325 vsize=69880 memory=51224 CPUtime=0.67 cores=1,3
/proc/340329/stat : 340329 (CASHWMaxSAT-Dis) R 340325 340325 340253 0 -1 4194304 12178 0 0 0 64 3 0 0 20 0 1 0 62273684 71557120 12806 134679101440 4194304 14093885 140726765570240 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41611264 140726765577234 140726765577366 140726765577366 140726765584352 0
/proc/340329/statm: 17470 12806 750 2417 0 14572 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 88472 KiB
Current children cumulated memory: 54924 KiB

[startup+1.50055 s]
/proc/loadavg: 2.13 3.17 3.72 8/253 340339
/proc/meminfo: memFree=128055920/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62273683 10170368 680 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 680 602 264 0 134 0
[pid=340325] ppid=340318 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/340325/stat : 340325 (timeout) S 340318 340325 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 245 134679101440 94405395181568 94405395216584 140729517523328 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94405397314000 94405397316132 94405403353088 140729517528076 140729517528221 140729517528221 140729517535207 0
/proc/340325/statm: 2165 245 220 9 0 87 0
[pid=340329] ppid=340325 vsize=215068 memory=204136 CPUtime=1.47 cores=1,3
/proc/340329/stat : 340329 (CASHWMaxSAT-Dis) R 340325 340325 340253 0 -1 4194304 49250 0 0 0 135 12 0 0 20 0 1 0 62273684 220229632 51034 134679101440 4194304 14093885 140726765570240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41611264 140726765577234 140726765577366 140726765577366 140726765584352 0
/proc/340329/statm: 53767 51034 2350 2417 0 50869 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 233660 KiB
Current children cumulated memory: 207836 KiB

[startup+3.11418 s]
/proc/loadavg: 2.36 3.20 3.73 5/253 340341
/proc/meminfo: memFree=127188716/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62273683 10170368 680 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 680 602 264 0 134 0
[pid=340325] ppid=340318 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/340325/stat : 340325 (timeout) S 340318 340325 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 245 134679101440 94405395181568 94405395216584 140729517523328 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94405397314000 94405397316132 94405403353088 140729517528076 140729517528221 140729517528221 140729517535207 0
/proc/340325/statm: 2165 245 220 9 0 87 0
[pid=340329] ppid=340325 vsize=453732 memory=423860 CPUtime=3.08 cores=1,3
/proc/340329/stat : 340329 (CASHWMaxSAT-Dis) R 340325 340325 340253 0 -1 4194304 67309 0 0 0 288 20 0 0 20 0 1 0 62273684 464621568 105965 134679101440 4194304 14093885 140726765570240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41611264 140726765577234 140726765577366 140726765577366 140726765584352 0
/proc/340329/statm: 113433 105965 2414 2417 0 110535 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 472324 KiB
Current children cumulated memory: 427560 KiB

[startup+6.30039 s]
/proc/loadavg: 2.36 3.20 3.73 5/253 340341
/proc/meminfo: memFree=127057756/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62273683 10170368 680 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 680 602 264 0 134 0
[pid=340325] ppid=340318 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/340325/stat : 340325 (timeout) S 340318 340325 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 245 134679101440 94405395181568 94405395216584 140729517523328 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94405397314000 94405397316132 94405403353088 140729517528076 140729517528221 140729517528221 140729517535207 0
/proc/340325/statm: 2165 245 220 9 0 87 0
[pid=340329] ppid=340325 vsize=571596 memory=526048 CPUtime=6.26 cores=1,3
/proc/340329/stat : 340329 (CASHWMaxSAT-Dis) R 340325 340325 340253 0 -1 4194304 91822 0 0 0 602 24 0 0 20 0 1 0 62273684 585314304 131512 134679101440 4194304 14093885 140726765570240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41611264 140726765577234 140726765577366 140726765577366 140726765584352 0
/proc/340329/statm: 142899 131512 2526 2417 0 140001 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 590188 KiB
Current children cumulated memory: 529748 KiB

[startup+12.7004 s]
/proc/loadavg: 2.50 3.22 3.73 5/253 340342
/proc/meminfo: memFree=126991248/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62273683 10170368 680 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 680 602 264 0 134 0
[pid=340325] ppid=340318 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/340325/stat : 340325 (timeout) S 340318 340325 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 245 134679101440 94405395181568 94405395216584 140729517523328 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94405397314000 94405397316132 94405403353088 140729517528076 140729517528221 140729517528221 140729517535207 0
/proc/340325/statm: 2165 245 220 9 0 87 0
[pid=340329] ppid=340325 vsize=590448 memory=528128 CPUtime=12.64 cores=1,3
/proc/340329/stat : 340329 (CASHWMaxSAT-Dis) R 340325 340325 340253 0 -1 4194304 92348 0 0 0 1240 24 0 0 20 0 1 0 62273684 604618752 132032 134679101440 4194304 14093885 140726765570240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41611264 140726765577234 140726765577366 140726765577366 140726765584352 0
/proc/340329/statm: 147612 132032 2526 2417 0 144714 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 609040 KiB
Current children cumulated memory: 531828 KiB

[startup+25.5005 s]
/proc/loadavg: 2.83 3.26 3.74 5/253 340344
/proc/meminfo: memFree=126949820/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62273683 10170368 680 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 680 602 264 0 134 0
[pid=340325] ppid=340318 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/340325/stat : 340325 (timeout) S 340318 340325 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 245 134679101440 94405395181568 94405395216584 140729517523328 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94405397314000 94405397316132 94405403353088 140729517528076 140729517528221 140729517528221 140729517535207 0
/proc/340325/statm: 2165 245 220 9 0 87 0
[pid=340329] ppid=340325 vsize=678564 memory=540312 CPUtime=25.41 cores=1,3
/proc/340329/stat : 340329 (CASHWMaxSAT-Dis) R 340325 340325 340253 0 -1 4194304 93849 0 0 0 2516 25 0 0 20 0 1 0 62273684 694849536 135078 134679101440 4194304 14093885 140726765570240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41611264 140726765577234 140726765577366 140726765577366 140726765584352 0
/proc/340329/statm: 169641 135078 2526 2417 0 166743 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 697156 KiB
Current children cumulated memory: 544012 KiB

[startup+51.114 s]
/proc/loadavg: 3.31 3.33 3.75 6/253 340348
/proc/meminfo: memFree=126678032/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62273683 10170368 680 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 680 602 264 0 134 0
[pid=340325] ppid=340318 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/340325/stat : 340325 (timeout) S 340318 340325 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273683 8867840 245 134679101440 94405395181568 94405395216584 140729517523328 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94405397314000 94405397316132 94405403353088 140729517528076 140729517528221 140729517528221 140729517535207 0
/proc/340325/statm: 2165 245 220 9 0 87 0
[pid=340329] ppid=340325 vsize=858532 memory=655752 CPUtime=50.94 cores=1,3
/proc/340329/stat : 340329 (CASHWMaxSAT-Dis) R 340325 340325 340253 0 -1 4194304 121738 0 0 0 5065 29 0 0 20 0 1 0 62273684 879136768 163938 134679101440 4194304 14093885 140726765570240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41611264 140726765577234 140726765577366 140726765577366 140726765584352 0
/proc/340329/statm: 214633 163938 2526 2417 0 211735 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 877124 KiB
Current children cumulated memory: 659452 KiB

[startup+102.301 s]
/proc/loadavg: 3.86 3.48 3.78 5/253 340358
/proc/meminfo: memFree=126593804/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62273683 10170368 680 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0

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

/proc/341250/statm: 41199 36237 748 737 0 40287 0
Current children cumulated CPU time: 3392.67 s
Current children cumulated vsize: 183388 KiB
Current children cumulated memory: 148704 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/251 342176
/proc/meminfo: memFree=127875564/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2784 CPUtime=1792.99 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 276 330636 0 0 0 0 179228 71 20 0 1 0 62273683 10170368 696 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 696 602 264 0 134 0
[pid=341249] ppid=340318 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/341249/stat : 341249 (timeout) S 340318 341249 340253 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62453485 8867840 243 134679101440 94384194109440 94384194144456 140726560576512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94384196241872 94384196244004 94384204152832 140726560580596 140726560580765 140726560580765 140726560587751 0
/proc/341249/statm: 2165 243 219 9 0 87 0
[pid=341250] ppid=341249 vsize=164796 memory=144952 CPUtime=1659.53 cores=1,3
/proc/341250/stat : 341250 (Exact) R 341249 341249 340253 0 -1 4194304 19160 0 0 0 165947 6 0 0 20 0 1 0 62453485 168751104 36238 134679101440 4194304 7210733 140724231931728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 25616384 140724231934992 140724231935142 140724231935142 140724231942128 0
/proc/341250/statm: 41199 36238 748 737 0 40287 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 183388 KiB
Current children cumulated memory: 148708 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/251 342187
/proc/meminfo: memFree=127874216/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2784 CPUtime=1792.99 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 276 330636 0 0 0 0 179228 71 20 0 1 0 62273683 10170368 696 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 696 602 264 0 134 0
[pid=341249] ppid=340318 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/341249/stat : 341249 (timeout) S 340318 341249 340253 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62453485 8867840 243 134679101440 94384194109440 94384194144456 140726560576512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94384196241872 94384196244004 94384204152832 140726560580596 140726560580765 140726560580765 140726560587751 0
/proc/341249/statm: 2165 243 219 9 0 87 0
[pid=341250] ppid=341249 vsize=164796 memory=144952 CPUtime=1719.4 cores=1,3
/proc/341250/stat : 341250 (Exact) R 341249 341249 340253 0 -1 4194304 19237 0 0 0 171933 7 0 0 20 0 1 0 62453485 168751104 36238 134679101440 4194304 7210733 140724231931728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 25616384 140724231934992 140724231935142 140724231935142 140724231942128 0
/proc/341250/statm: 41199 36238 748 737 0 40287 0
Current children cumulated CPU time: 3512.39 s
Current children cumulated vsize: 183388 KiB
Current children cumulated memory: 148708 KiB

[startup+3582.3 s]
/proc/loadavg: 4.26 4.16 4.17 5/251 342199
/proc/meminfo: memFree=127872304/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2784 CPUtime=1792.99 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 276 330636 0 0 0 0 179228 71 20 0 1 0 62273683 10170368 696 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 696 602 264 0 134 0
[pid=341249] ppid=340318 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/341249/stat : 341249 (timeout) S 340318 341249 340253 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62453485 8867840 243 134679101440 94384194109440 94384194144456 140726560576512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94384196241872 94384196244004 94384204152832 140726560580596 140726560580765 140726560580765 140726560587751 0
/proc/341249/statm: 2165 243 219 9 0 87 0
[pid=341250] ppid=341249 vsize=165736 memory=145080 CPUtime=1779.25 cores=1,3
/proc/341250/stat : 341250 (Exact) R 341249 341249 340253 0 -1 4194304 19320 0 0 0 177918 7 0 0 20 0 1 0 62453485 169713664 36270 134679101440 4194304 7210733 140724231931728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 25616384 140724231934992 140724231935142 140724231935142 140724231942128 0
/proc/341250/statm: 41434 36270 748 737 0 40522 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 184328 KiB
Current children cumulated memory: 148836 KiB

[startup+3596.06 s]
# the end of solver process 340318 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3585.19 s, system=0.809695 s

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

[startup+3584 s]*
/proc/loadavg: 4.24 4.15 4.16 5/251 342199
/proc/meminfo: memFree=127872332/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2784 CPUtime=1792.99 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 276 330636 0 0 0 0 179228 71 20 0 1 0 62273683 10170368 696 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 696 602 264 0 134 0
[pid=341249] ppid=340318 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/341249/stat : 341249 (timeout) S 340318 341249 340253 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62453485 8867840 243 134679101440 94384194109440 94384194144456 140726560576512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94384196241872 94384196244004 94384204152832 140726560580596 140726560580765 140726560580765 140726560587751 0
/proc/341249/statm: 2165 243 219 9 0 87 0
[pid=341250] ppid=341249 vsize=165736 memory=145080 CPUtime=1780.96 cores=1,3
/proc/341250/stat : 341250 (Exact) R 341249 341249 340253 0 -1 4194304 19320 0 0 0 178089 7 0 0 20 0 1 0 62453485 169713664 36270 134679101440 4194304 7210733 140724231931728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 25616384 140724231934992 140724231935142 140724231935142 140724231942128 0
/proc/341250/statm: 41434 36270 748 737 0 40522 0
Current children cumulated CPU time: 3573.95 s
Current children cumulated vsize: 184328 KiB
Current children cumulated memory: 148836 KiB

[startup+3590.4 s]
/proc/loadavg: 4.22 4.15 4.16 5/251 342199
/proc/meminfo: memFree=127872360/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2784 CPUtime=1792.99 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 276 330636 0 0 0 0 179228 71 20 0 1 0 62273683 10170368 696 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 696 602 264 0 134 0
[pid=341249] ppid=340318 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/341249/stat : 341249 (timeout) S 340318 341249 340253 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62453485 8867840 243 134679101440 94384194109440 94384194144456 140726560576512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94384196241872 94384196244004 94384204152832 140726560580596 140726560580765 140726560580765 140726560587751 0
/proc/341249/statm: 2165 243 219 9 0 87 0
[pid=341250] ppid=341249 vsize=165736 memory=145080 CPUtime=1787.33 cores=1,3
/proc/341250/stat : 341250 (Exact) R 341249 341249 340253 0 -1 4194304 19323 0 0 0 178726 7 0 0 20 0 1 0 62453485 169713664 36270 134679101440 4194304 7210733 140724231931728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 25616384 140724231934992 140724231935142 140724231935142 140724231942128 0
/proc/341250/statm: 41434 36270 748 737 0 40522 0
Current children cumulated CPU time: 3580.32 s
Current children cumulated vsize: 184328 KiB
Current children cumulated memory: 148836 KiB

[startup+3593.6 s]
/proc/loadavg: 4.22 4.15 4.16 5/251 342200
/proc/meminfo: memFree=127872216/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2784 CPUtime=1792.99 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 276 330636 0 0 0 0 179228 71 20 0 1 0 62273683 10170368 696 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 696 602 264 0 134 0
[pid=341249] ppid=340318 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/341249/stat : 341249 (timeout) S 340318 341249 340253 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62453485 8867840 243 134679101440 94384194109440 94384194144456 140726560576512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94384196241872 94384196244004 94384204152832 140726560580596 140726560580765 140726560580765 140726560587751 0
/proc/341249/statm: 2165 243 219 9 0 87 0
[pid=341250] ppid=341249 vsize=165736 memory=145080 CPUtime=1790.52 cores=1,3
/proc/341250/stat : 341250 (Exact) R 341249 341249 340253 0 -1 4194304 19324 0 0 0 179045 7 0 0 20 0 1 0 62453485 169713664 36270 134679101440 4194304 7210733 140724231931728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 25616384 140724231934992 140724231935142 140724231935142 140724231942128 0
/proc/341250/statm: 41434 36270 748 737 0 40522 0
Current children cumulated CPU time: 3583.51 s
Current children cumulated vsize: 184328 KiB
Current children cumulated memory: 148836 KiB

[startup+3595.2 s]
/proc/loadavg: 4.20 4.15 4.16 5/251 342200
/proc/meminfo: memFree=127872224/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2784 CPUtime=1792.99 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 276 330636 0 0 0 0 179228 71 20 0 1 0 62273683 10170368 696 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 696 602 264 0 134 0
[pid=341249] ppid=340318 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/341249/stat : 341249 (timeout) S 340318 341249 340253 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62453485 8867840 243 134679101440 94384194109440 94384194144456 140726560576512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94384196241872 94384196244004 94384204152832 140726560580596 140726560580765 140726560580765 140726560587751 0
/proc/341249/statm: 2165 243 219 9 0 87 0
[pid=341250] ppid=341249 vsize=165736 memory=145080 CPUtime=1792.12 cores=1,3
/proc/341250/stat : 341250 (Exact) R 341249 341249 340253 0 -1 4194304 19324 0 0 0 179205 7 0 0 20 0 1 0 62453485 169713664 36270 134679101440 4194304 7210733 140724231931728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 25616384 140724231934992 140724231935142 140724231935142 140724231942128 0
/proc/341250/statm: 41434 36270 748 737 0 40522 0
Current children cumulated CPU time: 3585.11 s
Current children cumulated vsize: 184328 KiB
Current children cumulated memory: 148836 KiB

[startup+3595.6 s]
/proc/loadavg: 4.20 4.15 4.16 5/251 342200
/proc/meminfo: memFree=127872224/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2784 CPUtime=1792.99 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 276 330636 0 0 0 0 179228 71 20 0 1 0 62273683 10170368 696 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 696 602 264 0 134 0
[pid=341249] ppid=340318 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/341249/stat : 341249 (timeout) S 340318 341249 340253 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62453485 8867840 243 134679101440 94384194109440 94384194144456 140726560576512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94384196241872 94384196244004 94384204152832 140726560580596 140726560580765 140726560580765 140726560587751 0
/proc/341249/statm: 2165 243 219 9 0 87 0
[pid=341250] ppid=341249 vsize=165736 memory=145080 CPUtime=1792.52 cores=1,3
/proc/341250/stat : 341250 (Exact) R 341249 341249 340253 0 -1 4194304 19325 0 0 0 179245 7 0 0 20 0 1 0 62453485 169713664 36270 134679101440 4194304 7210733 140724231931728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 25616384 140724231934992 140724231935142 140724231935142 140724231942128 0
/proc/341250/statm: 41434 36270 748 737 0 40522 0
Current children cumulated CPU time: 3585.51 s
Current children cumulated vsize: 184328 KiB
Current children cumulated memory: 148836 KiB

[startup+3596 s]*
/proc/loadavg: 4.20 4.15 4.16 4/247 342222
/proc/meminfo: memFree=127974468/131655788 swapFree=131071996/131071996
[pid=340318] ppid=340312 vsize=9932 memory=2784 CPUtime=1792.99 cores=1,3
/proc/340318/stat : 340318 (Hybrid-CASHWMax) S 340312 340318 340253 0 -1 4194304 276 330636 0 0 0 0 179228 71 20 0 1 0 62273683 10170368 696 134679101440 94236885766144 94236886845464 140727788311680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94236888943920 94236888991108 94236910665728 140727788315600 140727788315758 140727788315758 140727788322773 0
/proc/340318/statm: 2483 696 602 264 0 134 0
[pid=341249] ppid=340318 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/341249/stat : 341249 (timeout) S 340318 341249 340253 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62453485 8867840 243 134679101440 94384194109440 94384194144456 140726560576512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94384196241872 94384196244004 94384204152832 140726560580596 140726560580765 140726560580765 140726560587751 0
/proc/341249/statm: 2165 243 219 9 0 87 0
[pid=341250] ppid=341249 vsize=165736 memory=145080 CPUtime=1792.93 cores=1,3
/proc/341250/stat : 341250 (Exact) R 341249 341249 340253 0 -1 4194304 19325 0 0 0 179286 7 0 0 20 0 1 0 62453485 169713664 36270 134679101440 4194304 7210733 140724231931728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 25616384 140724231934992 140724231935142 140724231935142 140724231942128 0
/proc/341250/statm: 41434 36270 748 737 0 40522 0
Current children cumulated CPU time: 3585.92 s
Current children cumulated vsize: 184328 KiB
Current children cumulated memory: 148836 KiB

Child status: 0

Real time (s): 3596.06
CPU time (s): 3586
CPU user time (s): 3585.19
CPU system time (s): 0.809695
CPU usage (%): 99.7202
Max. virtual memory (cumulated for all children) (KiB): 1766452
Max. memory (cumulated for all children) (KiB): 1485320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.19
system time used= 0.809695
maximum resident set size= 1481620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353220
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 190
involuntary context switches= 5189


# summary of solver processes directly reported to runsolver:
#   pid: 340318
#   total CPU time (s): 3586
#   total CPU user time (s): 3585.19
#   total CPU system time (s): 0.809695

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7016 second user time and 39.9035 second system time

The end