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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486314-1751310470/watcher-4486314-1751310470 -o /tmp/evaluation-result-4486314-1751310470/solver-4486314-1751310470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751303274-41993 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4486314-1751310470.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=43001, runsolver pid=42998
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.14 4.17 4.13 5/272 43005
/proc/meminfo: memFree=128685200/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43004] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43004/stat : 43004 (timeout) S 43001 43004 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46725605 2723840 352 18446744073709551615 94820255707136 94820255723649 140733177736400 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94820255738416 94820255740504 94820288147456 140733177739672 140733177739810 140733177739810 140733177745383 0
/proc/43004/statm: 665 352 352 5 0 90 0
[pid=43005] ppid=43004 vsize=34756 memory=16256 CPUtime=0.08 cores=1,3
/proc/43005/stat : 43005 (CASHWMaxSAT-Dis) R 43004 43004 41981 0 -1 4194304 3415 0 0 0 8 0 0 0 20 0 1 0 46725606 35590144 4064 18446744073709551615 4198400 14093885 140722338864800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26497024 140722338867613 140722338867739 140722338867739 140722338873312 0
/proc/43005/statm: 8688 4064 736 2416 0 5790 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 41740 KiB
Current children cumulated memory: 20736 KiB

[startup+0.205794 s]*
/proc/loadavg: 4.14 4.17 4.13 5/272 43005
/proc/meminfo: memFree=128685200/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43004] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43004/stat : 43004 (timeout) S 43001 43004 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46725605 2723840 352 18446744073709551615 94820255707136 94820255723649 140733177736400 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94820255738416 94820255740504 94820288147456 140733177739672 140733177739810 140733177739810 140733177745383 0
/proc/43004/statm: 665 352 352 5 0 90 0
[pid=43005] ppid=43004 vsize=47408 memory=29376 CPUtime=0.18 cores=1,3
/proc/43005/stat : 43005 (CASHWMaxSAT-Dis) R 43004 43004 41981 0 -1 4194304 6897 0 0 0 17 1 0 0 20 0 1 0 46725606 48545792 7344 18446744073709551615 4198400 14093885 140722338864800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26497024 140722338867613 140722338867739 140722338867739 140722338873312 0
/proc/43005/statm: 11852 7344 768 2416 0 8954 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 54392 KiB
Current children cumulated memory: 33856 KiB

[startup+0.305765 s]*
/proc/loadavg: 4.14 4.17 4.13 5/272 43005
/proc/meminfo: memFree=128669260/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43004] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43004/stat : 43004 (timeout) S 43001 43004 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46725605 2723840 352 18446744073709551615 94820255707136 94820255723649 140733177736400 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94820255738416 94820255740504 94820288147456 140733177739672 140733177739810 140733177739810 140733177745383 0
/proc/43004/statm: 665 352 352 5 0 90 0
[pid=43005] ppid=43004 vsize=66276 memory=47024 CPUtime=0.28 cores=1,3
/proc/43005/stat : 43005 (CASHWMaxSAT-Dis) R 43004 43004 41981 0 -1 4194304 10763 0 0 0 26 2 0 0 20 0 1 0 46725606 67866624 11756 18446744073709551615 4198400 14093885 140722338864800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26497024 140722338867613 140722338867739 140722338867739 140722338873312 0
/proc/43005/statm: 16569 11756 768 2416 0 13671 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 73260 KiB
Current children cumulated memory: 51504 KiB

[startup+0.700189 s]
/proc/loadavg: 4.14 4.17 4.13 5/272 43005
/proc/meminfo: memFree=128630448/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43004] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43004/stat : 43004 (timeout) S 43001 43004 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46725605 2723840 352 18446744073709551615 94820255707136 94820255723649 140733177736400 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94820255738416 94820255740504 94820288147456 140733177739672 140733177739810 140733177739810 140733177745383 0
/proc/43004/statm: 665 352 352 5 0 90 0
[pid=43005] ppid=43004 vsize=83344 memory=66148 CPUtime=0.66 cores=1,3
/proc/43005/stat : 43005 (CASHWMaxSAT-Dis) R 43004 43004 41981 0 -1 4194304 14781 0 0 0 64 2 0 0 20 0 1 0 46725606 85344256 16537 18446744073709551615 4198400 14093885 140722338864800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26497024 140722338867613 140722338867739 140722338867739 140722338873312 0
/proc/43005/statm: 20836 16537 800 2416 0 17938 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 90328 KiB
Current children cumulated memory: 70628 KiB

[startup+1.50023 s]
/proc/loadavg: 4.14 4.17 4.13 4/268 43041
/proc/meminfo: memFree=129395248/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43004] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43004/stat : 43004 (timeout) S 43001 43004 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46725605 2723840 352 18446744073709551615 94820255707136 94820255723649 140733177736400 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94820255738416 94820255740504 94820288147456 140733177739672 140733177739810 140733177739810 140733177745383 0
/proc/43004/statm: 665 352 352 5 0 90 0
[pid=43005] ppid=43004 vsize=87740 memory=71428 CPUtime=1.47 cores=1,3
/proc/43005/stat : 43005 (CASHWMaxSAT-Dis) R 43004 43004 41981 0 -1 4194304 15597 0 0 0 144 3 0 0 20 0 1 0 46725606 89845760 17857 18446744073709551615 4198400 14093885 140722338864800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26497024 140722338867613 140722338867739 140722338867739 140722338873312 0
/proc/43005/statm: 21935 17857 800 2416 0 19037 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 94724 KiB
Current children cumulated memory: 75908 KiB

[startup+3.10568 s]
/proc/loadavg: 4.13 4.17 4.13 5/272 43075
/proc/meminfo: memFree=129079812/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43004] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43004/stat : 43004 (timeout) S 43001 43004 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46725605 2723840 352 18446744073709551615 94820255707136 94820255723649 140733177736400 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94820255738416 94820255740504 94820288147456 140733177739672 140733177739810 140733177739810 140733177745383 0
/proc/43004/statm: 665 352 352 5 0 90 0
[pid=43005] ppid=43004 vsize=92160 memory=76820 CPUtime=3.07 cores=1,3
/proc/43005/stat : 43005 (CASHWMaxSAT-Dis) R 43004 43004 41981 0 -1 4194304 16424 0 0 0 304 3 0 0 20 0 1 0 46725606 94371840 19205 18446744073709551615 4198400 14093885 140722338864800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26497024 140722338867613 140722338867739 140722338867739 140722338873312 0
/proc/43005/statm: 23040 19205 800 2416 0 20142 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 99144 KiB
Current children cumulated memory: 81300 KiB

[startup+6.30024 s]
/proc/loadavg: 4.13 4.17 4.13 5/272 43075
/proc/meminfo: memFree=129031912/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43004] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43004/stat : 43004 (timeout) S 43001 43004 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46725605 2723840 352 18446744073709551615 94820255707136 94820255723649 140733177736400 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94820255738416 94820255740504 94820288147456 140733177739672 140733177739810 140733177739810 140733177745383 0
/proc/43004/statm: 665 352 352 5 0 90 0
[pid=43005] ppid=43004 vsize=96588 memory=81356 CPUtime=6.25 cores=1,3
/proc/43005/stat : 43005 (CASHWMaxSAT-Dis) R 43004 43004 41981 0 -1 4194304 17327 0 0 0 622 3 0 0 20 0 1 0 46725606 98906112 20339 18446744073709551615 4198400 14093885 140722338864800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26497024 140722338867613 140722338867739 140722338867739 140722338873312 0
/proc/43005/statm: 24147 20339 800 2416 0 21249 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 103572 KiB
Current children cumulated memory: 85836 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.16 4.13 5/272 43125
/proc/meminfo: memFree=129107456/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43004] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43004/stat : 43004 (timeout) S 43001 43004 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46725605 2723840 352 18446744073709551615 94820255707136 94820255723649 140733177736400 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94820255738416 94820255740504 94820288147456 140733177739672 140733177739810 140733177739810 140733177745383 0
/proc/43004/statm: 665 352 352 5 0 90 0
[pid=43005] ppid=43004 vsize=108192 memory=92960 CPUtime=12.63 cores=1,3
/proc/43005/stat : 43005 (CASHWMaxSAT-Dis) R 43004 43004 41981 0 -1 4194304 17809 0 0 0 1259 4 0 0 20 0 1 0 46725606 110788608 23240 18446744073709551615 4198400 14093885 140722338864800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26497024 140722338867613 140722338867739 140722338867739 140722338873312 0
/proc/43005/statm: 27048 23240 800 2416 0 24150 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 115176 KiB
Current children cumulated memory: 97440 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.15 4.12 5/272 43126
/proc/meminfo: memFree=129111004/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43004] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43004/stat : 43004 (timeout) S 43001 43004 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46725605 2723840 352 18446744073709551615 94820255707136 94820255723649 140733177736400 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94820255738416 94820255740504 94820288147456 140733177739672 140733177739810 140733177739810 140733177745383 0
/proc/43004/statm: 665 352 352 5 0 90 0
[pid=43005] ppid=43004 vsize=138540 memory=119212 CPUtime=25.39 cores=1,3
/proc/43005/stat : 43005 (CASHWMaxSAT-Dis) R 43004 43004 41981 0 -1 4194304 18240 0 0 0 2535 4 0 0 20 0 1 0 46725606 141864960 29803 18446744073709551615 4198400 14093885 140722338864800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26497024 140722338867613 140722338867739 140722338867739 140722338873312 0
/proc/43005/statm: 34635 29803 800 2416 0 31737 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 145524 KiB
Current children cumulated memory: 123692 KiB

[startup+51.1057 s]
/proc/loadavg: 4.24 4.19 4.14 5/272 43126
/proc/meminfo: memFree=129106332/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43004] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43004/stat : 43004 (timeout) S 43001 43004 41981 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46725605 2723840 352 18446744073709551615 94820255707136 94820255723649 140733177736400 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94820255738416 94820255740504 94820288147456 140733177739672 140733177739810 140733177739810 140733177745383 0
/proc/43004/statm: 665 352 352 5 0 90 0
[pid=43005] ppid=43004 vsize=138540 memory=123308 CPUtime=50.91 cores=1,3
/proc/43005/stat : 43005 (CASHWMaxSAT-Dis) R 43004 43004 41981 0 -1 4194304 18286 0 0 0 5087 4 0 0 20 0 1 0 46725606 141864960 30827 18446744073709551615 4198400 14093885 140722338864800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26497024 140722338867613 140722338867739 140722338867739 140722338873312 0
/proc/43005/statm: 34635 30827 800 2416 0 31737 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 145524 KiB
Current children cumulated memory: 127788 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.17 4.13 5/271 43128
/proc/meminfo: memFree=129056828/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 253 105 0 0 0 0 0 0 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0

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

/proc/43167/statm: 92761 88989 3360 2271 0 87399 0
Current children cumulated CPU time: 3513.62 s
Current children cumulated vsize: 378028 KiB
Current children cumulated memory: 360436 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/270 43309
/proc/meminfo: memFree=128148056/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=896.5 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 286 25392 0 0 0 0 89629 21 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43166] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43166/stat : 43166 (timeout) S 43001 43166 41981 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46815506 2723840 352 18446744073709551615 94636269420544 94636269437057 140736631389680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94636269451824 94636269453912 94636285190144 140736631392645 140736631392802 140736631392802 140736631398375 0
/proc/43166/statm: 665 352 352 5 0 90 0
[pid=43167] ppid=43166 vsize=371044 memory=355956 CPUtime=2676.97 cores=1,3
/proc/43167/stat : 43167 (ExactPR-S9) R 43166 43166 41981 0 -1 4194304 78225 0 0 0 262222 5475 0 0 20 0 1 0 46815506 379949056 88989 18446744073709551615 93981645148160 93981654448261 140732986598896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93981656234304 93981656273384 93981681930240 140732986603932 140732986604070 140732986604070 140732986609643 0
/proc/43167/statm: 92761 88989 3360 2271 0 87399 0
Current children cumulated CPU time: 3573.47 s
Current children cumulated vsize: 378028 KiB
Current children cumulated memory: 360436 KiB

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

# cumulated CPU time of all completed processes:  user=3533.49 s, system=55.0213 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 5/270 43309
/proc/meminfo: memFree=128148056/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=896.5 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 286 25392 0 0 0 0 89629 21 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43166] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43166/stat : 43166 (timeout) S 43001 43166 41981 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46815506 2723840 352 18446744073709551615 94636269420544 94636269437057 140736631389680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94636269451824 94636269453912 94636285190144 140736631392645 140736631392802 140736631392802 140736631398375 0
/proc/43166/statm: 665 352 352 5 0 90 0
[pid=43167] ppid=43166 vsize=371044 memory=355956 CPUtime=2678.67 cores=1,3
/proc/43167/stat : 43167 (ExactPR-S9) R 43166 43166 41981 0 -1 4194304 78225 0 0 0 262392 5475 0 0 20 0 1 0 46815506 379949056 88989 18446744073709551615 93981645148160 93981654448261 140732986598896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93981656234304 93981656273384 93981681930240 140732986603932 140732986604070 140732986604070 140732986609643 0
/proc/43167/statm: 92761 88989 3360 2271 0 87399 0
Current children cumulated CPU time: 3575.17 s
Current children cumulated vsize: 378028 KiB
Current children cumulated memory: 360436 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 43309
/proc/meminfo: memFree=128148072/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=896.5 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 286 25392 0 0 0 0 89629 21 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43166] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43166/stat : 43166 (timeout) S 43001 43166 41981 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46815506 2723840 352 18446744073709551615 94636269420544 94636269437057 140736631389680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94636269451824 94636269453912 94636285190144 140736631392645 140736631392802 140736631392802 140736631398375 0
/proc/43166/statm: 665 352 352 5 0 90 0
[pid=43167] ppid=43166 vsize=371044 memory=355956 CPUtime=2685.05 cores=1,3
/proc/43167/stat : 43167 (ExactPR-S9) R 43166 43166 41981 0 -1 4194304 78225 0 0 0 263029 5476 0 0 20 0 1 0 46815506 379949056 88989 18446744073709551615 93981645148160 93981654448261 140732986598896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93981656234304 93981656273384 93981681930240 140732986603932 140732986604070 140732986604070 140732986609643 0
/proc/43167/statm: 92761 88989 3360 2271 0 87399 0
Current children cumulated CPU time: 3581.55 s
Current children cumulated vsize: 378028 KiB
Current children cumulated memory: 360436 KiB

[startup+3593.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 43309
/proc/meminfo: memFree=128148080/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=896.5 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 286 25392 0 0 0 0 89629 21 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43166] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43166/stat : 43166 (timeout) S 43001 43166 41981 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46815506 2723840 352 18446744073709551615 94636269420544 94636269437057 140736631389680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94636269451824 94636269453912 94636285190144 140736631392645 140736631392802 140736631392802 140736631398375 0
/proc/43166/statm: 665 352 352 5 0 90 0
[pid=43167] ppid=43166 vsize=371044 memory=355956 CPUtime=2688.25 cores=1,3
/proc/43167/stat : 43167 (ExactPR-S9) R 43166 43166 41981 0 -1 4194304 78225 0 0 0 263349 5476 0 0 20 0 1 0 46815506 379949056 88989 18446744073709551615 93981645148160 93981654448261 140732986598896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93981656234304 93981656273384 93981681930240 140732986603932 140732986604070 140732986604070 140732986609643 0
/proc/43167/statm: 92761 88989 3360 2271 0 87399 0
Current children cumulated CPU time: 3584.75 s
Current children cumulated vsize: 378028 KiB
Current children cumulated memory: 360436 KiB

[startup+3595.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 43309
/proc/meminfo: memFree=128148080/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=896.5 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 286 25392 0 0 0 0 89629 21 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43166] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43166/stat : 43166 (timeout) S 43001 43166 41981 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46815506 2723840 352 18446744073709551615 94636269420544 94636269437057 140736631389680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94636269451824 94636269453912 94636285190144 140736631392645 140736631392802 140736631392802 140736631398375 0
/proc/43166/statm: 665 352 352 5 0 90 0
[pid=43167] ppid=43166 vsize=371044 memory=355956 CPUtime=2689.84 cores=1,3
/proc/43167/stat : 43167 (ExactPR-S9) R 43166 43166 41981 0 -1 4194304 78225 0 0 0 263508 5476 0 0 20 0 1 0 46815506 379949056 88989 18446744073709551615 93981645148160 93981654448261 140732986598896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93981656234304 93981656273384 93981681930240 140732986603932 140732986604070 140732986604070 140732986609643 0
/proc/43167/statm: 92761 88989 3360 2271 0 87399 0
Current children cumulated CPU time: 3586.34 s
Current children cumulated vsize: 378028 KiB
Current children cumulated memory: 360436 KiB

[startup+3596 s]*
/proc/loadavg: 4.09 4.11 4.09 4/264 43339
/proc/meminfo: memFree=128412316/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=896.5 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 286 25392 0 0 0 0 89629 21 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43166] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43166/stat : 43166 (timeout) S 43001 43166 41981 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46815506 2723840 352 18446744073709551615 94636269420544 94636269437057 140736631389680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94636269451824 94636269453912 94636285190144 140736631392645 140736631392802 140736631392802 140736631398375 0
/proc/43166/statm: 665 352 352 5 0 90 0
[pid=43167] ppid=43166 vsize=371044 memory=355956 CPUtime=2690.64 cores=1,3
/proc/43167/stat : 43167 (ExactPR-S9) R 43166 43166 41981 0 -1 4194304 78225 0 0 0 263588 5476 0 0 20 0 1 0 46815506 379949056 88989 18446744073709551615 93981645148160 93981654448261 140732986598896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93981656234304 93981656273384 93981681930240 140732986603932 140732986604070 140732986604070 140732986609643 0
/proc/43167/statm: 92761 88989 3360 2271 0 87399 0
Current children cumulated CPU time: 3587.14 s
Current children cumulated vsize: 378028 KiB
Current children cumulated memory: 360436 KiB

[startup+3596.8 s]
/proc/loadavg: 4.09 4.11 4.09 4/264 43339
/proc/meminfo: memFree=128412316/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=896.5 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 286 25392 0 0 0 0 89629 21 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43166] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43166/stat : 43166 (timeout) S 43001 43166 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46815506 2723840 352 18446744073709551615 94636269420544 94636269437057 140736631389680 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94636269451824 94636269453912 94636285190144 140736631392645 140736631392802 140736631392802 140736631398375 0
/proc/43166/statm: 665 352 352 5 0 90 0
[pid=43167] ppid=43166 vsize=371044 memory=355956 CPUtime=2691.44 cores=1,3
/proc/43167/stat : 43167 (ExactPR-S9) R 43166 43166 41981 0 -1 4194304 78225 0 0 0 263667 5477 0 0 20 0 1 0 46815506 379949056 88989 18446744073709551615 93981645148160 93981654448261 140732986598896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93981656234304 93981656273384 93981681930240 140732986603932 140732986604070 140732986604070 140732986609643 0
/proc/43167/statm: 92761 88989 3360 2271 0 87399 0
Current children cumulated CPU time: 3587.94 s
Current children cumulated vsize: 378028 KiB
Current children cumulated memory: 360436 KiB

[startup+3597.2 s]
/proc/loadavg: 4.09 4.11 4.09 4/262 43362
/proc/meminfo: memFree=128413812/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=896.5 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 286 25392 0 0 0 0 89629 21 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43166] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43166/stat : 43166 (timeout) S 43001 43166 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46815506 2723840 352 18446744073709551615 94636269420544 94636269437057 140736631389680 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94636269451824 94636269453912 94636285190144 140736631392645 140736631392802 140736631392802 140736631398375 0
/proc/43166/statm: 665 352 352 5 0 90 0
[pid=43167] ppid=43166 vsize=371044 memory=355956 CPUtime=2691.83 cores=1,3
/proc/43167/stat : 43167 (ExactPR-S9) R 43166 43166 41981 0 -1 4194304 78225 0 0 0 263706 5477 0 0 20 0 1 0 46815506 379949056 88989 18446744073709551615 93981645148160 93981654448261 140732986598896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93981656234304 93981656273384 93981681930240 140732986603932 140732986604070 140732986604070 140732986609643 0
/proc/43167/statm: 92761 88989 3360 2271 0 87399 0
Current children cumulated CPU time: 3588.33 s
Current children cumulated vsize: 378028 KiB
Current children cumulated memory: 360436 KiB

[startup+3597.3 s]
/proc/loadavg: 4.09 4.11 4.09 4/262 43362
/proc/meminfo: memFree=128413812/131249988 swapFree=33010684/33010684
[pid=43001] ppid=42998 vsize=4324 memory=3072 CPUtime=896.5 cores=1,3
/proc/43001/stat : 43001 (Hybrid-CASHWMax) S 42998 43001 41981 0 -1 4194304 286 25392 0 0 0 0 89629 21 20 0 1 0 46725604 4427776 768 18446744073709551615 94498490339328 94498491233861 140720688203408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94498491472912 94498491520656 94498494656512 140720688212309 140720688212464 140720688212464 140720688218066 0
/proc/43001/statm: 1081 768 704 219 0 143 0
[pid=43166] ppid=43001 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/43166/stat : 43166 (timeout) S 43001 43166 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46815506 2723840 352 18446744073709551615 94636269420544 94636269437057 140736631389680 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94636269451824 94636269453912 94636285190144 140736631392645 140736631392802 140736631392802 140736631398375 0
/proc/43166/statm: 665 352 352 5 0 90 0
[pid=43167] ppid=43166 vsize=371044 memory=355956 CPUtime=2691.93 cores=1,3
/proc/43167/stat : 43167 (ExactPR-S9) R 43166 43166 41981 0 -1 4194304 78225 0 0 0 263716 5477 0 0 20 0 1 0 46815506 379949056 88989 18446744073709551615 93981645148160 93981654448261 140732986598896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93981656234304 93981656273384 93981681930240 140732986603932 140732986604070 140732986604070 140732986609643 0
/proc/43167/statm: 92761 88989 3360 2271 0 87399 0
Current children cumulated CPU time: 3588.43 s
Current children cumulated vsize: 378028 KiB
Current children cumulated memory: 360436 KiB

Child status: 0

Real time (s): 3597.4
CPU time (s): 3588.52
CPU user time (s): 3533.49
CPU system time (s): 55.0213
CPU usage (%): 99.753
Max. virtual memory (cumulated for all children) (KiB): 479984
Max. memory (cumulated for all children) (KiB): 379516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3533.49
system time used= 55.0213
maximum resident set size= 376568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107164
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= 1966
involuntary context switches= 1359


# summary of solver processes directly reported to runsolver:
#   pid: 43001
#   total CPU time (s): 3588.52
#   total CPU user time (s): 3533.49
#   total CPU system time (s): 55.0213

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73142 second user time and 16.6713 second system time

The end