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: 63708 MiB (62020 MiB free)
  memory of node 1: 64465 MiB (50644 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523726-1751590302/watcher-4523726-1751590302 -o /tmp/evaluation-result-4523726-1751590302/solver-4523726-1751590302 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751586016-82779 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4523726-1751590302.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=83617, runsolver pid=83614

[startup+0.100066 s]*
/proc/loadavg: 4.27 4.16 4.11 5/272 83621
/proc/meminfo: memFree=115368880/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83620] ppid=83617 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83620/stat : 83620 (timeout) S 83617 83620 82768 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74704750 2723840 352 18446744073709551615 94684009308160 94684009324673 140731183335520 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94684009339440 94684009341528 94684012392448 140731183344022 140731183344162 140731183344162 140731183349735 0
/proc/83620/statm: 665 352 352 5 0 90 0
[pid=83621] ppid=83620 vsize=25576 memory=11136 CPUtime=0.07 cores=4,6
/proc/83621/stat : 83621 (CASHWMaxSAT-Dis) R 83620 83620 82768 0 -1 4194304 1994 0 0 0 7 0 0 0 20 0 1 0 74704750 26189824 2752 18446744073709551615 4198400 14817773 140730788523872 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 24322048 140730788530588 140730788530715 140730788530715 140730788536288 0
/proc/83621/statm: 6394 2784 864 2593 0 3287 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 32560 KiB
Current children cumulated memory: 15488 KiB

[startup+0.206014 s]*
/proc/loadavg: 4.27 4.16 4.11 5/272 83621
/proc/meminfo: memFree=115353760/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83620] ppid=83617 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83620/stat : 83620 (timeout) S 83617 83620 82768 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74704750 2723840 352 18446744073709551615 94684009308160 94684009324673 140731183335520 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94684009339440 94684009341528 94684012392448 140731183344022 140731183344162 140731183344162 140731183349735 0
/proc/83620/statm: 665 352 352 5 0 90 0
[pid=83621] ppid=83620 vsize=34356 memory=19584 CPUtime=0.17 cores=4,6
/proc/83621/stat : 83621 (CASHWMaxSAT-Dis) R 83620 83620 82768 0 -1 4194304 4131 0 0 0 17 0 0 0 20 0 1 0 74704750 35180544 4896 18446744073709551615 4198400 14817773 140730788523872 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 24322048 140730788530588 140730788530715 140730788530715 140730788536288 0
/proc/83621/statm: 8589 4896 864 2593 0 5482 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 23936 KiB

[startup+0.305888 s]*
/proc/loadavg: 4.27 4.16 4.11 5/272 83621
/proc/meminfo: memFree=115348612/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83620] ppid=83617 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83620/stat : 83620 (timeout) S 83617 83620 82768 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74704750 2723840 352 18446744073709551615 94684009308160 94684009324673 140731183335520 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94684009339440 94684009341528 94684012392448 140731183344022 140731183344162 140731183344162 140731183349735 0
/proc/83620/statm: 665 352 352 5 0 90 0
[pid=83621] ppid=83620 vsize=42340 memory=27392 CPUtime=0.28 cores=4,6
/proc/83621/stat : 83621 (CASHWMaxSAT-Dis) R 83620 83620 82768 0 -1 4194304 6089 0 0 0 27 1 0 0 20 0 1 0 74704750 43356160 6848 18446744073709551615 4198400 14817773 140730788523872 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 24322048 140730788530588 140730788530715 140730788530715 140730788536288 0
/proc/83621/statm: 10585 6848 864 2593 0 7478 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 49324 KiB
Current children cumulated memory: 31744 KiB

[startup+0.700254 s]
/proc/loadavg: 4.27 4.16 4.11 5/272 83621
/proc/meminfo: memFree=115332736/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83620] ppid=83617 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83620/stat : 83620 (timeout) S 83617 83620 82768 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74704750 2723840 352 18446744073709551615 94684009308160 94684009324673 140731183335520 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94684009339440 94684009341528 94684012392448 140731183344022 140731183344162 140731183344162 140731183349735 0
/proc/83620/statm: 665 352 352 5 0 90 0
[pid=83621] ppid=83620 vsize=74124 memory=57728 CPUtime=0.66 cores=4,6
/proc/83621/stat : 83621 (CASHWMaxSAT-Dis) R 83620 83620 82768 0 -1 4194304 13659 0 0 0 65 1 0 0 20 0 1 0 74704750 75902976 14432 18446744073709551615 4198400 14817773 140730788523872 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 24322048 140730788530588 140730788530715 140730788530715 140730788536288 0
/proc/83621/statm: 18531 14432 864 2593 0 15424 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 81108 KiB
Current children cumulated memory: 62080 KiB

[startup+1.50025 s]
/proc/loadavg: 4.27 4.16 4.11 5/272 83621
/proc/meminfo: memFree=115293172/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83620] ppid=83617 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83620/stat : 83620 (timeout) S 83617 83620 82768 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74704750 2723840 352 18446744073709551615 94684009308160 94684009324673 140731183335520 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94684009339440 94684009341528 94684012392448 140731183344022 140731183344162 140731183344162 140731183349735 0
/proc/83620/statm: 665 352 352 5 0 90 0
[pid=83621] ppid=83620 vsize=200172 memory=180004 CPUtime=1.46 cores=4,6
/proc/83621/stat : 83621 (CASHWMaxSAT-Dis) R 83620 83620 82768 0 -1 4194304 30386 0 0 0 140 6 0 0 20 0 1 0 74704750 204976128 45001 18446744073709551615 4198400 14817773 140730788523872 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 24322048 140730788530588 140730788530715 140730788530715 140730788536288 0
/proc/83621/statm: 50043 45001 896 2593 0 46936 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 207156 KiB
Current children cumulated memory: 184356 KiB

[startup+3.10571 s]
/proc/loadavg: 4.33 4.18 4.12 5/271 83621
/proc/meminfo: memFree=115197936/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83620] ppid=83617 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83620/stat : 83620 (timeout) S 83617 83620 82768 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74704750 2723840 352 18446744073709551615 94684009308160 94684009324673 140731183335520 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94684009339440 94684009341528 94684012392448 140731183344022 140731183344162 140731183344162 140731183349735 0
/proc/83620/statm: 665 352 352 5 0 90 0
[pid=83621] ppid=83620 vsize=328336 memory=300208 CPUtime=3.06 cores=4,6
/proc/83621/stat : 83621 (CASHWMaxSAT-Dis) R 83620 83620 82768 0 -1 4194304 40615 0 0 0 296 10 0 0 20 0 1 0 74704750 336216064 75052 18446744073709551615 4198400 14817773 140730788523872 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 24322048 140730788530588 140730788530715 140730788530715 140730788536288 0
/proc/83621/statm: 82084 75052 1152 2593 0 78977 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 335320 KiB
Current children cumulated memory: 304560 KiB

[startup+6.30023 s]
/proc/loadavg: 4.33 4.18 4.12 5/271 83621
/proc/meminfo: memFree=114237136/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83620] ppid=83617 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83620/stat : 83620 (timeout) S 83617 83620 82768 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74704750 2723840 352 18446744073709551615 94684009308160 94684009324673 140731183335520 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94684009339440 94684009341528 94684012392448 140731183344022 140731183344162 140731183344162 140731183349735 0
/proc/83620/statm: 665 352 352 5 0 90 0
[pid=83621] ppid=83620 vsize=615976 memory=596020 CPUtime=6.25 cores=4,6
/proc/83621/stat : 83621 (CASHWMaxSAT-Dis) R 83620 83620 82768 0 -1 4194304 64172 0 0 0 606 19 0 0 20 0 1 0 74704750 630759424 149005 18446744073709551615 4198400 14817773 140730788523872 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 24322048 140730788530588 140730788530715 140730788530715 140730788536288 0
/proc/83621/statm: 153994 149005 1152 2593 0 150887 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 622960 KiB
Current children cumulated memory: 600372 KiB

[startup+12.7002 s]
/proc/loadavg: 4.27 4.17 4.11 5/271 83621
/proc/meminfo: memFree=114348088/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83620] ppid=83617 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83620/stat : 83620 (timeout) S 83617 83620 82768 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74704750 2723840 352 18446744073709551615 94684009308160 94684009324673 140731183335520 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94684009339440 94684009341528 94684012392448 140731183344022 140731183344162 140731183344162 140731183349735 0
/proc/83620/statm: 665 352 352 5 0 90 0
[pid=83621] ppid=83620 vsize=1164556 memory=1048984 CPUtime=12.63 cores=4,6
/proc/83621/stat : 83621 (CASHWMaxSAT-Dis) R 83620 83620 82768 0 -1 4194304 94988 0 0 0 1229 34 0 0 20 0 1 0 74704750 1192505344 262246 18446744073709551615 4198400 14817773 140730788523872 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 24322048 140730788530588 140730788530715 140730788530715 140730788536288 0
/proc/83621/statm: 291139 262246 1152 2593 0 288032 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1171540 KiB
Current children cumulated memory: 1053336 KiB

[startup+25.5003 s]
/proc/loadavg: 4.23 4.16 4.11 5/271 83621
/proc/meminfo: memFree=109760824/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83620] ppid=83617 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83620/stat : 83620 (timeout) S 83617 83620 82768 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74704750 2723840 352 18446744073709551615 94684009308160 94684009324673 140731183335520 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94684009339440 94684009341528 94684012392448 140731183344022 140731183344162 140731183344162 140731183349735 0
/proc/83620/statm: 665 352 352 5 0 90 0
[pid=83621] ppid=83620 vsize=4767532 memory=4356348 CPUtime=25.4 cores=4,6
/proc/83621/stat : 83621 (CASHWMaxSAT-Dis) R 83620 83620 82768 0 -1 4194304 510265 0 0 0 2385 155 0 0 20 0 1 0 74704750 4881952768 1089087 18446744073709551615 4198400 14817773 140730788523872 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 24322048 140730788530588 140730788530715 140730788530715 140730788536288 0
/proc/83621/statm: 1191883 1089087 1216 2593 0 1188776 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4774516 KiB
Current children cumulated memory: 4360700 KiB

[startup+51.1059 s]
/proc/loadavg: 4.23 4.17 4.11 5/271 83622
/proc/meminfo: memFree=110685056/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83620] ppid=83617 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/83620/stat : 83620 (timeout) S 83617 83620 82768 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74704750 2723840 352 18446744073709551615 94684009308160 94684009324673 140731183335520 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94684009339440 94684009341528 94684012392448 140731183344022 140731183344162 140731183344162 140731183349735 0
/proc/83620/statm: 665 352 352 5 0 90 0
[pid=83621] ppid=83620 vsize=4843576 memory=4426968 CPUtime=50.93 cores=4,6
/proc/83621/stat : 83621 (CASHWMaxSAT-Dis) R 83620 83620 82768 0 -1 4194304 522452 0 0 0 4930 163 0 0 20 0 1 0 74704750 4959821824 1106742 18446744073709551615 4198400 14817773 140730788523872 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 24322048 140730788530588 140730788530715 140730788530715 140730788536288 0
/proc/83621/statm: 1210894 1106742 1216 2593 0 1207787 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 4850560 KiB
Current children cumulated memory: 4431320 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/271 83624
/proc/meminfo: memFree=109351444/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83620] ppid=83617 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83747] ppid=83617 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83747/stat : 83747 (timeout) S 83617 83747 82768 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74824560 2723840 320 18446744073709551615 94684831936512 94684831953025 140730440479184 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94684831967792 94684831969880 94684862713856 140730440481158 140730440481314 140730440481314 140730440486887 0
/proc/83747/statm: 665 320 320 5 0 90 0
[pid=83748] ppid=83747 vsize=869368 memory=805588 CPUtime=821.85 cores=4,6
/proc/83748/stat : 83748 (ExactPR-S) R 83747 83747 82768 0 -1 4194304 190699 0 0 0 82150 35 0 0 20 0 1 0 74824560 890232832 201397 18446744073709551615 93985002409984 93985011710021 140724933778112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93985013496128 93985013535208 93985029390336 140724933781918 140724933782055 140724933782055 140724933787628 0
/proc/83748/statm: 217342 201397 3360 2271 0 211980 0
Current children cumulated CPU time: 2016.36 s
Current children cumulated vsize: 876352 KiB
Current children cumulated memory: 809812 KiB

[startup+2082.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/272 83844
/proc/meminfo: memFree=118058808/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=1194.51 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 283 867637 0 0 0 0 118455 996 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83747] ppid=83617 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83747/stat : 83747 (timeout) S 83617 83747 82768 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74824560 2723840 320 18446744073709551615 94684831936512 94684831953025 140730440479184 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94684831967792 94684831969880 94684862713856 140730440481158 140730440481314 140730440481314 140730440486887 0
/proc/83747/statm: 665 320 320 5 0 90 0
[pid=83748] ppid=83747 vsize=869368 memory=805588 CPUtime=881.67 cores=4,6
/proc/83748/stat : 83748 (ExactPR-S) R 83747 83747 82768 0 -1 4194304 190722 0 0 0 88132 35 0 0 20 0 1 0 74824560 890232832 201397 18446744073709551615 93985002409984 93985011710021 140724933778112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93985013496128 93985013535208 93985029390336 140724933781918 140724933782055 140724933782055 140724933787628 0
/proc/83748/statm: 217342 201397 3360 2271 0 211980 0
Current children cumulated CPU time: 2076.18 s
Current children cumulated vsize: 876352 KiB
Current children cumulated memory: 809812 KiB

[startup+2142.3 s]
/proc/loadavg: 4.05 4.12 4.09 5/272 83846
/proc/meminfo: memFree=117679696/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=1194.51 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 283 867637 0 0 0 0 118455 996 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83747] ppid=83617 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83747/stat : 83747 (timeout) S 83617 83747 82768 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74824560 2723840 320 18446744073709551615 94684831936512 94684831953025 140730440479184 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94684831967792 94684831969880 94684862713856 140730440481158 140730440481314 140730440481314 140730440486887 0
/proc/83747/statm: 665 320 320 5 0 90 0
[pid=83748] ppid=83747 vsize=869368 memory=805716 CPUtime=941.5 cores=4,6
/proc/83748/stat : 83748 (ExactPR-S) R 83747 83747 82768 0 -1 4194304 190730 0 0 0 94115 35 0 0 20 0 1 0 74824560 890232832 201429 18446744073709551615 93985002409984 93985011710021 140724933778112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93985013496128 93985013535208 93985029390336 140724933781918 140724933782055 140724933782055 140724933787628 0
/proc/83748/statm: 217342 201429 3360 2271 0 211980 0
Current children cumulated CPU time: 2136.01 s
Current children cumulated vsize: 876352 KiB
Current children cumulated memory: 809940 KiB

[startup+2202.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/272 83848
/proc/meminfo: memFree=118108340/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=1194.51 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 283 867637 0 0 0 0 118455 996 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83747] ppid=83617 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83747/stat : 83747 (timeout) S 83617 83747 82768 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74824560 2723840 320 18446744073709551615 94684831936512 94684831953025 140730440479184 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94684831967792 94684831969880 94684862713856 140730440481158 140730440481314 140730440481314 140730440486887 0
/proc/83747/statm: 665 320 320 5 0 90 0
[pid=83748] ppid=83747 vsize=707888 memory=669252 CPUtime=1001.33 cores=4,6
/proc/83748/stat : 83748 (ExactPR-S) R 83747 83747 82768 0 -1 4194304 190942 0 0 0 100098 35 0 0 20 0 1 0 74824560 724877312 167313 18446744073709551615 93985002409984 93985011710021 140724933778112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93985013496128 93985013535208 93985029390336 140724933781918 140724933782055 140724933782055 140724933787628 0
/proc/83748/statm: 176972 167313 3360 2271 0 171610 0
Current children cumulated CPU time: 2195.84 s
Current children cumulated vsize: 714872 KiB
Current children cumulated memory: 673476 KiB

[startup+2262.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/272 83852
/proc/meminfo: memFree=123309744/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=1194.51 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 283 867637 0 0 0 0 118455 996 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83747] ppid=83617 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83747/stat : 83747 (timeout) S 83617 83747 82768 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74824560 2723840 320 18446744073709551615 94684831936512 94684831953025 140730440479184 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94684831967792 94684831969880 94684862713856 140730440481158 140730440481314 140730440481314 140730440486887 0
/proc/83747/statm: 665 320 320 5 0 90 0
[pid=83748] ppid=83747 vsize=695296 memory=660756 CPUtime=1061.17 cores=4,6
/proc/83748/stat : 83748 (ExactPR-S) R 83747 83747 82768 0 -1 4194304 190969 0 0 0 106077 40 0 0 20 0 1 0 74824560 711983104 165189 18446744073709551615 93985002409984 93985011710021 140724933778112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93985013496128 93985013535208 93985029390336 140724933781918 140724933782055 140724933782055 140724933787628 0
/proc/83748/statm: 173824 165189 3360 2271 0 168462 0
Current children cumulated CPU time: 2255.68 s
Current children cumulated vsize: 702280 KiB
Current children cumulated memory: 664980 KiB

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

# cumulated CPU time of all completed processes:  user=2252.95 s, system=10.4074 s

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

[startup+2265.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 83852
/proc/meminfo: memFree=123309744/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=1194.51 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 283 867637 0 0 0 0 118455 996 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83747] ppid=83617 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83747/stat : 83747 (timeout) S 83617 83747 82768 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74824560 2723840 320 18446744073709551615 94684831936512 94684831953025 140730440479184 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94684831967792 94684831969880 94684862713856 140730440481158 140730440481314 140730440481314 140730440486887 0
/proc/83747/statm: 665 320 320 5 0 90 0
[pid=83748] ppid=83747 vsize=695296 memory=664896 CPUtime=1064.46 cores=4,6
/proc/83748/stat : 83748 (ExactPR-S) R 83747 83747 82768 0 -1 4194304 190972 0 0 0 106406 40 0 0 20 0 1 0 74824560 711983104 166224 18446744073709551615 93985002409984 93985011710021 140724933778112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93985013496128 93985013535208 93985029390336 140724933781918 140724933782055 140724933782055 140724933787628 0
/proc/83748/statm: 173824 166224 3360 2271 0 168462 0
Current children cumulated CPU time: 2258.97 s
Current children cumulated vsize: 702280 KiB
Current children cumulated memory: 669120 KiB

[startup+2267.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 83852
/proc/meminfo: memFree=123307684/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=1194.51 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 283 867637 0 0 0 0 118455 996 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83747] ppid=83617 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83747/stat : 83747 (timeout) S 83617 83747 82768 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74824560 2723840 320 18446744073709551615 94684831936512 94684831953025 140730440479184 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94684831967792 94684831969880 94684862713856 140730440481158 140730440481314 140730440481314 140730440486887 0
/proc/83747/statm: 665 320 320 5 0 90 0
[pid=83748] ppid=83747 vsize=695296 memory=666944 CPUtime=1066.05 cores=4,6
/proc/83748/stat : 83748 (ExactPR-S) R 83747 83747 82768 0 -1 4194304 190973 0 0 0 106565 40 0 0 20 0 1 0 74824560 711983104 166736 18446744073709551615 93985002409984 93985011710021 140724933778112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93985013496128 93985013535208 93985029390336 140724933781918 140724933782055 140724933782055 140724933787628 0
/proc/83748/statm: 173824 166736 3360 2271 0 168462 0
Current children cumulated CPU time: 2260.56 s
Current children cumulated vsize: 702280 KiB
Current children cumulated memory: 671168 KiB

[startup+2268.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 83852
/proc/meminfo: memFree=123283996/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=1194.51 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 283 867637 0 0 0 0 118455 996 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83747] ppid=83617 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83747/stat : 83747 (timeout) S 83617 83747 82768 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74824560 2723840 320 18446744073709551615 94684831936512 94684831953025 140730440479184 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94684831967792 94684831969880 94684862713856 140730440481158 140730440481314 140730440481314 140730440486887 0
/proc/83747/statm: 665 320 320 5 0 90 0
[pid=83748] ppid=83747 vsize=695296 memory=666944 CPUtime=1067.66 cores=4,6
/proc/83748/stat : 83748 (ExactPR-S) R 83747 83747 82768 0 -1 4194304 190973 0 0 0 106725 41 0 0 20 0 1 0 74824560 711983104 166736 18446744073709551615 93985002409984 93985011710021 140724933778112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93985013496128 93985013535208 93985029390336 140724933781918 140724933782055 140724933782055 140724933787628 0
/proc/83748/statm: 173824 166736 3360 2271 0 168462 0
Current children cumulated CPU time: 2262.17 s
Current children cumulated vsize: 702280 KiB
Current children cumulated memory: 671168 KiB

[startup+2269.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 83852
/proc/meminfo: memFree=123275932/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=1194.51 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) S 83614 83617 82768 0 -1 4194304 283 867637 0 0 0 0 118455 996 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
[pid=83747] ppid=83617 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/83747/stat : 83747 (timeout) S 83617 83747 82768 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74824560 2723840 320 18446744073709551615 94684831936512 94684831953025 140730440479184 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94684831967792 94684831969880 94684862713856 140730440481158 140730440481314 140730440481314 140730440486887 0
/proc/83747/statm: 665 320 320 5 0 90 0
[pid=83748] ppid=83747 vsize=695296 memory=666944 CPUtime=1068.45 cores=4,6
/proc/83748/stat : 83748 (ExactPR-S) R 83747 83747 82768 0 -1 4194304 190973 0 0 0 106804 41 0 0 20 0 1 0 74824560 711983104 166736 18446744073709551615 93985002409984 93985011710021 140724933778112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93985013496128 93985013535208 93985029390336 140724933781918 140724933782055 140724933782055 140724933787628 0
/proc/83748/statm: 173824 166736 3360 2271 0 168462 0
Current children cumulated CPU time: 2262.96 s
Current children cumulated vsize: 702280 KiB
Current children cumulated memory: 671168 KiB

[startup+2270 s]*
/proc/loadavg: 4.09 4.11 4.09 4/271 83857
/proc/meminfo: memFree=123922716/131249992 swapFree=33009392/33010684
[pid=83617] ppid=83614 vsize=4324 memory=2944 CPUtime=2263.34 cores=4,6
/proc/83617/stat : 83617 (Hybrid-CASHWMax) R 83614 83617 82768 0 -1 4194304 376 1059174 0 0 0 0 225294 1040 20 0 1 0 74704748 4427776 736 18446744073709551615 94247662350336 94247663244869 140733705981744 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94247663483920 94247663531664 94247692574720 140733705988439 140733705988593 140733705988593 140733705994195 0
/proc/83617/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2263.34 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 2270.01
CPU time (s): 2263.36
CPU user time (s): 2252.95
CPU system time (s): 10.4074
CPU usage (%): 99.7068
Max. virtual memory (cumulated for all children) (KiB): 6899468
Max. memory (cumulated for all children) (KiB): 6368280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2252.95
system time used= 10.4074
maximum resident set size= 6363928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1059764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 820
involuntary context switches= 2373


# summary of solver processes directly reported to runsolver:
#   pid: 83617
#   total CPU time (s): 2263.36
#   total CPU user time (s): 2252.95
#   total CPU system time (s): 10.4074

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.17349 second user time and 11.3398 second system time

The end