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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484749-1751286968/watcher-4484749-1751286968 -o /tmp/evaluation-result-4484749-1751286968/solver-4484749-1751286968 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751279092-44984 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4484749-1751286968.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
solver pid=46537, runsolver pid=46534
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 4.12 4.09 4.09 5/271 46541
/proc/meminfo: memFree=128521084/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46540] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46540/stat : 46540 (timeout) S 46537 46540 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44374315 2723840 352 18446744073709551615 94737363296256 94737363312769 140723711690592 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94737363327536 94737363329624 94737370140672 140723711695254 140723711695394 140723711695394 140723711700967 0
/proc/46540/statm: 665 352 352 5 0 90 0
[pid=46541] ppid=46540 vsize=38488 memory=19968 CPUtime=0.08 cores=1,3
/proc/46541/stat : 46541 (CASHWMaxSAT-Dis) R 46540 46540 44972 0 -1 4194304 4343 0 0 0 8 0 0 0 20 0 1 0 44374315 39411712 4992 18446744073709551615 4198400 14093885 140721279010688 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47276032 140721279015324 140721279015451 140721279015451 140721279021024 0
/proc/46541/statm: 9622 4992 736 2416 0 6724 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 45472 KiB
Current children cumulated memory: 24448 KiB

[startup+0.205963 s]*
/proc/loadavg: 4.12 4.09 4.09 5/271 46541
/proc/meminfo: memFree=128489836/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46540] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46540/stat : 46540 (timeout) S 46537 46540 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44374315 2723840 352 18446744073709551615 94737363296256 94737363312769 140723711690592 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94737363327536 94737363329624 94737370140672 140723711695254 140723711695394 140723711695394 140723711700967 0
/proc/46540/statm: 665 352 352 5 0 90 0
[pid=46541] ppid=46540 vsize=57964 memory=39552 CPUtime=0.18 cores=1,3
/proc/46541/stat : 46541 (CASHWMaxSAT-Dis) R 46540 46540 44972 0 -1 4194304 9229 0 0 0 17 1 0 0 20 0 1 0 44374315 59355136 9888 18446744073709551615 4198400 14093885 140721279010688 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47276032 140721279015324 140721279015451 140721279015451 140721279021024 0
/proc/46541/statm: 14491 9888 736 2416 0 11593 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 64948 KiB
Current children cumulated memory: 44032 KiB

[startup+0.305881 s]*
/proc/loadavg: 4.12 4.09 4.09 5/271 46541
/proc/meminfo: memFree=128473708/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46540] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46540/stat : 46540 (timeout) S 46537 46540 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44374315 2723840 352 18446744073709551615 94737363296256 94737363312769 140723711690592 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94737363327536 94737363329624 94737370140672 140723711695254 140723711695394 140723711695394 140723711700967 0
/proc/46540/statm: 665 352 352 5 0 90 0
[pid=46541] ppid=46540 vsize=76480 memory=57984 CPUtime=0.28 cores=1,3
/proc/46541/stat : 46541 (CASHWMaxSAT-Dis) R 46540 46540 44972 0 -1 4194304 13849 0 0 0 26 2 0 0 20 0 1 0 44374315 78315520 14496 18446744073709551615 4198400 14093885 140721279010688 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47276032 140721279015324 140721279015451 140721279015451 140721279021024 0
/proc/46541/statm: 19120 14496 736 2416 0 16222 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 83464 KiB
Current children cumulated memory: 62464 KiB

[startup+0.700232 s]
/proc/loadavg: 4.12 4.09 4.09 5/271 46541
/proc/meminfo: memFree=128445420/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46540] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46540/stat : 46540 (timeout) S 46537 46540 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44374315 2723840 352 18446744073709551615 94737363296256 94737363312769 140723711690592 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94737363327536 94737363329624 94737370140672 140723711695254 140723711695394 140723711695394 140723711700967 0
/proc/46540/statm: 665 352 352 5 0 90 0
[pid=46541] ppid=46540 vsize=94688 memory=79628 CPUtime=0.68 cores=1,3
/proc/46541/stat : 46541 (CASHWMaxSAT-Dis) R 46540 46540 44972 0 -1 4194304 20024 0 0 0 64 4 0 0 20 0 1 0 44374315 96960512 19907 18446744073709551615 4198400 14093885 140721279010688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47276032 140721279015324 140721279015451 140721279015451 140721279021024 0
/proc/46541/statm: 23672 19907 768 2416 0 20774 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 101672 KiB
Current children cumulated memory: 84108 KiB

[startup+1.50018 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 46541
/proc/meminfo: memFree=128472044/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46540] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46540/stat : 46540 (timeout) S 46537 46540 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44374315 2723840 352 18446744073709551615 94737363296256 94737363312769 140723711690592 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94737363327536 94737363329624 94737370140672 140723711695254 140723711695394 140723711695394 140723711700967 0
/proc/46540/statm: 665 352 352 5 0 90 0
[pid=46541] ppid=46540 vsize=97052 memory=81804 CPUtime=1.47 cores=1,3
/proc/46541/stat : 46541 (CASHWMaxSAT-Dis) R 46540 46540 44972 0 -1 4194304 20544 0 0 0 143 4 0 0 20 0 1 0 44374315 99381248 20451 18446744073709551615 4198400 14093885 140721279010688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47276032 140721279015324 140721279015451 140721279015451 140721279021024 0
/proc/46541/statm: 24263 20451 768 2416 0 21365 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 104036 KiB
Current children cumulated memory: 86284 KiB

[startup+3.10565 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 46541
/proc/meminfo: memFree=128444416/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46540] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46540/stat : 46540 (timeout) S 46537 46540 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44374315 2723840 352 18446744073709551615 94737363296256 94737363312769 140723711690592 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94737363327536 94737363329624 94737370140672 140723711695254 140723711695394 140723711695394 140723711700967 0
/proc/46540/statm: 665 352 352 5 0 90 0
[pid=46541] ppid=46540 vsize=100312 memory=85132 CPUtime=3.07 cores=1,3
/proc/46541/stat : 46541 (CASHWMaxSAT-Dis) R 46540 46540 44972 0 -1 4194304 21373 0 0 0 303 4 0 0 20 0 1 0 44374315 102719488 21283 18446744073709551615 4198400 14093885 140721279010688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47276032 140721279015324 140721279015451 140721279015451 140721279021024 0
/proc/46541/statm: 25078 21283 768 2416 0 22180 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 107296 KiB
Current children cumulated memory: 89612 KiB

[startup+6.30022 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 46541
/proc/meminfo: memFree=128448764/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46540] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46540/stat : 46540 (timeout) S 46537 46540 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44374315 2723840 352 18446744073709551615 94737363296256 94737363312769 140723711690592 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94737363327536 94737363329624 94737370140672 140723711695254 140723711695394 140723711695394 140723711700967 0
/proc/46540/statm: 665 352 352 5 0 90 0
[pid=46541] ppid=46540 vsize=100452 memory=86024 CPUtime=6.25 cores=1,3
/proc/46541/stat : 46541 (CASHWMaxSAT-Dis) R 46540 46540 44972 0 -1 4194304 22512 0 0 0 621 4 0 0 20 0 1 0 44374315 102862848 21506 18446744073709551615 4198400 14093885 140721279010688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47276032 140721279015324 140721279015451 140721279015451 140721279021024 0
/proc/46541/statm: 25113 21506 768 2416 0 22215 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 107436 KiB
Current children cumulated memory: 90504 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.08 4.09 5/271 46541
/proc/meminfo: memFree=128445676/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46540] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46540/stat : 46540 (timeout) S 46537 46540 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44374315 2723840 352 18446744073709551615 94737363296256 94737363312769 140723711690592 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94737363327536 94737363329624 94737370140672 140723711695254 140723711695394 140723711695394 140723711700967 0
/proc/46540/statm: 665 352 352 5 0 90 0
[pid=46541] ppid=46540 vsize=119016 memory=102324 CPUtime=12.64 cores=1,3
/proc/46541/stat : 46541 (CASHWMaxSAT-Dis) R 46540 46540 44972 0 -1 4194304 23526 0 0 0 1259 5 0 0 20 0 1 0 44374315 121872384 25581 18446744073709551615 4198400 14093885 140721279010688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47276032 140721279015324 140721279015451 140721279015451 140721279021024 0
/proc/46541/statm: 29754 25581 768 2416 0 26856 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 126000 KiB
Current children cumulated memory: 106804 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.09 5/271 46541
/proc/meminfo: memFree=128451324/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46540] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46540/stat : 46540 (timeout) S 46537 46540 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44374315 2723840 352 18446744073709551615 94737363296256 94737363312769 140723711690592 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94737363327536 94737363329624 94737370140672 140723711695254 140723711695394 140723711695394 140723711700967 0
/proc/46540/statm: 665 352 352 5 0 90 0
[pid=46541] ppid=46540 vsize=119016 memory=104484 CPUtime=25.4 cores=1,3
/proc/46541/stat : 46541 (CASHWMaxSAT-Dis) R 46540 46540 44972 0 -1 4194304 23536 0 0 0 2535 5 0 0 20 0 1 0 44374315 121872384 26121 18446744073709551615 4198400 14093885 140721279010688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47276032 140721279015324 140721279015451 140721279015451 140721279021024 0
/proc/46541/statm: 29754 26121 768 2416 0 26856 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 126000 KiB
Current children cumulated memory: 108964 KiB

[startup+51.1058 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 46543
/proc/meminfo: memFree=128427328/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46540] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46540/stat : 46540 (timeout) S 46537 46540 44972 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44374315 2723840 352 18446744073709551615 94737363296256 94737363312769 140723711690592 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94737363327536 94737363329624 94737370140672 140723711695254 140723711695394 140723711695394 140723711700967 0
/proc/46540/statm: 665 352 352 5 0 90 0
[pid=46541] ppid=46540 vsize=130620 memory=110464 CPUtime=50.92 cores=1,3
/proc/46541/stat : 46541 (CASHWMaxSAT-Dis) R 46540 46540 44972 0 -1 4194304 24994 0 0 0 5086 6 0 0 20 0 1 0 44374315 133754880 27616 18446744073709551615 4198400 14093885 140721279010688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47276032 140721279015324 140721279015451 140721279015451 140721279021024 0
/proc/46541/statm: 32655 27616 768 2416 0 29757 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 137604 KiB
Current children cumulated memory: 114944 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 46544
/proc/meminfo: memFree=128399076/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0

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

/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46720] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46720/stat : 46720 (timeout) S 46537 46720 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44494115 2723840 352 18446744073709551615 94027368464384 94027368480897 140724317564624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94027368495664 94027368497752 94027379748864 140724317567366 140724317567522 140724317567522 140724317573095 0
/proc/46720/statm: 665 352 352 5 0 90 0
[pid=46721] ppid=46720 vsize=1470184 memory=1174956 CPUtime=2257.54 cores=1,3
/proc/46721/stat : 46721 (ExactPR-S) R 46720 46720 44972 0 -1 4194304 271341 0 0 0 225593 161 0 0 20 0 1 0 44494116 1505468416 293739 18446744073709551615 94046736515072 94046745815109 140728624888640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94046747601216 94046747640296 94046771777536 140728624892318 140728624892455 140728624892455 140728624898028 0
/proc/46721/statm: 367546 293739 3520 2271 0 362184 0
Current children cumulated CPU time: 3451.88 s
Current children cumulated vsize: 1477168 KiB
Current children cumulated memory: 1179436 KiB

[startup+3522.3 s]
/proc/loadavg: 3.15 3.45 3.81 4/264 46906
/proc/meminfo: memFree=125470548/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=1194.34 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 284 29568 0 0 0 0 119424 10 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46720] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46720/stat : 46720 (timeout) S 46537 46720 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44494115 2723840 352 18446744073709551615 94027368464384 94027368480897 140724317564624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94027368495664 94027368497752 94027379748864 140724317567366 140724317567522 140724317567522 140724317573095 0
/proc/46720/statm: 665 352 352 5 0 90 0
[pid=46721] ppid=46720 vsize=1470184 memory=1174956 CPUtime=2317.37 cores=1,3
/proc/46721/stat : 46721 (ExactPR-S) R 46720 46720 44972 0 -1 4194304 271344 0 0 0 231575 162 0 0 20 0 1 0 44494116 1505468416 293739 18446744073709551615 94046736515072 94046745815109 140728624888640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94046747601216 94046747640296 94046771777536 140728624892318 140728624892455 140728624892455 140728624898028 0
/proc/46721/statm: 367546 293739 3520 2271 0 362184 0
Current children cumulated CPU time: 3511.71 s
Current children cumulated vsize: 1477168 KiB
Current children cumulated memory: 1179436 KiB

[startup+3582.3 s]
/proc/loadavg: 3.12 3.39 3.76 4/263 46908
/proc/meminfo: memFree=125474388/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=1194.34 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 284 29568 0 0 0 0 119424 10 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46720] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46720/stat : 46720 (timeout) S 46537 46720 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44494115 2723840 352 18446744073709551615 94027368464384 94027368480897 140724317564624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94027368495664 94027368497752 94027379748864 140724317567366 140724317567522 140724317567522 140724317573095 0
/proc/46720/statm: 665 352 352 5 0 90 0
[pid=46721] ppid=46720 vsize=1470184 memory=1174956 CPUtime=2377.2 cores=1,3
/proc/46721/stat : 46721 (ExactPR-S) R 46720 46720 44972 0 -1 4194304 271346 0 0 0 237557 163 0 0 20 0 1 0 44494116 1505468416 293739 18446744073709551615 94046736515072 94046745815109 140728624888640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94046747601216 94046747640296 94046771777536 140728624892318 140728624892455 140728624892455 140728624898028 0
/proc/46721/statm: 367546 293739 3520 2271 0 362184 0
Current children cumulated CPU time: 3571.54 s
Current children cumulated vsize: 1477168 KiB
Current children cumulated memory: 1179436 KiB

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

# cumulated CPU time of all completed processes:  user=3583.53 s, system=1.77536 s

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

[startup+3584 s]*
/proc/loadavg: 3.12 3.39 3.76 4/263 46908
/proc/meminfo: memFree=125477036/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=1194.34 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 284 29568 0 0 0 0 119424 10 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46720] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46720/stat : 46720 (timeout) S 46537 46720 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44494115 2723840 352 18446744073709551615 94027368464384 94027368480897 140724317564624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94027368495664 94027368497752 94027379748864 140724317567366 140724317567522 140724317567522 140724317573095 0
/proc/46720/statm: 665 352 352 5 0 90 0
[pid=46721] ppid=46720 vsize=1470184 memory=1174956 CPUtime=2378.9 cores=1,3
/proc/46721/stat : 46721 (ExactPR-S) R 46720 46720 44972 0 -1 4194304 271346 0 0 0 237727 163 0 0 20 0 1 0 44494116 1505468416 293739 18446744073709551615 94046736515072 94046745815109 140728624888640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94046747601216 94046747640296 94046771777536 140728624892318 140728624892455 140728624892455 140728624898028 0
/proc/46721/statm: 367546 293739 3520 2271 0 362184 0
Current children cumulated CPU time: 3573.24 s
Current children cumulated vsize: 1477168 KiB
Current children cumulated memory: 1179436 KiB

[startup+3590.4 s]
/proc/loadavg: 3.11 3.38 3.76 4/263 46908
/proc/meminfo: memFree=125477288/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=1194.34 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 284 29568 0 0 0 0 119424 10 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46720] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46720/stat : 46720 (timeout) S 46537 46720 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44494115 2723840 352 18446744073709551615 94027368464384 94027368480897 140724317564624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94027368495664 94027368497752 94027379748864 140724317567366 140724317567522 140724317567522 140724317573095 0
/proc/46720/statm: 665 352 352 5 0 90 0
[pid=46721] ppid=46720 vsize=1470184 memory=1174956 CPUtime=2385.29 cores=1,3
/proc/46721/stat : 46721 (ExactPR-S) R 46720 46720 44972 0 -1 4194304 271346 0 0 0 238365 164 0 0 20 0 1 0 44494116 1505468416 293739 18446744073709551615 94046736515072 94046745815109 140728624888640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94046747601216 94046747640296 94046771777536 140728624892318 140728624892455 140728624892455 140728624898028 0
/proc/46721/statm: 367546 293739 3520 2271 0 362184 0
Current children cumulated CPU time: 3579.63 s
Current children cumulated vsize: 1477168 KiB
Current children cumulated memory: 1179436 KiB

[startup+3593.6 s]
/proc/loadavg: 3.10 3.37 3.75 4/263 46908
/proc/meminfo: memFree=125473056/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=1194.34 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 284 29568 0 0 0 0 119424 10 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46720] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46720/stat : 46720 (timeout) S 46537 46720 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44494115 2723840 352 18446744073709551615 94027368464384 94027368480897 140724317564624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94027368495664 94027368497752 94027379748864 140724317567366 140724317567522 140724317567522 140724317573095 0
/proc/46720/statm: 665 352 352 5 0 90 0
[pid=46721] ppid=46720 vsize=1470184 memory=1174956 CPUtime=2388.48 cores=1,3
/proc/46721/stat : 46721 (ExactPR-S) R 46720 46720 44972 0 -1 4194304 271346 0 0 0 238684 164 0 0 20 0 1 0 44494116 1505468416 293739 18446744073709551615 94046736515072 94046745815109 140728624888640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94046747601216 94046747640296 94046771777536 140728624892318 140728624892455 140728624892455 140728624898028 0
/proc/46721/statm: 367546 293739 3520 2271 0 362184 0
Current children cumulated CPU time: 3582.82 s
Current children cumulated vsize: 1477168 KiB
Current children cumulated memory: 1179436 KiB

[startup+3595.2 s]
/proc/loadavg: 3.10 3.37 3.75 4/263 46908
/proc/meminfo: memFree=125473308/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=1194.34 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 284 29568 0 0 0 0 119424 10 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46720] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46720/stat : 46720 (timeout) S 46537 46720 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44494115 2723840 352 18446744073709551615 94027368464384 94027368480897 140724317564624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94027368495664 94027368497752 94027379748864 140724317567366 140724317567522 140724317567522 140724317573095 0
/proc/46720/statm: 665 352 352 5 0 90 0
[pid=46721] ppid=46720 vsize=1470184 memory=1174956 CPUtime=2390.07 cores=1,3
/proc/46721/stat : 46721 (ExactPR-S) R 46720 46720 44972 0 -1 4194304 271346 0 0 0 238843 164 0 0 20 0 1 0 44494116 1505468416 293739 18446744073709551615 94046736515072 94046745815109 140728624888640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94046747601216 94046747640296 94046771777536 140728624892318 140728624892455 140728624892455 140728624898028 0
/proc/46721/statm: 367546 293739 3520 2271 0 362184 0
Current children cumulated CPU time: 3584.41 s
Current children cumulated vsize: 1477168 KiB
Current children cumulated memory: 1179436 KiB

[startup+3595.6 s]
/proc/loadavg: 3.10 3.37 3.75 4/263 46908
/proc/meminfo: memFree=125473308/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=1194.34 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 284 29568 0 0 0 0 119424 10 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46720] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46720/stat : 46720 (timeout) S 46537 46720 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44494115 2723840 352 18446744073709551615 94027368464384 94027368480897 140724317564624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94027368495664 94027368497752 94027379748864 140724317567366 140724317567522 140724317567522 140724317573095 0
/proc/46720/statm: 665 352 352 5 0 90 0
[pid=46721] ppid=46720 vsize=1470184 memory=1174956 CPUtime=2390.47 cores=1,3
/proc/46721/stat : 46721 (ExactPR-S) R 46720 46720 44972 0 -1 4194304 271346 0 0 0 238883 164 0 0 20 0 1 0 44494116 1505468416 293739 18446744073709551615 94046736515072 94046745815109 140728624888640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94046747601216 94046747640296 94046771777536 140728624892318 140728624892455 140728624892455 140728624898028 0
/proc/46721/statm: 367546 293739 3520 2271 0 362184 0
Current children cumulated CPU time: 3584.81 s
Current children cumulated vsize: 1477168 KiB
Current children cumulated memory: 1179436 KiB

[startup+3596 s]*
/proc/loadavg: 3.10 3.37 3.75 4/263 46908
/proc/meminfo: memFree=125473308/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=1194.34 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 284 29568 0 0 0 0 119424 10 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
[pid=46720] ppid=46537 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/46720/stat : 46720 (timeout) S 46537 46720 44972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 44494115 2723840 352 18446744073709551615 94027368464384 94027368480897 140724317564624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94027368495664 94027368497752 94027379748864 140724317567366 140724317567522 140724317567522 140724317573095 0
/proc/46720/statm: 665 352 352 5 0 90 0
[pid=46721] ppid=46720 vsize=1470184 memory=1174956 CPUtime=2390.88 cores=1,3
/proc/46721/stat : 46721 (ExactPR-S) R 46720 46720 44972 0 -1 4194304 271346 0 0 0 238924 164 0 0 20 0 1 0 44494116 1505468416 293739 18446744073709551615 94046736515072 94046745815109 140728624888640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94046747601216 94046747640296 94046771777536 140728624892318 140728624892455 140728624892455 140728624898028 0
/proc/46721/statm: 367546 293739 3520 2271 0 362184 0
Current children cumulated CPU time: 3585.22 s
Current children cumulated vsize: 1477168 KiB
Current children cumulated memory: 1179436 KiB

[startup+3596.11 s]
/proc/loadavg: 3.10 3.37 3.75 4/263 46908
/proc/meminfo: memFree=125473308/131250000 swapFree=33010684/33010684
[pid=46537] ppid=46534 vsize=4324 memory=3072 CPUtime=3585.29 cores=1,3
/proc/46537/stat : 46537 (Hybrid-CASHWMax) S 46534 46537 44972 0 -1 4194304 508 303687 0 0 0 0 358352 177 20 0 1 0 44374313 4427776 768 18446744073709551615 94796972105728 94796973000261 140729985461232 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94796973239312 94796973287056 94796999802880 140729985464663 140729985464817 140729985464817 140729985470419 0
/proc/46537/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3585.29 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.11
CPU time (s): 3585.3
CPU user time (s): 3583.53
CPU system time (s): 1.77536
CPU usage (%): 99.6994
Max. virtual memory (cumulated for all children) (KiB): 1747408
Max. memory (cumulated for all children) (KiB): 1241692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.53
system time used= 1.77536
maximum resident set size= 1237212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304425
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2069
involuntary context switches= 20309


# summary of solver processes directly reported to runsolver:
#   pid: 46537
#   total CPU time (s): 3585.3
#   total CPU user time (s): 3583.53
#   total CPU system time (s): 1.77536

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69685 second user time and 18.9858 second system time

The end