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: 63931 MiB (62275 MiB free)
  memory of node 1: 64510 MiB (59770 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436672-1722951810/watcher-4436672-1722951810 -o /tmp/evaluation-result-4436672-1722951810/solver-4436672-1722951810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722948202-336756 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436672-1722951810.opb 3600 HOME 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=339401, runsolver pid=339398
Current StackSize limit: 8192 KiB


[startup+0.100084 s]*
/proc/loadavg: 4.09 4.22 4.10 5/265 339405
/proc/meminfo: memFree=124970284/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61782669 10170368 687 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 687 609 264 0 134 0
[pid=339404] ppid=339401 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/339404/stat : 339404 (timeout) S 339401 339404 336743 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61782669 8867840 230 134679101440 94370761781248 94370761816264 140730443591296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94370763913680 94370763915812 94370768576512 140730443596825 140730443596957 140730443596957 140730443603943 0
/proc/339404/statm: 2165 230 205 9 0 87 0
[pid=339405] ppid=339404 vsize=21196 memory=7436 CPUtime=0.09 cores=5,7
/proc/339405/stat : 339405 (CASHWMaxSAT-Dis) R 339404 339404 336743 0 -1 4194304 1164 0 0 0 9 0 0 0 20 0 1 0 61782669 21704704 1859 134679101440 4194304 14093885 140736189288544 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 51019776 140736189293599 140736189293718 140736189293718 140736189300704 0
/proc/339405/statm: 5299 1859 782 2417 0 2401 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39788 KiB
Current children cumulated memory: 11104 KiB

[startup+0.204631 s]*
/proc/loadavg: 4.09 4.22 4.10 5/265 339405
/proc/meminfo: memFree=124966416/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61782669 10170368 687 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 687 609 264 0 134 0
[pid=339404] ppid=339401 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/339404/stat : 339404 (timeout) S 339401 339404 336743 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61782669 8867840 230 134679101440 94370761781248 94370761816264 140730443591296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94370763913680 94370763915812 94370768576512 140730443596825 140730443596957 140730443596957 140730443603943 0
/proc/339404/statm: 2165 230 205 9 0 87 0
[pid=339405] ppid=339404 vsize=21196 memory=7436 CPUtime=0.2 cores=5,7
/proc/339405/stat : 339405 (CASHWMaxSAT-Dis) R 339404 339404 336743 0 -1 4194304 1178 0 0 0 20 0 0 0 20 0 1 0 61782669 21704704 1859 134679101440 4194304 14093885 140736189288544 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 51019776 140736189293599 140736189293718 140736189293718 140736189300704 0
/proc/339405/statm: 5299 1859 782 2417 0 2401 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39788 KiB
Current children cumulated memory: 11104 KiB

[startup+0.304491 s]*
/proc/loadavg: 4.09 4.22 4.10 5/265 339405
/proc/meminfo: memFree=124962568/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61782669 10170368 687 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 687 609 264 0 134 0
[pid=339404] ppid=339401 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/339404/stat : 339404 (timeout) S 339401 339404 336743 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61782669 8867840 230 134679101440 94370761781248 94370761816264 140730443591296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94370763913680 94370763915812 94370768576512 140730443596825 140730443596957 140730443596957 140730443603943 0
/proc/339404/statm: 2165 230 205 9 0 87 0
[pid=339405] ppid=339404 vsize=25280 memory=11392 CPUtime=0.3 cores=5,7
/proc/339405/stat : 339405 (CASHWMaxSAT-Dis) R 339404 339404 336743 0 -1 4194304 2175 0 0 0 30 0 0 0 20 0 1 0 61782669 25886720 2848 134679101440 4194304 14093885 140736189288544 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 51019776 140736189293599 140736189293718 140736189293718 140736189300704 0
/proc/339405/statm: 6320 2848 782 2417 0 3422 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43872 KiB
Current children cumulated memory: 15060 KiB

[startup+0.700199 s]
/proc/loadavg: 4.09 4.22 4.10 5/265 339405
/proc/meminfo: memFree=124956024/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61782669 10170368 687 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 687 609 264 0 134 0
[pid=339404] ppid=339401 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/339404/stat : 339404 (timeout) S 339401 339404 336743 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61782669 8867840 230 134679101440 94370761781248 94370761816264 140730443591296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94370763913680 94370763915812 94370768576512 140730443596825 140730443596957 140730443596957 140730443603943 0
/proc/339404/statm: 2165 230 205 9 0 87 0
[pid=339405] ppid=339404 vsize=38292 memory=23860 CPUtime=0.68 cores=5,7
/proc/339405/stat : 339405 (CASHWMaxSAT-Dis) R 339404 339404 336743 0 -1 4194304 5298 0 0 0 68 0 0 0 20 0 1 0 61782669 39211008 5965 134679101440 4194304 14093885 140736189288544 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 51019776 140736189293599 140736189293718 140736189293718 140736189300704 0
/proc/339405/statm: 9573 5965 798 2417 0 6675 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56884 KiB
Current children cumulated memory: 27528 KiB

[startup+1.50021 s]
/proc/loadavg: 4.09 4.22 4.10 5/265 339405
/proc/meminfo: memFree=124944572/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61782669 10170368 687 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 687 609 264 0 134 0
[pid=339404] ppid=339401 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/339404/stat : 339404 (timeout) S 339401 339404 336743 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61782669 8867840 230 134679101440 94370761781248 94370761816264 140730443591296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94370763913680 94370763915812 94370768576512 140730443596825 140730443596957 140730443596957 140730443603943 0
/proc/339404/statm: 2165 230 205 9 0 87 0
[pid=339405] ppid=339404 vsize=47432 memory=29336 CPUtime=1.48 cores=5,7
/proc/339405/stat : 339405 (CASHWMaxSAT-Dis) R 339404 339404 336743 0 -1 4194304 6172 0 0 0 148 0 0 0 20 0 1 0 61782669 48570368 7334 134679101440 4194304 14093885 140736189288544 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 51019776 140736189293599 140736189293718 140736189293718 140736189300704 0
/proc/339405/statm: 11858 7334 798 2417 0 8960 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 66024 KiB
Current children cumulated memory: 33004 KiB

[startup+3.10577 s]
/proc/loadavg: 4.08 4.21 4.10 5/265 339405
/proc/meminfo: memFree=124919600/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61782669 10170368 687 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 687 609 264 0 134 0
[pid=339404] ppid=339401 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/339404/stat : 339404 (timeout) S 339401 339404 336743 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61782669 8867840 230 134679101440 94370761781248 94370761816264 140730443591296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94370763913680 94370763915812 94370768576512 140730443596825 140730443596957 140730443596957 140730443603943 0
/proc/339404/statm: 2165 230 205 9 0 87 0
[pid=339405] ppid=339404 vsize=51828 memory=37376 CPUtime=3.08 cores=5,7
/proc/339405/stat : 339405 (CASHWMaxSAT-Dis) R 339404 339404 336743 0 -1 4194304 7132 0 0 0 307 1 0 0 20 0 1 0 61782669 53071872 9344 134679101440 4194304 14093885 140736189288544 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 51019776 140736189293599 140736189293718 140736189293718 140736189300704 0
/proc/339405/statm: 12957 9344 798 2417 0 10059 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 70420 KiB
Current children cumulated memory: 41044 KiB

[startup+6.30028 s]
/proc/loadavg: 4.08 4.21 4.10 5/265 339407
/proc/meminfo: memFree=124892488/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61782669 10170368 687 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 687 609 264 0 134 0
[pid=339404] ppid=339401 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/339404/stat : 339404 (timeout) S 339401 339404 336743 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61782669 8867840 230 134679101440 94370761781248 94370761816264 140730443591296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94370763913680 94370763915812 94370768576512 140730443596825 140730443596957 140730443596957 140730443603943 0
/proc/339404/statm: 2165 230 205 9 0 87 0
[pid=339405] ppid=339404 vsize=47536 memory=32848 CPUtime=6.27 cores=5,7
/proc/339405/stat : 339405 (CASHWMaxSAT-Dis) R 339404 339404 336743 0 -1 4194304 7752 0 0 0 626 1 0 0 20 0 1 0 61782669 48676864 8212 134679101440 4194304 14093885 140736189288544 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 51019776 140736189293599 140736189293718 140736189293718 140736189300704 0
/proc/339405/statm: 11884 8212 798 2417 0 8986 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 66128 KiB
Current children cumulated memory: 36516 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.22 4.10 5/266 339408
/proc/meminfo: memFree=124842912/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61782669 10170368 687 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 687 609 264 0 134 0
[pid=339404] ppid=339401 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/339404/stat : 339404 (timeout) S 339401 339404 336743 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61782669 8867840 230 134679101440 94370761781248 94370761816264 140730443591296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94370763913680 94370763915812 94370768576512 140730443596825 140730443596957 140730443596957 140730443603943 0
/proc/339404/statm: 2165 230 205 9 0 87 0
[pid=339405] ppid=339404 vsize=66364 memory=52060 CPUtime=12.65 cores=5,7
/proc/339405/stat : 339405 (CASHWMaxSAT-Dis) R 339404 339404 336743 0 -1 4194304 9042 0 0 0 1263 2 0 0 20 0 1 0 61782669 67956736 13015 134679101440 4194304 14093885 140736189288544 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 51019776 140736189293599 140736189293718 140736189293718 140736189300704 0
/proc/339405/statm: 16591 13015 798 2417 0 13693 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 84956 KiB
Current children cumulated memory: 55728 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.22 4.10 5/266 339409
/proc/meminfo: memFree=124821540/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61782669 10170368 687 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 687 609 264 0 134 0
[pid=339404] ppid=339401 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/339404/stat : 339404 (timeout) S 339401 339404 336743 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61782669 8867840 230 134679101440 94370761781248 94370761816264 140730443591296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94370763913680 94370763915812 94370768576512 140730443596825 140730443596957 140730443596957 140730443603943 0
/proc/339404/statm: 2165 230 205 9 0 87 0
[pid=339405] ppid=339404 vsize=66364 memory=52060 CPUtime=25.42 cores=5,7
/proc/339405/stat : 339405 (CASHWMaxSAT-Dis) R 339404 339404 336743 0 -1 4194304 9052 0 0 0 2540 2 0 0 20 0 1 0 61782669 67956736 13015 134679101440 4194304 14093885 140736189288544 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 51019776 140736189293599 140736189293718 140736189293718 140736189300704 0
/proc/339405/statm: 16591 13015 798 2417 0 13693 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 84956 KiB
Current children cumulated memory: 55728 KiB

[startup+51.1059 s]
/proc/loadavg: 4.16 4.21 4.10 5/266 339474
/proc/meminfo: memFree=124795300/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61782669 10170368 687 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 687 609 264 0 134 0
[pid=339404] ppid=339401 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/339404/stat : 339404 (timeout) S 339401 339404 336743 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61782669 8867840 230 134679101440 94370761781248 94370761816264 140730443591296 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94370763913680 94370763915812 94370768576512 140730443596825 140730443596957 140730443596957 140730443603943 0
/proc/339404/statm: 2165 230 205 9 0 87 0
[pid=339405] ppid=339404 vsize=66364 memory=52472 CPUtime=50.96 cores=5,7
/proc/339405/stat : 339405 (CASHWMaxSAT-Dis) R 339404 339404 336743 0 -1 4194304 9200 0 0 0 5094 2 0 0 20 0 1 0 61782669 67956736 13118 134679101440 4194304 14093885 140736189288544 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 51019776 140736189293599 140736189293718 140736189293718 140736189300704 0
/proc/339405/statm: 16591 13118 798 2417 0 13693 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 84956 KiB
Current children cumulated memory: 56140 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.17 4.09 5/266 339483
/proc/meminfo: memFree=124749240/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61782669 10170368 687 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0

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

/proc/340373/statm: 82824 81548 2849 2753 0 79477 0
Current children cumulated CPU time: 3393.61 s
Current children cumulated vsize: 349888 KiB
Current children cumulated memory: 329964 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/265 341294
/proc/meminfo: memFree=122928072/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2792 CPUtime=1792.98 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 267 16054 0 0 0 0 179291 7 20 0 1 0 61782669 10170368 698 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 698 609 264 0 134 0
[pid=340372] ppid=339401 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/340372/stat : 340372 (timeout) S 339401 340372 336743 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61962470 8867840 245 134679101440 94806353264640 94806353299656 140726991904672 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94806355397072 94806355399204 94806376497152 140726991914025 140726991914141 140726991914141 140726991921127 0
/proc/340372/statm: 2165 245 220 9 0 87 0
[pid=340373] ppid=340372 vsize=331296 memory=326192 CPUtime=1660.53 cores=5,7
/proc/340373/stat : 340373 (LS-MabSP) R 340372 340372 336743 0 -1 4194304 119182 0 0 0 162093 3960 0 0 20 0 1 0 61962470 339247104 81548 134679101440 4194304 15467897 140724844617584 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43835392 140724844622908 140724844623011 140724844623011 140724844629997 0
/proc/340373/statm: 82824 81548 2849 2753 0 79477 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 349888 KiB
Current children cumulated memory: 329964 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 341304
/proc/meminfo: memFree=122927284/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2792 CPUtime=1792.98 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 267 16054 0 0 0 0 179291 7 20 0 1 0 61782669 10170368 698 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 698 609 264 0 134 0
[pid=340372] ppid=339401 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/340372/stat : 340372 (timeout) S 339401 340372 336743 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61962470 8867840 245 134679101440 94806353264640 94806353299656 140726991904672 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94806355397072 94806355399204 94806376497152 140726991914025 140726991914141 140726991914141 140726991921127 0
/proc/340372/statm: 2165 245 220 9 0 87 0
[pid=340373] ppid=340372 vsize=331296 memory=326192 CPUtime=1720.43 cores=5,7
/proc/340373/stat : 340373 (LS-MabSP) R 340372 340372 336743 0 -1 4194304 119184 0 0 0 167782 4261 0 0 20 0 1 0 61962470 339247104 81548 134679101440 4194304 15467897 140724844617584 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43835392 140724844622908 140724844623011 140724844623011 140724844629997 0
/proc/340373/statm: 82824 81548 2849 2753 0 79477 0
Current children cumulated CPU time: 3513.41 s
Current children cumulated vsize: 349888 KiB
Current children cumulated memory: 329964 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 341314
/proc/meminfo: memFree=122926856/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2792 CPUtime=1792.98 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 267 16054 0 0 0 0 179291 7 20 0 1 0 61782669 10170368 698 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 698 609 264 0 134 0
[pid=340372] ppid=339401 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/340372/stat : 340372 (timeout) S 339401 340372 336743 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61962470 8867840 245 134679101440 94806353264640 94806353299656 140726991904672 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94806355397072 94806355399204 94806376497152 140726991914025 140726991914141 140726991914141 140726991921127 0
/proc/340372/statm: 2165 245 220 9 0 87 0
[pid=340373] ppid=340372 vsize=331296 memory=326192 CPUtime=1780.33 cores=5,7
/proc/340373/stat : 340373 (LS-MabSP) R 340372 340372 336743 0 -1 4194304 119186 0 0 0 173477 4556 0 0 20 0 1 0 61962470 339247104 81548 134679101440 4194304 15467897 140724844617584 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43835392 140724844622908 140724844623011 140724844623011 140724844629997 0
/proc/340373/statm: 82824 81548 2849 2753 0 79477 0
Current children cumulated CPU time: 3573.31 s
Current children cumulated vsize: 349888 KiB
Current children cumulated memory: 329964 KiB

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

# cumulated CPU time of all completed processes:  user=3540.6 s, system=46.4343 s

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

[startup+3584 s]*
/proc/loadavg: 4.06 4.10 4.09 5/265 341314
/proc/meminfo: memFree=122926856/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2792 CPUtime=1792.98 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 267 16054 0 0 0 0 179291 7 20 0 1 0 61782669 10170368 698 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 698 609 264 0 134 0
[pid=340372] ppid=339401 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/340372/stat : 340372 (timeout) S 339401 340372 336743 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61962470 8867840 245 134679101440 94806353264640 94806353299656 140726991904672 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94806355397072 94806355399204 94806376497152 140726991914025 140726991914141 140726991914141 140726991921127 0
/proc/340372/statm: 2165 245 220 9 0 87 0
[pid=340373] ppid=340372 vsize=331296 memory=326192 CPUtime=1782.03 cores=5,7
/proc/340373/stat : 340373 (LS-MabSP) R 340372 340372 336743 0 -1 4194304 119186 0 0 0 173637 4566 0 0 20 0 1 0 61962470 339247104 81548 134679101440 4194304 15467897 140724844617584 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43835392 140724844622908 140724844623011 140724844623011 140724844629997 0
/proc/340373/statm: 82824 81548 2849 2753 0 79477 0
Current children cumulated CPU time: 3575.01 s
Current children cumulated vsize: 349888 KiB
Current children cumulated memory: 329964 KiB

[startup+3590.4 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 341317
/proc/meminfo: memFree=122926360/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2792 CPUtime=1792.98 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 267 16054 0 0 0 0 179291 7 20 0 1 0 61782669 10170368 698 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 698 609 264 0 134 0
[pid=340372] ppid=339401 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/340372/stat : 340372 (timeout) S 339401 340372 336743 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61962470 8867840 245 134679101440 94806353264640 94806353299656 140726991904672 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94806355397072 94806355399204 94806376497152 140726991914025 140726991914141 140726991914141 140726991921127 0
/proc/340372/statm: 2165 245 220 9 0 87 0
[pid=340373] ppid=340372 vsize=331296 memory=326192 CPUtime=1788.41 cores=5,7
/proc/340373/stat : 340373 (LS-MabSP) R 340372 340372 336743 0 -1 4194304 119186 0 0 0 174237 4604 0 0 20 0 1 0 61962470 339247104 81548 134679101440 4194304 15467897 140724844617584 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43835392 140724844622908 140724844623011 140724844623011 140724844629997 0
/proc/340373/statm: 82824 81548 2849 2753 0 79477 0
Current children cumulated CPU time: 3581.39 s
Current children cumulated vsize: 349888 KiB
Current children cumulated memory: 329964 KiB

[startup+3593.6 s]
/proc/loadavg: 3.97 4.08 4.08 5/265 341388
/proc/meminfo: memFree=124286300/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2792 CPUtime=1792.98 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 267 16054 0 0 0 0 179291 7 20 0 1 0 61782669 10170368 698 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 698 609 264 0 134 0
[pid=340372] ppid=339401 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/340372/stat : 340372 (timeout) S 339401 340372 336743 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61962470 8867840 245 134679101440 94806353264640 94806353299656 140726991904672 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94806355397072 94806355399204 94806376497152 140726991914025 140726991914141 140726991914141 140726991921127 0
/proc/340372/statm: 2165 245 220 9 0 87 0
[pid=340373] ppid=340372 vsize=331296 memory=326192 CPUtime=1791.61 cores=5,7
/proc/340373/stat : 340373 (LS-MabSP) R 340372 340372 336743 0 -1 4194304 119188 0 0 0 174539 4622 0 0 20 0 1 0 61962470 339247104 81548 134679101440 4194304 15467897 140724844617584 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43835392 140724844622908 140724844623011 140724844623011 140724844629997 0
/proc/340373/statm: 82824 81548 2849 2753 0 79477 0
Current children cumulated CPU time: 3584.59 s
Current children cumulated vsize: 349888 KiB
Current children cumulated memory: 329964 KiB

[startup+3595.2 s]
/proc/loadavg: 3.97 4.08 4.08 5/266 341460
/proc/meminfo: memFree=124075964/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2792 CPUtime=1792.98 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 267 16054 0 0 0 0 179291 7 20 0 1 0 61782669 10170368 698 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 698 609 264 0 134 0
[pid=340372] ppid=339401 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/340372/stat : 340372 (timeout) S 339401 340372 336743 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61962470 8867840 245 134679101440 94806353264640 94806353299656 140726991904672 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94806355397072 94806355399204 94806376497152 140726991914025 140726991914141 140726991914141 140726991921127 0
/proc/340372/statm: 2165 245 220 9 0 87 0
[pid=340373] ppid=340372 vsize=331296 memory=326192 CPUtime=1793.21 cores=5,7
/proc/340373/stat : 340373 (LS-MabSP) R 340372 340372 336743 0 -1 4194304 119188 0 0 0 174692 4629 0 0 20 0 1 0 61962470 339247104 81548 134679101440 4194304 15467897 140724844617584 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43835392 140724844622908 140724844623011 140724844623011 140724844629997 0
/proc/340373/statm: 82824 81548 2849 2753 0 79477 0
Current children cumulated CPU time: 3586.19 s
Current children cumulated vsize: 349888 KiB
Current children cumulated memory: 329964 KiB

[startup+3595.6 s]
/proc/loadavg: 3.97 4.08 4.08 5/266 341460
/proc/meminfo: memFree=124075964/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2792 CPUtime=1792.98 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 267 16054 0 0 0 0 179291 7 20 0 1 0 61782669 10170368 698 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 698 609 264 0 134 0
[pid=340372] ppid=339401 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/340372/stat : 340372 (timeout) S 339401 340372 336743 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61962470 8867840 245 134679101440 94806353264640 94806353299656 140726991904672 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94806355397072 94806355399204 94806376497152 140726991914025 140726991914141 140726991914141 140726991921127 0
/proc/340372/statm: 2165 245 220 9 0 87 0
[pid=340373] ppid=340372 vsize=331296 memory=326192 CPUtime=1793.61 cores=5,7
/proc/340373/stat : 340373 (LS-MabSP) R 340372 340372 336743 0 -1 4194304 119188 0 0 0 174729 4632 0 0 20 0 1 0 61962470 339247104 81548 134679101440 4194304 15467897 140724844617584 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43835392 140724844622908 140724844623011 140724844623011 140724844629997 0
/proc/340373/statm: 82824 81548 2849 2753 0 79477 0
Current children cumulated CPU time: 3586.59 s
Current children cumulated vsize: 349888 KiB
Current children cumulated memory: 329964 KiB

[startup+3596 s]*
/proc/loadavg: 3.97 4.08 4.08 5/266 341462
/proc/meminfo: memFree=123971096/131524600 swapFree=131071996/131071996
[pid=339401] ppid=339398 vsize=9932 memory=2792 CPUtime=1792.98 cores=5,7
/proc/339401/stat : 339401 (Hybrid-LSMabSP+) S 339398 339401 336743 0 -1 4194304 267 16054 0 0 0 0 179291 7 20 0 1 0 61782669 10170368 698 134679101440 94252024119296 94252025198616 140727036290976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94252027297072 94252027344260 94252045955072 140727036294094 140727036294253 140727036294253 140727036301268 0
/proc/339401/statm: 2483 698 609 264 0 134 0
[pid=340372] ppid=339401 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/340372/stat : 340372 (timeout) S 339401 340372 336743 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61962470 8867840 245 134679101440 94806353264640 94806353299656 140726991904672 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94806355397072 94806355399204 94806376497152 140726991914025 140726991914141 140726991914141 140726991921127 0
/proc/340372/statm: 2165 245 220 9 0 87 0
[pid=340373] ppid=340372 vsize=331296 memory=326192 CPUtime=1794.01 cores=5,7
/proc/340373/stat : 340373 (LS-MabSP) R 340372 340372 336743 0 -1 4194304 119188 0 0 0 174767 4634 0 0 20 0 1 0 61962470 339247104 81548 134679101440 4194304 15467897 140724844617584 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43835392 140724844622908 140724844623011 140724844623011 140724844629997 0
/proc/340373/statm: 82824 81548 2849 2753 0 79477 0
Current children cumulated CPU time: 3586.99 s
Current children cumulated vsize: 349888 KiB
Current children cumulated memory: 329964 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3587.04
CPU user time (s): 3540.6
CPU system time (s): 46.4343
CPU usage (%): 99.7501
Max. virtual memory (cumulated for all children) (KiB): 486160
Max. memory (cumulated for all children) (KiB): 440976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3540.6
system time used= 46.4343
maximum resident set size= 437204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138551
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82
involuntary context switches= 3316


# summary of solver processes directly reported to runsolver:
#   pid: 339401
#   total CPU time (s): 3587.04
#   total CPU user time (s): 3540.6
#   total CPU system time (s): 46.4343

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.79178 second user time and 17.6838 second system time

The end