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: 63794 MiB (60662 MiB free)
  memory of node 1: 64507 MiB (59579 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486542-1751326195/watcher-4486542-1751326195 -o /tmp/evaluation-result-4486542-1751326195/solver-4486542-1751326195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751326195-45920 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4486542-1751326195.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=45976, runsolver pid=45964

[startup+0.100069 s]*
/proc/loadavg: 0.99 1.93 3.08 6/260 45994
/proc/meminfo: memFree=123120408/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=45988] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45988/stat : 45988 (timeout) S 45976 45988 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48299304 2723840 320 18446744073709551615 94342092873728 94342092890241 140735187776192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94342092905008 94342092907096 94342114525184 140735187777942 140735187778082 140735187778082 140735187783655 0
/proc/45988/statm: 665 320 320 5 0 90 0
[pid=45992] ppid=45988 vsize=22480 memory=7936 CPUtime=0.06 cores=1,3
/proc/45992/stat : 45992 (CASHWMaxSAT-Dis) R 45988 45988 45908 0 -1 4194304 1237 0 0 0 6 0 0 0 20 0 1 0 48299306 23019520 1984 18446744073709551615 4198400 14817773 140735017623344 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39739392 140735017630108 140735017630235 140735017630235 140735017635808 0
/proc/45992/statm: 5620 1984 864 2593 0 2513 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 29464 KiB
Current children cumulated memory: 12160 KiB

[startup+0.21456 s]*
/proc/loadavg: 0.99 1.93 3.08 6/257 45995
/proc/meminfo: memFree=123111096/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=45988] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45988/stat : 45988 (timeout) S 45976 45988 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48299304 2723840 320 18446744073709551615 94342092873728 94342092890241 140735187776192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94342092905008 94342092907096 94342114525184 140735187777942 140735187778082 140735187778082 140735187783655 0
/proc/45988/statm: 665 320 320 5 0 90 0
[pid=45992] ppid=45988 vsize=28364 memory=13952 CPUtime=0.17 cores=1,3
/proc/45992/stat : 45992 (CASHWMaxSAT-Dis) R 45988 45988 45908 0 -1 4194304 2740 0 0 0 17 0 0 0 20 0 1 0 48299306 29044736 3488 18446744073709551615 4198400 14817773 140735017623344 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39739392 140735017630108 140735017630235 140735017630235 140735017635808 0
/proc/45992/statm: 7091 3488 864 2593 0 3984 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 35348 KiB
Current children cumulated memory: 18176 KiB

[startup+0.313733 s]*
/proc/loadavg: 0.99 1.93 3.08 6/257 45999
/proc/meminfo: memFree=123103536/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=45988] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45988/stat : 45988 (timeout) S 45976 45988 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48299304 2723840 320 18446744073709551615 94342092873728 94342092890241 140735187776192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94342092905008 94342092907096 94342114525184 140735187777942 140735187778082 140735187778082 140735187783655 0
/proc/45988/statm: 665 320 320 5 0 90 0
[pid=45992] ppid=45988 vsize=34044 memory=19584 CPUtime=0.27 cores=1,3
/proc/45992/stat : 45992 (CASHWMaxSAT-Dis) R 45988 45988 45908 0 -1 4194304 4141 0 0 0 25 2 0 0 20 0 1 0 48299306 34861056 4896 18446744073709551615 4198400 14817773 140735017623344 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39739392 140735017630108 140735017630235 140735017630235 140735017635808 0
/proc/45992/statm: 8511 4896 864 2593 0 5404 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 41028 KiB
Current children cumulated memory: 23808 KiB

[startup+0.700397 s]
/proc/loadavg: 0.99 1.93 3.08 7/255 46003
/proc/meminfo: memFree=123090180/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=45988] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45988/stat : 45988 (timeout) S 45976 45988 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48299304 2723840 320 18446744073709551615 94342092873728 94342092890241 140735187776192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94342092905008 94342092907096 94342114525184 140735187777942 140735187778082 140735187778082 140735187783655 0
/proc/45988/statm: 665 320 320 5 0 90 0
[pid=45992] ppid=45988 vsize=50084 memory=35712 CPUtime=0.64 cores=1,3
/proc/45992/stat : 45992 (CASHWMaxSAT-Dis) R 45988 45988 45908 0 -1 4194304 8167 0 0 0 59 5 0 0 20 0 1 0 48299306 51286016 8928 18446744073709551615 4198400 14817773 140735017623344 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39739392 140735017630108 140735017630235 140735017630235 140735017635808 0
/proc/45992/statm: 12521 8928 864 2593 0 9414 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 57068 KiB
Current children cumulated memory: 39936 KiB

[startup+1.50047 s]
/proc/loadavg: 0.99 1.93 3.08 7/255 46003
/proc/meminfo: memFree=123064980/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=45988] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45988/stat : 45988 (timeout) S 45976 45988 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48299304 2723840 320 18446744073709551615 94342092873728 94342092890241 140735187776192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94342092905008 94342092907096 94342114525184 140735187777942 140735187778082 140735187778082 140735187783655 0
/proc/45988/statm: 665 320 320 5 0 90 0
[pid=45992] ppid=45988 vsize=102608 memory=87272 CPUtime=1.42 cores=1,3
/proc/45992/stat : 45992 (CASHWMaxSAT-Dis) R 45988 45988 45908 0 -1 4194304 22003 0 0 0 131 11 0 0 20 0 1 0 48299306 105070592 21818 18446744073709551615 4198400 14817773 140735017623344 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39739392 140735017630108 140735017630235 140735017630235 140735017635808 0
/proc/45992/statm: 25652 21818 896 2593 0 22545 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 109592 KiB
Current children cumulated memory: 91496 KiB

[startup+3.11371 s]
/proc/loadavg: 0.99 1.93 3.08 7/261 46043
/proc/meminfo: memFree=122824528/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=45988] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45988/stat : 45988 (timeout) S 45976 45988 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48299304 2723840 320 18446744073709551615 94342092873728 94342092890241 140735187776192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94342092905008 94342092907096 94342114525184 140735187777942 140735187778082 140735187778082 140735187783655 0
/proc/45988/statm: 665 320 320 5 0 90 0
[pid=45992] ppid=45988 vsize=314840 memory=270056 CPUtime=3.01 cores=1,3
/proc/45992/stat : 45992 (CASHWMaxSAT-Dis) R 45988 45988 45908 0 -1 4194304 37461 0 0 0 282 19 0 0 20 0 1 0 48299306 322396160 67514 18446744073709551615 4198400 14817773 140735017623344 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39739392 140735017630108 140735017630235 140735017630235 140735017635808 0
/proc/45992/statm: 78710 67514 960 2593 0 75603 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 321824 KiB
Current children cumulated memory: 274280 KiB

[startup+6.30043 s]
/proc/loadavg: 1.23 1.97 3.09 7/261 46043
/proc/meminfo: memFree=122811952/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=45988] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45988/stat : 45988 (timeout) S 45976 45988 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48299304 2723840 320 18446744073709551615 94342092873728 94342092890241 140735187776192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94342092905008 94342092907096 94342114525184 140735187777942 140735187778082 140735187778082 140735187783655 0
/proc/45988/statm: 665 320 320 5 0 90 0
[pid=45992] ppid=45988 vsize=314840 memory=270184 CPUtime=6.19 cores=1,3
/proc/45992/stat : 45992 (CASHWMaxSAT-Dis) R 45988 45988 45908 0 -1 4194304 37490 0 0 0 600 19 0 0 20 0 1 0 48299306 322396160 67546 18446744073709551615 4198400 14817773 140735017623344 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39739392 140735017630108 140735017630235 140735017630235 140735017635808 0
/proc/45992/statm: 78710 67546 992 2593 0 75603 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 321824 KiB
Current children cumulated memory: 274408 KiB

[startup+12.7004 s]
/proc/loadavg: 1.45 2.00 3.09 7/261 46193
/proc/meminfo: memFree=122779056/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=45988] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45988/stat : 45988 (timeout) S 45976 45988 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48299304 2723840 320 18446744073709551615 94342092873728 94342092890241 140735187776192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94342092905008 94342092907096 94342114525184 140735187777942 140735187778082 140735187778082 140735187783655 0
/proc/45988/statm: 665 320 320 5 0 90 0
[pid=45992] ppid=45988 vsize=314840 memory=270184 CPUtime=12.53 cores=1,3
/proc/45992/stat : 45992 (CASHWMaxSAT-Dis) R 45988 45988 45908 0 -1 4194304 37505 0 0 0 1229 24 0 0 20 0 1 0 48299306 322396160 67546 18446744073709551615 4198400 14817773 140735017623344 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39739392 140735017630108 140735017630235 140735017630235 140735017635808 0
/proc/45992/statm: 78710 67546 992 2593 0 75603 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 321824 KiB
Current children cumulated memory: 274408 KiB

[startup+25.5005 s]
/proc/loadavg: 1.95 2.08 3.10 7/261 46294
/proc/meminfo: memFree=122739664/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=45988] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45988/stat : 45988 (timeout) S 45976 45988 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48299304 2723840 320 18446744073709551615 94342092873728 94342092890241 140735187776192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94342092905008 94342092907096 94342114525184 140735187777942 140735187778082 140735187778082 140735187783655 0
/proc/45988/statm: 665 320 320 5 0 90 0
[pid=45992] ppid=45988 vsize=314840 memory=270184 CPUtime=25.27 cores=1,3
/proc/45992/stat : 45992 (CASHWMaxSAT-Dis) R 45988 45988 45908 0 -1 4194304 37521 0 0 0 2501 26 0 0 20 0 1 0 48299306 322396160 67546 18446744073709551615 4198400 14817773 140735017623344 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39739392 140735017630108 140735017630235 140735017630235 140735017635808 0
/proc/45992/statm: 78710 67546 992 2593 0 75603 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 321824 KiB
Current children cumulated memory: 274408 KiB

[startup+51.1137 s]
/proc/loadavg: 2.72 2.25 3.13 7/261 46294
/proc/meminfo: memFree=122714464/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=45988] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45988/stat : 45988 (timeout) S 45976 45988 45908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48299304 2723840 320 18446744073709551615 94342092873728 94342092890241 140735187776192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94342092905008 94342092907096 94342114525184 140735187777942 140735187778082 140735187778082 140735187783655 0
/proc/45988/statm: 665 320 320 5 0 90 0
[pid=45992] ppid=45988 vsize=314840 memory=270184 CPUtime=50.8 cores=1,3
/proc/45992/stat : 45992 (CASHWMaxSAT-Dis) R 45988 45988 45908 0 -1 4194304 37555 0 0 0 5054 26 0 0 20 0 1 0 48299306 322396160 67546 18446744073709551615 4198400 14817773 140735017623344 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39739392 140735017630108 140735017630235 140735017630235 140735017635808 0
/proc/45992/statm: 78710 67546 992 2593 0 75603 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 321824 KiB
Current children cumulated memory: 274408 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 2.54 3.19 7/261 46296
/proc/meminfo: memFree=122695476/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 252 103 0 0 0 0 0 0 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0

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

/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=46349] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/46349/stat : 46349 (timeout) S 45976 46349 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48419106 2723840 320 18446744073709551615 93894509854720 93894509871233 140732365423296 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93894509886000 93894509888088 93894539157504 140732365429126 140732365429282 140732365429282 140732365434855 0
/proc/46349/statm: 665 320 320 5 0 90 0
[pid=46352] ppid=46349 vsize=520612 memory=476116 CPUtime=2257.68 cores=1,3
/proc/46352/stat : 46352 (ExactPR-S) R 46349 46349 45908 0 -1 4194304 105909 0 0 0 225448 320 0 0 20 0 1 0 48419107 533106688 119029 18446744073709551615 93875591372800 93875600672837 140725888606832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93875602458944 93875602498024 93875635621888 140725888608670 140725888608807 140725888608807 140725888614380 0
/proc/46352/statm: 130153 119029 3424 2271 0 124791 0
Current children cumulated CPU time: 3452.24 s
Current children cumulated vsize: 527596 KiB
Current children cumulated memory: 480340 KiB

[startup+3522.3 s]
/proc/loadavg: 4.64 4.28 4.16 7/258 46480
/proc/meminfo: memFree=121464200/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=1194.56 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 285 74845 0 0 0 0 119362 94 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=46349] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/46349/stat : 46349 (timeout) S 45976 46349 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48419106 2723840 320 18446744073709551615 93894509854720 93894509871233 140732365423296 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93894509886000 93894509888088 93894539157504 140732365429126 140732365429282 140732365429282 140732365434855 0
/proc/46349/statm: 665 320 320 5 0 90 0
[pid=46352] ppid=46349 vsize=520612 memory=476116 CPUtime=2317.49 cores=1,3
/proc/46352/stat : 46352 (ExactPR-S) R 46349 46349 45908 0 -1 4194304 105910 0 0 0 231429 320 0 0 20 0 1 0 48419107 533106688 119029 18446744073709551615 93875591372800 93875600672837 140725888606832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93875602458944 93875602498024 93875635621888 140725888608670 140725888608807 140725888608807 140725888614380 0
/proc/46352/statm: 130153 119029 3424 2271 0 124791 0
Current children cumulated CPU time: 3512.05 s
Current children cumulated vsize: 527596 KiB
Current children cumulated memory: 480340 KiB

[startup+3582.3 s]
/proc/loadavg: 4.34 4.26 4.16 7/258 46482
/proc/meminfo: memFree=121464700/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=1194.56 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 285 74845 0 0 0 0 119362 94 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=46349] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/46349/stat : 46349 (timeout) S 45976 46349 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48419106 2723840 320 18446744073709551615 93894509854720 93894509871233 140732365423296 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93894509886000 93894509888088 93894539157504 140732365429126 140732365429282 140732365429282 140732365434855 0
/proc/46349/statm: 665 320 320 5 0 90 0
[pid=46352] ppid=46349 vsize=520612 memory=476116 CPUtime=2377.3 cores=1,3
/proc/46352/stat : 46352 (ExactPR-S) R 46349 46349 45908 0 -1 4194304 105910 0 0 0 237409 321 0 0 20 0 1 0 48419107 533106688 119029 18446744073709551615 93875591372800 93875600672837 140725888606832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93875602458944 93875602498024 93875635621888 140725888608670 140725888608807 140725888608807 140725888614380 0
/proc/46352/statm: 130153 119029 3424 2271 0 124791 0
Current children cumulated CPU time: 3571.86 s
Current children cumulated vsize: 527596 KiB
Current children cumulated memory: 480340 KiB

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

# cumulated CPU time of all completed processes:  user=3581.44 s, system=4.22654 s

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

[startup+3584 s]*
/proc/loadavg: 4.34 4.26 4.16 7/258 46482
/proc/meminfo: memFree=121464700/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=1194.56 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 285 74845 0 0 0 0 119362 94 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=46349] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/46349/stat : 46349 (timeout) S 45976 46349 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48419106 2723840 320 18446744073709551615 93894509854720 93894509871233 140732365423296 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93894509886000 93894509888088 93894539157504 140732365429126 140732365429282 140732365429282 140732365434855 0
/proc/46349/statm: 665 320 320 5 0 90 0
[pid=46352] ppid=46349 vsize=520612 memory=476116 CPUtime=2379.01 cores=1,3
/proc/46352/stat : 46352 (ExactPR-S) R 46349 46349 45908 0 -1 4194304 105910 0 0 0 237579 322 0 0 20 0 1 0 48419107 533106688 119029 18446744073709551615 93875591372800 93875600672837 140725888606832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93875602458944 93875602498024 93875635621888 140725888608670 140725888608807 140725888608807 140725888614380 0
/proc/46352/statm: 130153 119029 3424 2271 0 124791 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 527596 KiB
Current children cumulated memory: 480340 KiB

[startup+3590.4 s]
/proc/loadavg: 4.29 4.25 4.16 7/258 46483
/proc/meminfo: memFree=121464724/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=1194.56 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 285 74845 0 0 0 0 119362 94 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=46349] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/46349/stat : 46349 (timeout) S 45976 46349 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48419106 2723840 320 18446744073709551615 93894509854720 93894509871233 140732365423296 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93894509886000 93894509888088 93894539157504 140732365429126 140732365429282 140732365429282 140732365434855 0
/proc/46349/statm: 665 320 320 5 0 90 0
[pid=46352] ppid=46349 vsize=520612 memory=476116 CPUtime=2385.37 cores=1,3
/proc/46352/stat : 46352 (ExactPR-S) R 46349 46349 45908 0 -1 4194304 105910 0 0 0 238214 323 0 0 20 0 1 0 48419107 533106688 119029 18446744073709551615 93875591372800 93875600672837 140725888606832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93875602458944 93875602498024 93875635621888 140725888608670 140725888608807 140725888608807 140725888614380 0
/proc/46352/statm: 130153 119029 3424 2271 0 124791 0
Current children cumulated CPU time: 3579.93 s
Current children cumulated vsize: 527596 KiB
Current children cumulated memory: 480340 KiB

[startup+3593.6 s]
/proc/loadavg: 4.29 4.25 4.16 7/258 46483
/proc/meminfo: memFree=121464724/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=1194.56 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 285 74845 0 0 0 0 119362 94 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=46349] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/46349/stat : 46349 (timeout) S 45976 46349 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48419106 2723840 320 18446744073709551615 93894509854720 93894509871233 140732365423296 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93894509886000 93894509888088 93894539157504 140732365429126 140732365429282 140732365429282 140732365434855 0
/proc/46349/statm: 665 320 320 5 0 90 0
[pid=46352] ppid=46349 vsize=520612 memory=476116 CPUtime=2388.56 cores=1,3
/proc/46352/stat : 46352 (ExactPR-S) R 46349 46349 45908 0 -1 4194304 105910 0 0 0 238533 323 0 0 20 0 1 0 48419107 533106688 119029 18446744073709551615 93875591372800 93875600672837 140725888606832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93875602458944 93875602498024 93875635621888 140725888608670 140725888608807 140725888608807 140725888614380 0
/proc/46352/statm: 130153 119029 3424 2271 0 124791 0
Current children cumulated CPU time: 3583.12 s
Current children cumulated vsize: 527596 KiB
Current children cumulated memory: 480340 KiB

[startup+3595.2 s]
/proc/loadavg: 4.27 4.24 4.16 7/258 46483
/proc/meminfo: memFree=121464756/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=1194.56 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 285 74845 0 0 0 0 119362 94 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=46349] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/46349/stat : 46349 (timeout) S 45976 46349 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48419106 2723840 320 18446744073709551615 93894509854720 93894509871233 140732365423296 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93894509886000 93894509888088 93894539157504 140732365429126 140732365429282 140732365429282 140732365434855 0
/proc/46349/statm: 665 320 320 5 0 90 0
[pid=46352] ppid=46349 vsize=520612 memory=476116 CPUtime=2390.16 cores=1,3
/proc/46352/stat : 46352 (ExactPR-S) R 46349 46349 45908 0 -1 4194304 105910 0 0 0 238693 323 0 0 20 0 1 0 48419107 533106688 119029 18446744073709551615 93875591372800 93875600672837 140725888606832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93875602458944 93875602498024 93875635621888 140725888608670 140725888608807 140725888608807 140725888614380 0
/proc/46352/statm: 130153 119029 3424 2271 0 124791 0
Current children cumulated CPU time: 3584.72 s
Current children cumulated vsize: 527596 KiB
Current children cumulated memory: 480340 KiB

[startup+3595.6 s]
/proc/loadavg: 4.27 4.24 4.16 7/258 46483
/proc/meminfo: memFree=121464756/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=1194.56 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 285 74845 0 0 0 0 119362 94 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=46349] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/46349/stat : 46349 (timeout) S 45976 46349 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48419106 2723840 320 18446744073709551615 93894509854720 93894509871233 140732365423296 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93894509886000 93894509888088 93894539157504 140732365429126 140732365429282 140732365429282 140732365434855 0
/proc/46349/statm: 665 320 320 5 0 90 0
[pid=46352] ppid=46349 vsize=520612 memory=476116 CPUtime=2390.56 cores=1,3
/proc/46352/stat : 46352 (ExactPR-S) R 46349 46349 45908 0 -1 4194304 105910 0 0 0 238733 323 0 0 20 0 1 0 48419107 533106688 119029 18446744073709551615 93875591372800 93875600672837 140725888606832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93875602458944 93875602498024 93875635621888 140725888608670 140725888608807 140725888608807 140725888614380 0
/proc/46352/statm: 130153 119029 3424 2271 0 124791 0
Current children cumulated CPU time: 3585.12 s
Current children cumulated vsize: 527596 KiB
Current children cumulated memory: 480340 KiB

[startup+3596 s]*
/proc/loadavg: 4.27 4.24 4.16 7/258 46483
/proc/meminfo: memFree=121464756/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=1194.56 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 285 74845 0 0 0 0 119362 94 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
[pid=46349] ppid=45976 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/46349/stat : 46349 (timeout) S 45976 46349 45908 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48419106 2723840 320 18446744073709551615 93894509854720 93894509871233 140732365423296 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93894509886000 93894509888088 93894539157504 140732365429126 140732365429282 140732365429282 140732365434855 0
/proc/46349/statm: 665 320 320 5 0 90 0
[pid=46352] ppid=46349 vsize=520612 memory=476116 CPUtime=2390.97 cores=1,3
/proc/46352/stat : 46352 (ExactPR-S) R 46349 46349 45908 0 -1 4194304 105910 0 0 0 238774 323 0 0 20 0 1 0 48419107 533106688 119029 18446744073709551615 93875591372800 93875600672837 140725888606832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93875602458944 93875602498024 93875635621888 140725888608670 140725888608807 140725888608807 140725888614380 0
/proc/46352/statm: 130153 119029 3424 2271 0 124791 0
Current children cumulated CPU time: 3585.53 s
Current children cumulated vsize: 527596 KiB
Current children cumulated memory: 480340 KiB

[startup+3596.11 s]
/proc/loadavg: 4.27 4.24 4.16 7/258 46483
/proc/meminfo: memFree=121464756/131382112 swapFree=33010684/33010684
[pid=45976] ppid=45964 vsize=4324 memory=2944 CPUtime=3585.62 cores=1,3
/proc/45976/stat : 45976 (Hybrid-CASHWMax) S 45964 45976 45908 0 -1 4194304 378 182010 0 0 0 0 358143 419 20 0 1 0 48299301 4427776 736 18446744073709551615 94814649270272 94814650164805 140729516709776 0 0 0 2 4 65536 1 0 0 17 1 0 0 0 0 0 94814650403856 94814650451600 94814680719360 140729516718423 140729516718577 140729516718577 140729516724179 0
/proc/45976/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3585.62 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.18
CPU time (s): 3585.66
CPU user time (s): 3581.44
CPU system time (s): 4.22654
CPU usage (%): 99.7075
Max. virtual memory (cumulated for all children) (KiB): 686640
Max. memory (cumulated for all children) (KiB): 582644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.44
system time used= 4.22654
maximum resident set size= 578420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184269
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2212
involuntary context switches= 1431


# summary of solver processes directly reported to runsolver:
#   pid: 45976
#   total CPU time (s): 3585.66
#   total CPU user time (s): 3581.44
#   total CPU system time (s): 4.22654

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.6614 second user time and 38.1642 second system time

The end