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: 63837 MiB (63044 MiB free)
  memory of node 1: 64465 MiB (62532 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486358-1751310422/watcher-4486358-1751310422 -o /tmp/evaluation-result-4486358-1751310422/solver-4486358-1751310422 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751303214-40451 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4486358-1751310422.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=41518, runsolver pid=41515

[startup+0.1001 s]*
/proc/loadavg: 4.15 4.12 4.09 5/259 41522
/proc/meminfo: memFree=128591304/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41521] ppid=41518 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/41521/stat : 41521 (timeout) S 41518 41521 40438 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 46721648 2723840 320 18446744073709551615 94913552478208 94913552494721 140723337819872 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94913552509488 94913552511576 94913561387008 140723337824662 140723337824802 140723337824802 140723337830375 0
/proc/41521/statm: 665 320 320 5 0 90 0
[pid=41522] ppid=41521 vsize=23136 memory=8704 CPUtime=0.08 cores=5,7
/proc/41522/stat : 41522 (CASHWMaxSAT-Dis) R 41521 41521 40438 0 -1 4194304 1414 0 0 0 8 0 0 0 20 0 1 0 46721649 23691264 2176 18446744073709551615 4198400 14817773 140729522807232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32120832 140729522809244 140729522809371 140729522809371 140729522814944 0
/proc/41522/statm: 5784 2176 864 2593 0 2677 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 30120 KiB
Current children cumulated memory: 13056 KiB

[startup+0.214012 s]*
/proc/loadavg: 4.15 4.12 4.09 5/259 41522
/proc/meminfo: memFree=128591304/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41521] ppid=41518 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/41521/stat : 41521 (timeout) S 41518 41521 40438 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 46721648 2723840 320 18446744073709551615 94913552478208 94913552494721 140723337819872 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94913552509488 94913552511576 94913561387008 140723337824662 140723337824802 140723337824802 140723337830375 0
/proc/41521/statm: 665 320 320 5 0 90 0
[pid=41522] ppid=41521 vsize=29724 memory=15232 CPUtime=0.19 cores=5,7
/proc/41522/stat : 41522 (CASHWMaxSAT-Dis) R 41521 41521 40438 0 -1 4194304 3048 0 0 0 19 0 0 0 20 0 1 0 46721649 30437376 3808 18446744073709551615 4198400 14817773 140729522807232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32120832 140729522809244 140729522809371 140729522809371 140729522814944 0
/proc/41522/statm: 7431 3808 864 2593 0 4324 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 36708 KiB
Current children cumulated memory: 19584 KiB

[startup+0.31402 s]*
/proc/loadavg: 4.15 4.12 4.09 6/259 41522
/proc/meminfo: memFree=128591304/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41521] ppid=41518 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/41521/stat : 41521 (timeout) S 41518 41521 40438 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 46721648 2723840 320 18446744073709551615 94913552478208 94913552494721 140723337819872 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94913552509488 94913552511576 94913561387008 140723337824662 140723337824802 140723337824802 140723337830375 0
/proc/41521/statm: 665 320 320 5 0 90 0
[pid=41522] ppid=41521 vsize=35288 memory=20992 CPUtime=0.29 cores=5,7
/proc/41522/stat : 41522 (CASHWMaxSAT-Dis) R 41521 41521 40438 0 -1 4194304 4463 0 0 0 28 1 0 0 20 0 1 0 46721649 36134912 5248 18446744073709551615 4198400 14817773 140729522807232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32120832 140729522809244 140729522809371 140729522809371 140729522814944 0
/proc/41522/statm: 8822 5248 864 2593 0 5715 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42272 KiB
Current children cumulated memory: 25344 KiB

[startup+0.700428 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 41522
/proc/meminfo: memFree=128590804/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41521] ppid=41518 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/41521/stat : 41521 (timeout) S 41518 41521 40438 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 46721648 2723840 320 18446744073709551615 94913552478208 94913552494721 140723337819872 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94913552509488 94913552511576 94913561387008 140723337824662 140723337824802 140723337824802 140723337830375 0
/proc/41521/statm: 665 320 320 5 0 90 0
[pid=41522] ppid=41521 vsize=52536 memory=38144 CPUtime=0.66 cores=5,7
/proc/41522/stat : 41522 (CASHWMaxSAT-Dis) R 41521 41521 40438 0 -1 4194304 8746 0 0 0 64 2 0 0 20 0 1 0 46721649 53796864 9504 18446744073709551615 4198400 14817773 140729522807232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32120832 140729522809244 140729522809371 140729522809371 140729522814944 0
/proc/41522/statm: 13134 9504 864 2593 0 10027 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 59520 KiB
Current children cumulated memory: 42496 KiB

[startup+1.5005 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 41522
/proc/meminfo: memFree=128574928/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41521] ppid=41518 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/41521/stat : 41521 (timeout) S 41518 41521 40438 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 46721648 2723840 320 18446744073709551615 94913552478208 94913552494721 140723337819872 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94913552509488 94913552511576 94913561387008 140723337824662 140723337824802 140723337824802 140723337830375 0
/proc/41521/statm: 665 320 320 5 0 90 0
[pid=41522] ppid=41521 vsize=118972 memory=95920 CPUtime=1.46 cores=5,7
/proc/41522/stat : 41522 (CASHWMaxSAT-Dis) R 41521 41521 40438 0 -1 4194304 22608 0 0 0 139 7 0 0 20 0 1 0 46721649 121827328 23980 18446744073709551615 4198400 14817773 140729522807232 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32120832 140729522809244 140729522809371 140729522809371 140729522814944 0
/proc/41522/statm: 29743 23980 896 2593 0 26636 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 125956 KiB
Current children cumulated memory: 100272 KiB

[startup+3.11375 s]
/proc/loadavg: 4.14 4.11 4.09 5/259 41592
/proc/meminfo: memFree=129047920/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41521] ppid=41518 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/41521/stat : 41521 (timeout) S 41518 41521 40438 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 46721648 2723840 320 18446744073709551615 94913552478208 94913552494721 140723337819872 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94913552509488 94913552511576 94913561387008 140723337824662 140723337824802 140723337824802 140723337830375 0
/proc/41521/statm: 665 320 320 5 0 90 0
[pid=41522] ppid=41521 vsize=314776 memory=268340 CPUtime=3.05 cores=5,7
/proc/41522/stat : 41522 (CASHWMaxSAT-Dis) R 41521 41521 40438 0 -1 4194304 39604 0 0 0 289 16 0 0 20 0 1 0 46721649 322330624 67085 18446744073709551615 4198400 14817773 140729522807232 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32120832 140729522809244 140729522809371 140729522809371 140729522814944 0
/proc/41522/statm: 78694 67085 960 2593 0 75587 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 321760 KiB
Current children cumulated memory: 272692 KiB

[startup+6.30042 s]
/proc/loadavg: 4.14 4.11 4.09 5/259 41592
/proc/meminfo: memFree=129030824/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41521] ppid=41518 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/41521/stat : 41521 (timeout) S 41518 41521 40438 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 46721648 2723840 320 18446744073709551615 94913552478208 94913552494721 140723337819872 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94913552509488 94913552511576 94913561387008 140723337824662 140723337824802 140723337824802 140723337830375 0
/proc/41521/statm: 665 320 320 5 0 90 0
[pid=41522] ppid=41521 vsize=314776 memory=268468 CPUtime=6.22 cores=5,7
/proc/41522/stat : 41522 (CASHWMaxSAT-Dis) R 41521 41521 40438 0 -1 4194304 39632 0 0 0 606 16 0 0 20 0 1 0 46721649 322330624 67117 18446744073709551615 4198400 14817773 140729522807232 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32120832 140729522809244 140729522809371 140729522809371 140729522814944 0
/proc/41522/statm: 78694 67117 992 2593 0 75587 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 321760 KiB
Current children cumulated memory: 272820 KiB

[startup+12.7007 s]
/proc/loadavg: 4.13 4.11 4.09 5/259 41592
/proc/meminfo: memFree=129020940/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41521] ppid=41518 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/41521/stat : 41521 (timeout) S 41518 41521 40438 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 46721648 2723840 320 18446744073709551615 94913552478208 94913552494721 140723337819872 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94913552509488 94913552511576 94913561387008 140723337824662 140723337824802 140723337824802 140723337830375 0
/proc/41521/statm: 665 320 320 5 0 90 0
[pid=41522] ppid=41521 vsize=314776 memory=268468 CPUtime=12.6 cores=5,7
/proc/41522/stat : 41522 (CASHWMaxSAT-Dis) R 41521 41521 40438 0 -1 4194304 39643 0 0 0 1244 16 0 0 20 0 1 0 46721649 322330624 67117 18446744073709551615 4198400 14817773 140729522807232 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32120832 140729522809244 140729522809371 140729522809371 140729522814944 0
/proc/41522/statm: 78694 67117 992 2593 0 75587 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 321760 KiB
Current children cumulated memory: 272820 KiB

[startup+25.5005 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 41592
/proc/meminfo: memFree=129001944/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41521] ppid=41518 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/41521/stat : 41521 (timeout) S 41518 41521 40438 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 46721648 2723840 320 18446744073709551615 94913552478208 94913552494721 140723337819872 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94913552509488 94913552511576 94913561387008 140723337824662 140723337824802 140723337824802 140723337830375 0
/proc/41521/statm: 665 320 320 5 0 90 0
[pid=41522] ppid=41521 vsize=314776 memory=268468 CPUtime=25.36 cores=5,7
/proc/41522/stat : 41522 (CASHWMaxSAT-Dis) R 41521 41521 40438 0 -1 4194304 39660 0 0 0 2520 16 0 0 20 0 1 0 46721649 322330624 67117 18446744073709551615 4198400 14817773 140729522807232 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32120832 140729522809244 140729522809371 140729522809371 140729522814944 0
/proc/41522/statm: 78694 67117 992 2593 0 75587 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 321760 KiB
Current children cumulated memory: 272820 KiB

[startup+51.1136 s]
/proc/loadavg: 4.13 4.11 4.09 5/259 41592
/proc/meminfo: memFree=128980048/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41521] ppid=41518 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/41521/stat : 41521 (timeout) S 41518 41521 40438 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 46721648 2723840 320 18446744073709551615 94913552478208 94913552494721 140723337819872 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94913552509488 94913552511576 94913561387008 140723337824662 140723337824802 140723337824802 140723337830375 0
/proc/41521/statm: 665 320 320 5 0 90 0
[pid=41522] ppid=41521 vsize=314776 memory=268468 CPUtime=50.9 cores=5,7
/proc/41522/stat : 41522 (CASHWMaxSAT-Dis) R 41521 41521 40438 0 -1 4194304 39683 0 0 0 5074 16 0 0 20 0 1 0 46721649 322330624 67117 18446744073709551615 4198400 14817773 140729522807232 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 32120832 140729522809244 140729522809371 140729522809371 140729522814944 0
/proc/41522/statm: 78694 67117 992 2593 0 75587 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 321760 KiB
Current children cumulated memory: 272820 KiB

[startup+102.301 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 41594
/proc/meminfo: memFree=128940320/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41521] ppid=41518 vsize=2660 memory=1280 CPUtime=0 cores=5,7

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

/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41654] ppid=41518 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/41654/stat : 41654 (timeout) S 41518 41654 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46841449 2723840 352 18446744073709551615 94882816999424 94882817015937 140728091997536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94882817030704 94882817032792 94882848882688 140728092002694 140728092002850 140728092002850 140728092008423 0
/proc/41654/statm: 665 352 352 5 0 90 0
[pid=41655] ppid=41654 vsize=592560 memory=522980 CPUtime=2257.32 cores=5,7
/proc/41655/stat : 41655 (ExactPR-S) R 41654 41654 40438 0 -1 4194304 107407 0 0 0 225418 314 0 0 20 0 1 0 46841450 606781440 130745 18446744073709551615 94084093378560 94084102678597 140731965996800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94084104464704 94084104503784 94084144881664 140731965999518 140731965999655 140731965999655 140731966005228 0
/proc/41655/statm: 148140 130745 3424 2271 0 142778 0
Current children cumulated CPU time: 3451.8 s
Current children cumulated vsize: 599544 KiB
Current children cumulated memory: 527460 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/259 41779
/proc/meminfo: memFree=127807520/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=1194.48 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 282 72282 0 0 0 0 119392 56 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41654] ppid=41518 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/41654/stat : 41654 (timeout) S 41518 41654 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46841449 2723840 352 18446744073709551615 94882816999424 94882817015937 140728091997536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94882817030704 94882817032792 94882848882688 140728092002694 140728092002850 140728092002850 140728092008423 0
/proc/41654/statm: 665 352 352 5 0 90 0
[pid=41655] ppid=41654 vsize=592560 memory=522980 CPUtime=2317.11 cores=5,7
/proc/41655/stat : 41655 (ExactPR-S) R 41654 41654 40438 0 -1 4194304 107415 0 0 0 231396 315 0 0 20 0 1 0 46841450 606781440 130745 18446744073709551615 94084093378560 94084102678597 140731965996800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94084104464704 94084104503784 94084144881664 140731965999518 140731965999655 140731965999655 140731966005228 0
/proc/41655/statm: 148140 130745 3424 2271 0 142778 0
Current children cumulated CPU time: 3511.59 s
Current children cumulated vsize: 599544 KiB
Current children cumulated memory: 527460 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/260 41783
/proc/meminfo: memFree=127785264/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=1194.48 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 282 72282 0 0 0 0 119392 56 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41654] ppid=41518 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/41654/stat : 41654 (timeout) S 41518 41654 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46841449 2723840 352 18446744073709551615 94882816999424 94882817015937 140728091997536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94882817030704 94882817032792 94882848882688 140728092002694 140728092002850 140728092002850 140728092008423 0
/proc/41654/statm: 665 352 352 5 0 90 0
[pid=41655] ppid=41654 vsize=592560 memory=522980 CPUtime=2376.91 cores=5,7
/proc/41655/stat : 41655 (ExactPR-S) R 41654 41654 40438 0 -1 4194304 107415 0 0 0 237373 318 0 0 20 0 1 0 46841450 606781440 130745 18446744073709551615 94084093378560 94084102678597 140731965996800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94084104464704 94084104503784 94084144881664 140731965999518 140731965999655 140731965999655 140731966005228 0
/proc/41655/statm: 148140 130745 3424 2271 0 142778 0
Current children cumulated CPU time: 3571.39 s
Current children cumulated vsize: 599544 KiB
Current children cumulated memory: 527460 KiB

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

# cumulated CPU time of all completed processes:  user=3581.35 s, system=3.79429 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.13 4.09 5/260 41783
/proc/meminfo: memFree=127786696/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=1194.48 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 282 72282 0 0 0 0 119392 56 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41654] ppid=41518 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/41654/stat : 41654 (timeout) S 41518 41654 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46841449 2723840 352 18446744073709551615 94882816999424 94882817015937 140728091997536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94882817030704 94882817032792 94882848882688 140728092002694 140728092002850 140728092002850 140728092008423 0
/proc/41654/statm: 665 352 352 5 0 90 0
[pid=41655] ppid=41654 vsize=592560 memory=522980 CPUtime=2378.61 cores=5,7
/proc/41655/stat : 41655 (ExactPR-S) R 41654 41654 40438 0 -1 4194304 107415 0 0 0 237543 318 0 0 20 0 1 0 46841450 606781440 130745 18446744073709551615 94084093378560 94084102678597 140731965996800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94084104464704 94084104503784 94084144881664 140731965999518 140731965999655 140731965999655 140731966005228 0
/proc/41655/statm: 148140 130745 3424 2271 0 142778 0
Current children cumulated CPU time: 3573.09 s
Current children cumulated vsize: 599544 KiB
Current children cumulated memory: 527460 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.13 4.09 3/245 41890
/proc/meminfo: memFree=128562484/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=1194.48 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 282 72282 0 0 0 0 119392 56 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41654] ppid=41518 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/41654/stat : 41654 (timeout) S 41518 41654 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46841449 2723840 352 18446744073709551615 94882816999424 94882817015937 140728091997536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94882817030704 94882817032792 94882848882688 140728092002694 140728092002850 140728092002850 140728092008423 0
/proc/41654/statm: 665 352 352 5 0 90 0
[pid=41655] ppid=41654 vsize=592560 memory=522980 CPUtime=2384.97 cores=5,7
/proc/41655/stat : 41655 (ExactPR-S) R 41654 41654 40438 0 -1 4194304 107415 0 0 0 238178 319 0 0 20 0 1 0 46841450 606781440 130745 18446744073709551615 94084093378560 94084102678597 140731965996800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94084104464704 94084104503784 94084144881664 140731965999518 140731965999655 140731965999655 140731966005228 0
/proc/41655/statm: 148140 130745 3424 2271 0 142778 0
Current children cumulated CPU time: 3579.45 s
Current children cumulated vsize: 599544 KiB
Current children cumulated memory: 527460 KiB

[startup+3593.6 s]
/proc/loadavg: 3.94 4.09 4.08 3/245 41890
/proc/meminfo: memFree=128562736/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=1194.48 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 282 72282 0 0 0 0 119392 56 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41654] ppid=41518 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/41654/stat : 41654 (timeout) S 41518 41654 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46841449 2723840 352 18446744073709551615 94882816999424 94882817015937 140728091997536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94882817030704 94882817032792 94882848882688 140728092002694 140728092002850 140728092002850 140728092008423 0
/proc/41654/statm: 665 352 352 5 0 90 0
[pid=41655] ppid=41654 vsize=592560 memory=522980 CPUtime=2388.16 cores=5,7
/proc/41655/stat : 41655 (ExactPR-S) R 41654 41654 40438 0 -1 4194304 107415 0 0 0 238497 319 0 0 20 0 1 0 46841450 606781440 130745 18446744073709551615 94084093378560 94084102678597 140731965996800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94084104464704 94084104503784 94084144881664 140731965999518 140731965999655 140731965999655 140731966005228 0
/proc/41655/statm: 148140 130745 3424 2271 0 142778 0
Current children cumulated CPU time: 3582.64 s
Current children cumulated vsize: 599544 KiB
Current children cumulated memory: 527460 KiB

[startup+3595.2 s]
/proc/loadavg: 3.94 4.09 4.08 3/245 41890
/proc/meminfo: memFree=128562736/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=1194.48 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 282 72282 0 0 0 0 119392 56 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41654] ppid=41518 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/41654/stat : 41654 (timeout) S 41518 41654 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46841449 2723840 352 18446744073709551615 94882816999424 94882817015937 140728091997536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94882817030704 94882817032792 94882848882688 140728092002694 140728092002850 140728092002850 140728092008423 0
/proc/41654/statm: 665 352 352 5 0 90 0
[pid=41655] ppid=41654 vsize=592560 memory=522980 CPUtime=2389.75 cores=5,7
/proc/41655/stat : 41655 (ExactPR-S) R 41654 41654 40438 0 -1 4194304 107415 0 0 0 238656 319 0 0 20 0 1 0 46841450 606781440 130745 18446744073709551615 94084093378560 94084102678597 140731965996800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94084104464704 94084104503784 94084144881664 140731965999518 140731965999655 140731965999655 140731966005228 0
/proc/41655/statm: 148140 130745 3424 2271 0 142778 0
Current children cumulated CPU time: 3584.23 s
Current children cumulated vsize: 599544 KiB
Current children cumulated memory: 527460 KiB

[startup+3595.6 s]
/proc/loadavg: 3.94 4.09 4.08 3/245 41890
/proc/meminfo: memFree=128562736/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=1194.48 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 282 72282 0 0 0 0 119392 56 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41654] ppid=41518 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/41654/stat : 41654 (timeout) S 41518 41654 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46841449 2723840 352 18446744073709551615 94882816999424 94882817015937 140728091997536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94882817030704 94882817032792 94882848882688 140728092002694 140728092002850 140728092002850 140728092008423 0
/proc/41654/statm: 665 352 352 5 0 90 0
[pid=41655] ppid=41654 vsize=592560 memory=522980 CPUtime=2390.15 cores=5,7
/proc/41655/stat : 41655 (ExactPR-S) R 41654 41654 40438 0 -1 4194304 107415 0 0 0 238696 319 0 0 20 0 1 0 46841450 606781440 130745 18446744073709551615 94084093378560 94084102678597 140731965996800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94084104464704 94084104503784 94084144881664 140731965999518 140731965999655 140731965999655 140731966005228 0
/proc/41655/statm: 148140 130745 3424 2271 0 142778 0
Current children cumulated CPU time: 3584.63 s
Current children cumulated vsize: 599544 KiB
Current children cumulated memory: 527460 KiB

[startup+3596 s]*
/proc/loadavg: 3.94 4.09 4.08 3/245 41890
/proc/meminfo: memFree=128562736/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=1194.48 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 282 72282 0 0 0 0 119392 56 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
[pid=41654] ppid=41518 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/41654/stat : 41654 (timeout) S 41518 41654 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46841449 2723840 352 18446744073709551615 94882816999424 94882817015937 140728091997536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94882817030704 94882817032792 94882848882688 140728092002694 140728092002850 140728092002850 140728092008423 0
/proc/41654/statm: 665 352 352 5 0 90 0
[pid=41655] ppid=41654 vsize=592560 memory=522980 CPUtime=2390.56 cores=5,7
/proc/41655/stat : 41655 (ExactPR-S) R 41654 41654 40438 0 -1 4194304 107415 0 0 0 238737 319 0 0 20 0 1 0 46841450 606781440 130745 18446744073709551615 94084093378560 94084102678597 140731965996800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94084104464704 94084104503784 94084144881664 140731965999518 140731965999655 140731965999655 140731966005228 0
/proc/41655/statm: 148140 130745 3424 2271 0 142778 0
Current children cumulated CPU time: 3585.04 s
Current children cumulated vsize: 599544 KiB
Current children cumulated memory: 527460 KiB

[startup+3596.11 s]
/proc/loadavg: 3.94 4.09 4.08 3/245 41890
/proc/meminfo: memFree=128562736/131382116 swapFree=33010684/33010684
[pid=41518] ppid=41515 vsize=4324 memory=3072 CPUtime=3585.12 cores=5,7
/proc/41518/stat : 41518 (Hybrid-CASHWMax) S 41515 41518 40438 0 -1 4194304 475 182384 0 0 0 0 358134 378 20 0 1 0 46721647 4427776 768 18446744073709551615 94365713653760 94365714548293 140735472446496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94365714787344 94365714835088 94365743857664 140735472449879 140735472450033 140735472450033 140735472455635 0
/proc/41518/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3585.12 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.13
CPU time (s): 3585.14
CPU user time (s): 3581.35
CPU system time (s): 3.79429
CPU usage (%): 99.6946
Max. virtual memory (cumulated for all children) (KiB): 690792
Max. memory (cumulated for all children) (KiB): 608060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.35
system time used= 3.79429
maximum resident set size= 603580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183209
page faults= 0
swaps= 0
block input operations= 0
block output operations= 200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1894
involuntary context switches= 1388


# summary of solver processes directly reported to runsolver:
#   pid: 41518
#   total CPU time (s): 3585.14
#   total CPU user time (s): 3581.35
#   total CPU system time (s): 3.79429

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3243 second user time and 38.9366 second system time

The end