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 (54335 MiB free)
  memory of node 1: 64473 MiB (60380 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438414-1722965425/watcher-4438414-1722965425 -o /tmp/evaluation-result-4438414-1722965425/solver-4438414-1722965425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722959055-337212 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438414-1722965425.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
Current StackSize limit: 8192 KiB

solver pid=341374, runsolver pid=341371

[startup+0.100106 s]*
/proc/loadavg: 4.17 4.24 4.22 5/254 341378
/proc/meminfo: memFree=117451780/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63140113 10170368 686 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 686 608 264 0 134 0
[pid=341377] ppid=341374 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/341377/stat : 341377 (timeout) S 341374 341377 337199 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63140114 8867840 228 134679101440 94883114405888 94883114440904 140727923362464 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94883116538320 94883116540452 94883140620288 140727923364876 140727923365021 140727923365021 140727923372007 0
/proc/341377/statm: 2165 228 204 9 0 87 0
[pid=341378] ppid=341377 vsize=39984 memory=21612 CPUtime=0.1 cores=5,7
/proc/341378/stat : 341378 (CASHWMaxSAT-Dis) R 341377 341377 337199 0 -1 4194304 4746 0 0 0 9 1 0 0 20 0 1 0 63140114 40943616 5403 134679101440 4194304 14093885 140724400866800 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41988096 140724400870418 140724400870550 140724400870550 140724400877536 0
/proc/341378/statm: 9996 5403 750 2417 0 7098 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 58576 KiB
Current children cumulated memory: 25268 KiB

[startup+0.213659 s]*
/proc/loadavg: 4.15 4.23 4.21 5/254 341378
/proc/meminfo: memFree=117433104/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63140113 10170368 686 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 686 608 264 0 134 0
[pid=341377] ppid=341374 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/341377/stat : 341377 (timeout) S 341374 341377 337199 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63140114 8867840 228 134679101440 94883114405888 94883114440904 140727923362464 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94883116538320 94883116540452 94883140620288 140727923364876 140727923365021 140727923365021 140727923372007 0
/proc/341377/statm: 2165 228 204 9 0 87 0
[pid=341378] ppid=341377 vsize=58772 memory=40376 CPUtime=0.21 cores=5,7
/proc/341378/stat : 341378 (CASHWMaxSAT-Dis) R 341377 341377 337199 0 -1 4194304 9421 0 0 0 20 1 0 0 20 0 1 0 63140114 60182528 10094 134679101440 4194304 14093885 140724400866800 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41988096 140724400870418 140724400870550 140724400870550 140724400877536 0
/proc/341378/statm: 14693 10094 750 2417 0 11795 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 77364 KiB
Current children cumulated memory: 44032 KiB

[startup+0.313528 s]*
/proc/loadavg: 4.15 4.23 4.21 5/254 341378
/proc/meminfo: memFree=117416808/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63140113 10170368 686 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 686 608 264 0 134 0
[pid=341377] ppid=341374 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/341377/stat : 341377 (timeout) S 341374 341377 337199 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63140114 8867840 228 134679101440 94883114405888 94883114440904 140727923362464 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94883116538320 94883116540452 94883140620288 140727923364876 140727923365021 140727923365021 140727923372007 0
/proc/341377/statm: 2165 228 204 9 0 87 0
[pid=341378] ppid=341377 vsize=74212 memory=58540 CPUtime=0.31 cores=5,7
/proc/341378/stat : 341378 (CASHWMaxSAT-Dis) R 341377 341377 337199 0 -1 4194304 13474 0 0 0 29 2 0 0 20 0 1 0 63140114 75993088 14635 134679101440 4194304 14093885 140724400866800 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41988096 140724400870418 140724400870550 140724400870550 140724400877536 0
/proc/341378/statm: 18553 14635 782 2417 0 15655 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 92804 KiB
Current children cumulated memory: 62196 KiB

[startup+0.700494 s]
/proc/loadavg: 4.15 4.23 4.21 5/254 341378
/proc/meminfo: memFree=117343616/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63140113 10170368 686 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 686 608 264 0 134 0
[pid=341377] ppid=341374 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/341377/stat : 341377 (timeout) S 341374 341377 337199 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63140114 8867840 228 134679101440 94883114405888 94883114440904 140727923362464 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94883116538320 94883116540452 94883140620288 140727923364876 140727923365021 140727923365021 140727923372007 0
/proc/341377/statm: 2165 228 204 9 0 87 0
[pid=341378] ppid=341377 vsize=187972 memory=176724 CPUtime=0.68 cores=5,7
/proc/341378/stat : 341378 (CASHWMaxSAT-Dis) R 341377 341377 337199 0 -1 4194304 42824 0 0 0 62 6 0 0 20 0 1 0 63140114 192483328 44181 134679101440 4194304 14093885 140724400866800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41988096 140724400870418 140724400870550 140724400870550 140724400877536 0
/proc/341378/statm: 46993 44181 2350 2417 0 44095 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 206564 KiB
Current children cumulated memory: 180380 KiB

[startup+1.5005 s]
/proc/loadavg: 4.15 4.23 4.21 5/254 341378
/proc/meminfo: memFree=117290948/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63140113 10170368 686 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 686 608 264 0 134 0
[pid=341377] ppid=341374 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/341377/stat : 341377 (timeout) S 341374 341377 337199 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63140114 8867840 228 134679101440 94883114405888 94883114440904 140727923362464 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94883116538320 94883116540452 94883140620288 140727923364876 140727923365021 140727923365021 140727923372007 0
/proc/341377/statm: 2165 228 204 9 0 87 0
[pid=341378] ppid=341377 vsize=247492 memory=233684 CPUtime=1.48 cores=5,7
/proc/341378/stat : 341378 (CASHWMaxSAT-Dis) R 341377 341377 337199 0 -1 4194304 57358 0 0 0 140 8 0 0 20 0 1 0 63140114 253431808 58421 134679101440 4194304 14093885 140724400866800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41988096 140724400870418 140724400870550 140724400870550 140724400877536 0
/proc/341378/statm: 61873 58421 2510 2417 0 58975 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 266084 KiB
Current children cumulated memory: 237340 KiB

[startup+3.11335 s]
/proc/loadavg: 4.15 4.23 4.21 5/254 341380
/proc/meminfo: memFree=117243404/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63140113 10170368 686 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 686 608 264 0 134 0
[pid=341377] ppid=341374 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/341377/stat : 341377 (timeout) S 341374 341377 337199 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63140114 8867840 228 134679101440 94883114405888 94883114440904 140727923362464 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94883116538320 94883116540452 94883140620288 140727923364876 140727923365021 140727923365021 140727923372007 0
/proc/341377/statm: 2165 228 204 9 0 87 0
[pid=341378] ppid=341377 vsize=247492 memory=233944 CPUtime=3.09 cores=5,7
/proc/341378/stat : 341378 (CASHWMaxSAT-Dis) R 341377 341377 337199 0 -1 4194304 57412 0 0 0 301 8 0 0 20 0 1 0 63140114 253431808 58486 134679101440 4194304 14093885 140724400866800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41988096 140724400870418 140724400870550 140724400870550 140724400877536 0
/proc/341378/statm: 61873 58486 2510 2417 0 58975 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 266084 KiB
Current children cumulated memory: 237600 KiB

[startup+6.30043 s]
/proc/loadavg: 4.14 4.23 4.21 5/254 341380
/proc/meminfo: memFree=117243516/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63140113 10170368 686 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 686 608 264 0 134 0
[pid=341377] ppid=341374 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/341377/stat : 341377 (timeout) S 341374 341377 337199 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63140114 8867840 228 134679101440 94883114405888 94883114440904 140727923362464 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94883116538320 94883116540452 94883140620288 140727923364876 140727923365021 140727923365021 140727923372007 0
/proc/341377/statm: 2165 228 204 9 0 87 0
[pid=341378] ppid=341377 vsize=247492 memory=233944 CPUtime=6.26 cores=5,7
/proc/341378/stat : 341378 (CASHWMaxSAT-Dis) R 341377 341377 337199 0 -1 4194304 57470 0 0 0 618 8 0 0 20 0 1 0 63140114 253431808 58486 134679101440 4194304 14093885 140724400866800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41988096 140724400870418 140724400870550 140724400870550 140724400877536 0
/proc/341378/statm: 61873 58486 2510 2417 0 58975 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 266084 KiB
Current children cumulated memory: 237600 KiB

[startup+12.7005 s]
/proc/loadavg: 4.13 4.22 4.21 5/252 341381
/proc/meminfo: memFree=117236316/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63140113 10170368 686 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 686 608 264 0 134 0
[pid=341377] ppid=341374 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/341377/stat : 341377 (timeout) S 341374 341377 337199 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63140114 8867840 228 134679101440 94883114405888 94883114440904 140727923362464 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94883116538320 94883116540452 94883140620288 140727923364876 140727923365021 140727923365021 140727923372007 0
/proc/341377/statm: 2165 228 204 9 0 87 0
[pid=341378] ppid=341377 vsize=248404 memory=235312 CPUtime=12.65 cores=5,7
/proc/341378/stat : 341378 (CASHWMaxSAT-Dis) R 341377 341377 337199 0 -1 4194304 57769 0 0 0 1256 9 0 0 20 0 1 0 63140114 254365696 58828 134679101440 4194304 14093885 140724400866800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41988096 140724400870418 140724400870550 140724400870550 140724400877536 0
/proc/341378/statm: 62101 58828 2526 2417 0 59203 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 266996 KiB
Current children cumulated memory: 238968 KiB

[startup+25.5005 s]
/proc/loadavg: 4.11 4.22 4.21 5/252 341383
/proc/meminfo: memFree=117229404/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63140113 10170368 686 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 686 608 264 0 134 0
[pid=341377] ppid=341374 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/341377/stat : 341377 (timeout) S 341374 341377 337199 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63140114 8867840 228 134679101440 94883114405888 94883114440904 140727923362464 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94883116538320 94883116540452 94883140620288 140727923364876 140727923365021 140727923365021 140727923372007 0
/proc/341377/statm: 2165 228 204 9 0 87 0
[pid=341378] ppid=341377 vsize=248404 memory=235312 CPUtime=25.42 cores=5,7
/proc/341378/stat : 341378 (CASHWMaxSAT-Dis) R 341377 341377 337199 0 -1 4194304 57771 0 0 0 2533 9 0 0 20 0 1 0 63140114 254365696 58828 134679101440 4194304 14093885 140724400866800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41988096 140724400870418 140724400870550 140724400870550 140724400877536 0
/proc/341378/statm: 62101 58828 2526 2417 0 59203 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 266996 KiB
Current children cumulated memory: 238968 KiB

[startup+51.1134 s]
/proc/loadavg: 4.21 4.23 4.21 5/252 341386
/proc/meminfo: memFree=117212376/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63140113 10170368 686 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 686 608 264 0 134 0
[pid=341377] ppid=341374 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/341377/stat : 341377 (timeout) S 341374 341377 337199 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63140114 8867840 228 134679101440 94883114405888 94883114440904 140727923362464 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94883116538320 94883116540452 94883140620288 140727923364876 140727923365021 140727923365021 140727923372007 0
/proc/341377/statm: 2165 228 204 9 0 87 0
[pid=341378] ppid=341377 vsize=249056 memory=235560 CPUtime=50.96 cores=5,7
/proc/341378/stat : 341378 (CASHWMaxSAT-Dis) R 341377 341377 337199 0 -1 4194304 57863 0 0 0 5086 10 0 0 20 0 1 0 63140114 255033344 58890 134679101440 4194304 14093885 140724400866800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41988096 140724400870418 140724400870550 140724400870550 140724400877536 0
/proc/341378/statm: 62264 58890 2526 2417 0 59366 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 267648 KiB
Current children cumulated memory: 239216 KiB

[startup+102.301 s]
/proc/loadavg: 4.72 4.36 4.26 5/252 341396
/proc/meminfo: memFree=117178000/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63140113 10170368 686 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0

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

/proc/341378/statm: 121954 109200 2810 2417 0 119056 0
Current children cumulated CPU time: 1777.52 s
Current children cumulated vsize: 506408 KiB
Current children cumulated memory: 440456 KiB

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

# cumulated CPU time of all completed processes:  user=1816.21 s, system=0.284711 s

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

[startup+1792 s]*
/proc/loadavg: 4.18 4.14 4.16 5/256 342472
/proc/meminfo: memFree=114732008/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 63140113 10170368 686 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 686 608 264 0 134 0
[pid=341377] ppid=341374 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/341377/stat : 341377 (timeout) S 341374 341377 337199 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63140114 8867840 228 134679101440 94883114405888 94883114440904 140727923362464 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94883116538320 94883116540452 94883140620288 140727923364876 140727923365021 140727923365021 140727923372007 0
/proc/341377/statm: 2165 228 204 9 0 87 0
[pid=341378] ppid=341377 vsize=487816 memory=436800 CPUtime=1787.2 cores=5,7
/proc/341378/stat : 341378 (CASHWMaxSAT-Dis) R 341377 341377 337199 0 -1 4194304 98836 0 0 0 178696 24 0 0 20 0 1 0 63140114 499523584 109200 134679101440 4194304 14093885 140724400866800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41988096 140724400870418 140724400870550 140724400870550 140724400877536 0
/proc/341378/statm: 121954 109200 2810 2417 0 119056 0
Current children cumulated CPU time: 1787.2 s
Current children cumulated vsize: 506408 KiB
Current children cumulated memory: 440456 KiB

[startup+1804.8 s]
/proc/loadavg: 4.15 4.13 4.15 5/256 342476
/proc/meminfo: memFree=115148672/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2804 CPUtime=1793.2 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 277 99096 0 0 0 0 179295 25 20 0 1 0 63140113 10170368 701 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 701 608 264 0 134 0
[pid=342473] ppid=341374 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/342473/stat : 342473 (timeout) S 341374 342473 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63319915 8867840 254 134679101440 94238455107584 94238455142600 140728997374240 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94238457240016 94238457242148 94238469283840 140728997381108 140728997381277 140728997381277 140728997388263 0
/proc/342473/statm: 2165 254 230 9 0 87 0
[pid=342474] ppid=342473 vsize=39436 memory=25140 CPUtime=6.75 cores=5,7
/proc/342474/stat : 342474 (Exact) R 342473 342473 337199 0 -1 4194304 6033 0 0 0 674 1 0 0 20 0 1 0 63319915 40382464 6285 134679101440 4194304 7210733 140722011980864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 40751104 140722011984912 140722011985062 140722011985062 140722011992048 0
/proc/342474/statm: 9859 6285 748 737 0 8947 0
Current children cumulated CPU time: 1799.95 s
Current children cumulated vsize: 58028 KiB
Current children cumulated memory: 28960 KiB

[startup+1811.2 s]
/proc/loadavg: 4.20 4.14 4.16 5/256 342476
/proc/meminfo: memFree=115150908/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2804 CPUtime=1793.2 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 277 99096 0 0 0 0 179295 25 20 0 1 0 63140113 10170368 701 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 701 608 264 0 134 0
[pid=342473] ppid=341374 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/342473/stat : 342473 (timeout) S 341374 342473 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63319915 8867840 254 134679101440 94238455107584 94238455142600 140728997374240 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94238457240016 94238457242148 94238469283840 140728997381108 140728997381277 140728997381277 140728997388263 0
/proc/342473/statm: 2165 254 230 9 0 87 0
[pid=342474] ppid=342473 vsize=40136 memory=25836 CPUtime=13.13 cores=5,7
/proc/342474/stat : 342474 (Exact) R 342473 342473 337199 0 -1 4194304 8171 0 0 0 1312 1 0 0 20 0 1 0 63319915 41099264 6459 134679101440 4194304 7210733 140722011980864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 40751104 140722011984912 140722011985062 140722011985062 140722011992048 0
/proc/342474/statm: 10034 6459 748 737 0 9122 0
Current children cumulated CPU time: 1806.33 s
Current children cumulated vsize: 58728 KiB
Current children cumulated memory: 29656 KiB

[startup+1817.6 s]
/proc/loadavg: 4.19 4.14 4.16 5/255 342479
/proc/meminfo: memFree=115101988/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2804 CPUtime=1793.2 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 277 99096 0 0 0 0 179295 25 20 0 1 0 63140113 10170368 701 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 701 608 264 0 134 0
[pid=342473] ppid=341374 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/342473/stat : 342473 (timeout) S 341374 342473 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63319915 8867840 254 134679101440 94238455107584 94238455142600 140728997374240 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94238457240016 94238457242148 94238469283840 140728997381108 140728997381277 140728997381277 140728997388263 0
/proc/342473/statm: 2165 254 230 9 0 87 0
[pid=342474] ppid=342473 vsize=40580 memory=26224 CPUtime=19.52 cores=5,7
/proc/342474/stat : 342474 (Exact) R 342473 342473 337199 0 -1 4194304 10070 0 0 0 1950 2 0 0 20 0 1 0 63319915 41553920 6556 134679101440 4194304 7210733 140722011980864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 40751104 140722011984912 140722011985062 140722011985062 140722011992048 0
/proc/342474/statm: 10145 6556 748 737 0 9233 0
Current children cumulated CPU time: 1812.72 s
Current children cumulated vsize: 59172 KiB
Current children cumulated memory: 30044 KiB

[startup+1819.2 s]
/proc/loadavg: 4.19 4.14 4.16 5/255 342479
/proc/meminfo: memFree=115083836/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2804 CPUtime=1793.2 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 277 99096 0 0 0 0 179295 25 20 0 1 0 63140113 10170368 701 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 701 608 264 0 134 0
[pid=342473] ppid=341374 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/342473/stat : 342473 (timeout) S 341374 342473 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63319915 8867840 254 134679101440 94238455107584 94238455142600 140728997374240 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94238457240016 94238457242148 94238469283840 140728997381108 140728997381277 140728997381277 140728997388263 0
/proc/342473/statm: 2165 254 230 9 0 87 0
[pid=342474] ppid=342473 vsize=40580 memory=26224 CPUtime=21.11 cores=5,7
/proc/342474/stat : 342474 (Exact) R 342473 342473 337199 0 -1 4194304 10075 0 0 0 2109 2 0 0 20 0 1 0 63319915 41553920 6556 134679101440 4194304 7210733 140722011980864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 40751104 140722011984912 140722011985062 140722011985062 140722011992048 0
/proc/342474/statm: 10145 6556 748 737 0 9233 0
Current children cumulated CPU time: 1814.31 s
Current children cumulated vsize: 59172 KiB
Current children cumulated memory: 30044 KiB

[startup+1820 s]*
/proc/loadavg: 4.19 4.14 4.16 5/255 342479
/proc/meminfo: memFree=115075284/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2804 CPUtime=1793.2 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 277 99096 0 0 0 0 179295 25 20 0 1 0 63140113 10170368 701 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 701 608 264 0 134 0
[pid=342473] ppid=341374 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/342473/stat : 342473 (timeout) S 341374 342473 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63319915 8867840 254 134679101440 94238455107584 94238455142600 140728997374240 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94238457240016 94238457242148 94238469283840 140728997381108 140728997381277 140728997381277 140728997388263 0
/proc/342473/statm: 2165 254 230 9 0 87 0
[pid=342474] ppid=342473 vsize=40680 memory=26332 CPUtime=21.92 cores=5,7
/proc/342474/stat : 342474 (Exact) R 342473 342473 337199 0 -1 4194304 10641 0 0 0 2190 2 0 0 20 0 1 0 63319915 41656320 6583 134679101440 4194304 7210733 140722011980864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 40751104 140722011984912 140722011985062 140722011985062 140722011992048 0
/proc/342474/statm: 10170 6583 748 737 0 9258 0
Current children cumulated CPU time: 1815.12 s
Current children cumulated vsize: 59272 KiB
Current children cumulated memory: 30152 KiB

[startup+1820.8 s]
/proc/loadavg: 4.19 4.14 4.16 5/255 342479
/proc/meminfo: memFree=115075284/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2804 CPUtime=1793.2 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 277 99096 0 0 0 0 179295 25 20 0 1 0 63140113 10170368 701 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 701 608 264 0 134 0
[pid=342473] ppid=341374 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/342473/stat : 342473 (timeout) S 341374 342473 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63319915 8867840 254 134679101440 94238455107584 94238455142600 140728997374240 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94238457240016 94238457242148 94238469283840 140728997381108 140728997381277 140728997381277 140728997388263 0
/proc/342473/statm: 2165 254 230 9 0 87 0
[pid=342474] ppid=342473 vsize=40680 memory=26332 CPUtime=22.71 cores=5,7
/proc/342474/stat : 342474 (Exact) R 342473 342473 337199 0 -1 4194304 10641 0 0 0 2269 2 0 0 20 0 1 0 63319915 41656320 6583 134679101440 4194304 7210733 140722011980864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 40751104 140722011984912 140722011985062 140722011985062 140722011992048 0
/proc/342474/statm: 10170 6583 748 737 0 9258 0
Current children cumulated CPU time: 1815.91 s
Current children cumulated vsize: 59272 KiB
Current children cumulated memory: 30152 KiB

[startup+1821.2 s]
/proc/loadavg: 4.17 4.14 4.16 5/255 342479
/proc/meminfo: memFree=115061060/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2804 CPUtime=1793.2 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 277 99096 0 0 0 0 179295 25 20 0 1 0 63140113 10170368 701 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 701 608 264 0 134 0
[pid=342473] ppid=341374 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/342473/stat : 342473 (timeout) S 341374 342473 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63319915 8867840 254 134679101440 94238455107584 94238455142600 140728997374240 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94238457240016 94238457242148 94238469283840 140728997381108 140728997381277 140728997381277 140728997388263 0
/proc/342473/statm: 2165 254 230 9 0 87 0
[pid=342474] ppid=342473 vsize=40680 memory=26332 CPUtime=23.11 cores=5,7
/proc/342474/stat : 342474 (Exact) R 342473 342473 337199 0 -1 4194304 10641 0 0 0 2309 2 0 0 20 0 1 0 63319915 41656320 6583 134679101440 4194304 7210733 140722011980864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 40751104 140722011984912 140722011985062 140722011985062 140722011992048 0
/proc/342474/statm: 10170 6583 748 737 0 9258 0
Current children cumulated CPU time: 1816.31 s
Current children cumulated vsize: 59272 KiB
Current children cumulated memory: 30152 KiB

[startup+1821.3 s]
/proc/loadavg: 4.17 4.14 4.16 5/255 342479
/proc/meminfo: memFree=115061060/131655788 swapFree=131071996/131071996
[pid=341374] ppid=341371 vsize=9932 memory=2804 CPUtime=1793.2 cores=5,7
/proc/341374/stat : 341374 (Hybrid-CASHWMax) S 341371 341374 337199 0 -1 4194304 277 99096 0 0 0 0 179295 25 20 0 1 0 63140113 10170368 701 134679101440 94024295993344 94024297072664 140730145704240 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94024299171120 94024299218308 94024317079552 140730145711056 140730145711214 140730145711214 140730145718229 0
/proc/341374/statm: 2483 701 608 264 0 134 0
[pid=342473] ppid=341374 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/342473/stat : 342473 (timeout) S 341374 342473 337199 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63319915 8867840 254 134679101440 94238455107584 94238455142600 140728997374240 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94238457240016 94238457242148 94238469283840 140728997381108 140728997381277 140728997381277 140728997388263 0
/proc/342473/statm: 2165 254 230 9 0 87 0
[pid=342474] ppid=342473 vsize=40680 memory=26332 CPUtime=23.21 cores=5,7
/proc/342474/stat : 342474 (Exact) R 342473 342473 337199 0 -1 4194304 10641 0 0 0 2319 2 0 0 20 0 1 0 63319915 41656320 6583 134679101440 4194304 7210733 140722011980864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 40751104 140722011984912 140722011985062 140722011985062 140722011992048 0
/proc/342474/statm: 10170 6583 748 737 0 9258 0
Current children cumulated CPU time: 1816.41 s
Current children cumulated vsize: 59272 KiB
Current children cumulated memory: 30152 KiB

Child status: 0

Real time (s): 1821.37
CPU time (s): 1816.49
CPU user time (s): 1816.21
CPU system time (s): 0.284711
CPU usage (%): 99.7324
Max. virtual memory (cumulated for all children) (KiB): 523196
Max. memory (cumulated for all children) (KiB): 440456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1816.21
system time used= 0.284711
maximum resident set size= 436812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110815
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69
involuntary context switches= 2470


# summary of solver processes directly reported to runsolver:
#   pid: 341374
#   total CPU time (s): 1816.49
#   total CPU user time (s): 1816.21
#   total CPU system time (s): 0.284711

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2291 second user time and 19.4501 second system time

The end