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: 63665 MiB (62966 MiB free)
  memory of node 1: 64507 MiB (63986 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484932-1751301534/watcher-4484932-1751301534 -o /tmp/evaluation-result-4484932-1751301534/solver-4484932-1751301534 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751301533-41966 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4484932-1751301534.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=42011, runsolver pid=42005

[startup+0.100061 s]*
/proc/loadavg: 0.62 1.92 3.13 5/272 42036
/proc/meminfo: memFree=129947520/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 248 103 0 1 0 0 0 0 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42027] ppid=42011 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42027/stat : 42027 (timeout) S 42011 42027 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831146 2723840 352 18446744073709551615 94457343086592 94457343103105 140725343101536 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94457343117872 94457343119960 94457369235456 140725343107478 140725343107618 140725343107618 140725343113191 0
/proc/42027/statm: 665 352 352 5 0 90 0
[pid=42031] ppid=42027 vsize=31732 memory=17280 CPUtime=0.06 cores=4,6
/proc/42031/stat : 42031 (CASHWMaxSAT-Dis) R 42027 42027 41955 0 -1 4194304 3545 0 0 0 6 0 0 0 20 0 1 0 45831147 32493568 4320 18446744073709551615 4198400 14817773 140733641100992 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22810624 140733641107868 140733641107995 140733641107995 140733641113568 0
/proc/42031/statm: 7933 4320 864 2593 0 4826 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 21760 KiB

[startup+0.20604 s]*
/proc/loadavg: 0.62 1.92 3.13 6/272 42036
/proc/meminfo: memFree=129892340/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 248 103 0 1 0 0 0 0 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42027] ppid=42011 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42027/stat : 42027 (timeout) S 42011 42027 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831146 2723840 352 18446744073709551615 94457343086592 94457343103105 140725343101536 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94457343117872 94457343119960 94457369235456 140725343107478 140725343107618 140725343107618 140725343113191 0
/proc/42027/statm: 665 352 352 5 0 90 0
[pid=42031] ppid=42027 vsize=51076 memory=36608 CPUtime=0.16 cores=4,6
/proc/42031/stat : 42031 (CASHWMaxSAT-Dis) R 42027 42027 41955 0 -1 4194304 8396 0 0 0 15 1 0 0 20 0 1 0 45831147 52301824 9152 18446744073709551615 4198400 14817773 140733641100992 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22810624 140733641107868 140733641107995 140733641107995 140733641113568 0
/proc/42031/statm: 12769 9152 864 2593 0 9662 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 58060 KiB
Current children cumulated memory: 41088 KiB

[startup+0.305937 s]*
/proc/loadavg: 0.89 1.95 3.13 5/272 42036
/proc/meminfo: memFree=129852272/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 248 103 0 1 0 0 0 0 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42027] ppid=42011 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42027/stat : 42027 (timeout) S 42011 42027 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831146 2723840 352 18446744073709551615 94457343086592 94457343103105 140725343101536 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94457343117872 94457343119960 94457369235456 140725343107478 140725343107618 140725343107618 140725343113191 0
/proc/42027/statm: 665 352 352 5 0 90 0
[pid=42031] ppid=42027 vsize=69392 memory=54912 CPUtime=0.27 cores=4,6
/proc/42031/stat : 42031 (CASHWMaxSAT-Dis) R 42027 42027 41955 0 -1 4194304 12977 0 0 0 25 2 0 0 20 0 1 0 45831147 71057408 13728 18446744073709551615 4198400 14817773 140733641100992 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22810624 140733641107868 140733641107995 140733641107995 140733641113568 0
/proc/42031/statm: 17348 13728 864 2593 0 14241 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 76376 KiB
Current children cumulated memory: 59392 KiB

[startup+0.700237 s]
/proc/loadavg: 0.89 1.95 3.13 5/272 42036
/proc/meminfo: memFree=129835492/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 248 103 0 1 0 0 0 0 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42027] ppid=42011 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42027/stat : 42027 (timeout) S 42011 42027 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831146 2723840 352 18446744073709551615 94457343086592 94457343103105 140725343101536 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94457343117872 94457343119960 94457369235456 140725343107478 140725343107618 140725343107618 140725343113191 0
/proc/42027/statm: 665 352 352 5 0 90 0
[pid=42031] ppid=42027 vsize=82120 memory=67436 CPUtime=0.65 cores=4,6
/proc/42031/stat : 42031 (CASHWMaxSAT-Dis) R 42027 42027 41955 0 -1 4194304 16673 0 0 0 62 3 0 0 20 0 1 0 45831147 84090880 16859 18446744073709551615 4198400 14817773 140733641100992 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22810624 140733641107868 140733641107995 140733641107995 140733641113568 0
/proc/42031/statm: 20530 16859 960 2593 0 17423 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 89104 KiB
Current children cumulated memory: 71916 KiB

[startup+1.50022 s]
/proc/loadavg: 0.89 1.95 3.13 5/272 42036
/proc/meminfo: memFree=129819868/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 248 103 0 1 0 0 0 0 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42027] ppid=42011 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42027/stat : 42027 (timeout) S 42011 42027 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831146 2723840 352 18446744073709551615 94457343086592 94457343103105 140725343101536 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94457343117872 94457343119960 94457369235456 140725343107478 140725343107618 140725343107618 140725343113191 0
/proc/42027/statm: 665 352 352 5 0 90 0
[pid=42031] ppid=42027 vsize=87224 memory=73268 CPUtime=1.45 cores=4,6
/proc/42031/stat : 42031 (CASHWMaxSAT-Dis) R 42027 42027 41955 0 -1 4194304 21033 0 0 0 141 4 0 0 20 0 1 0 45831147 89317376 18317 18446744073709551615 4198400 14817773 140733641100992 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22810624 140733641107868 140733641107995 140733641107995 140733641113568 0
/proc/42031/statm: 21806 18317 992 2593 0 18699 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 94208 KiB
Current children cumulated memory: 77748 KiB

[startup+3.10569 s]
/proc/loadavg: 0.89 1.95 3.13 5/272 42036
/proc/meminfo: memFree=129806520/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 248 103 0 1 0 0 0 0 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42027] ppid=42011 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42027/stat : 42027 (timeout) S 42011 42027 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831146 2723840 352 18446744073709551615 94457343086592 94457343103105 140725343101536 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94457343117872 94457343119960 94457369235456 140725343107478 140725343107618 140725343107618 140725343113191 0
/proc/42027/statm: 665 352 352 5 0 90 0
[pid=42031] ppid=42027 vsize=87712 memory=73756 CPUtime=3.05 cores=4,6
/proc/42031/stat : 42031 (CASHWMaxSAT-Dis) R 42027 42027 41955 0 -1 4194304 22405 0 0 0 300 5 0 0 20 0 1 0 45831147 89817088 18439 18446744073709551615 4198400 14817773 140733641100992 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22810624 140733641107868 140733641107995 140733641107995 140733641113568 0
/proc/42031/statm: 21928 18439 992 2593 0 18821 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 94696 KiB
Current children cumulated memory: 78236 KiB

[startup+6.30021 s]
/proc/loadavg: 1.14 1.99 3.14 5/272 42036
/proc/meminfo: memFree=129797836/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 248 103 0 1 0 0 0 0 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42027] ppid=42011 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42027/stat : 42027 (timeout) S 42011 42027 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831146 2723840 352 18446744073709551615 94457343086592 94457343103105 140725343101536 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94457343117872 94457343119960 94457369235456 140725343107478 140725343107618 140725343107618 140725343113191 0
/proc/42027/statm: 665 352 352 5 0 90 0
[pid=42031] ppid=42027 vsize=83996 memory=70052 CPUtime=6.24 cores=4,6
/proc/42031/stat : 42031 (CASHWMaxSAT-Dis) R 42027 42027 41955 0 -1 4194304 25483 0 0 0 618 6 0 0 20 0 1 0 45831147 86011904 17513 18446744073709551615 4198400 14817773 140733641100992 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22810624 140733641107868 140733641107995 140733641107995 140733641113568 0
/proc/42031/statm: 20999 17513 992 2593 0 17892 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 90980 KiB
Current children cumulated memory: 74532 KiB

[startup+12.7002 s]
/proc/loadavg: 1.45 2.04 3.15 5/272 42036
/proc/meminfo: memFree=129786684/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 248 103 0 1 0 0 0 0 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42027] ppid=42011 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42027/stat : 42027 (timeout) S 42011 42027 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831146 2723840 352 18446744073709551615 94457343086592 94457343103105 140725343101536 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94457343117872 94457343119960 94457369235456 140725343107478 140725343107618 140725343107618 140725343113191 0
/proc/42027/statm: 665 352 352 5 0 90 0
[pid=42031] ppid=42027 vsize=91040 memory=76692 CPUtime=12.61 cores=4,6
/proc/42031/stat : 42031 (CASHWMaxSAT-Dis) R 42027 42027 41955 0 -1 4194304 31161 0 0 0 1254 7 0 0 20 0 1 0 45831147 93224960 19173 18446744073709551615 4198400 14817773 140733641100992 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22810624 140733641107868 140733641107995 140733641107995 140733641113568 0
/proc/42031/statm: 22760 19173 992 2593 0 19653 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 98024 KiB
Current children cumulated memory: 81172 KiB

[startup+25.5002 s]
/proc/loadavg: 1.84 2.10 3.16 5/272 42036
/proc/meminfo: memFree=129758648/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 248 103 0 1 0 0 0 0 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42027] ppid=42011 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42027/stat : 42027 (timeout) S 42011 42027 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831146 2723840 352 18446744073709551615 94457343086592 94457343103105 140725343101536 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94457343117872 94457343119960 94457369235456 140725343107478 140725343107618 140725343107618 140725343113191 0
/proc/42027/statm: 665 352 352 5 0 90 0
[pid=42031] ppid=42027 vsize=93244 memory=79044 CPUtime=25.37 cores=4,6
/proc/42031/stat : 42031 (CASHWMaxSAT-Dis) R 42027 42027 41955 0 -1 4194304 37426 0 0 0 2528 9 0 0 20 0 1 0 45831147 95481856 19761 18446744073709551615 4198400 14817773 140733641100992 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22810624 140733641107868 140733641107995 140733641107995 140733641113568 0
/proc/42031/statm: 23311 19761 992 2593 0 20204 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 100228 KiB
Current children cumulated memory: 83524 KiB

[startup+51.1059 s]
/proc/loadavg: 2.76 2.30 3.19 5/272 42036
/proc/meminfo: memFree=129739076/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 248 103 0 1 0 0 0 0 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42027] ppid=42011 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/42027/stat : 42027 (timeout) S 42011 42027 41955 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45831146 2723840 352 18446744073709551615 94457343086592 94457343103105 140725343101536 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94457343117872 94457343119960 94457369235456 140725343107478 140725343107618 140725343107618 140725343113191 0
/proc/42027/statm: 665 352 352 5 0 90 0
[pid=42031] ppid=42027 vsize=100356 memory=86224 CPUtime=50.9 cores=4,6
/proc/42031/stat : 42031 (CASHWMaxSAT-Dis) R 42027 42027 41955 0 -1 4194304 43614 0 0 0 5079 11 0 0 20 0 1 0 45831147 102764544 21556 18446744073709551615 4198400 14817773 140733641100992 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22810624 140733641107868 140733641107995 140733641107995 140733641113568 0
/proc/42031/statm: 25089 21556 992 2593 0 21982 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 107340 KiB
Current children cumulated memory: 90704 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 2.58 3.24 5/272 42038
/proc/meminfo: memFree=129713360/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 248 103 0 1 0 0 0 0 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42027] ppid=42011 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42092] ppid=42011 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42092/stat : 42092 (timeout) S 42011 42092 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45950947 2723840 320 18446744073709551615 94310684377088 94310684393601 140732976401856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94310684408368 94310684410456 94310689247232 140732976404870 140732976405026 140732976405026 140732976410599 0
/proc/42092/statm: 665 320 320 5 0 90 0
[pid=42094] ppid=42092 vsize=1303460 memory=1086920 CPUtime=2198.34 cores=4,6
/proc/42094/stat : 42094 (ExactPR-S) R 42092 42092 41955 0 -1 4194304 247668 0 0 0 219654 180 0 0 20 0 1 0 45950948 1334743040 271730 18446744073709551615 94388498235392 94388507535429 140733227302336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94388509321536 94388509360616 94388546899968 140733227309470 140733227309607 140733227309607 140733227315180 0
/proc/42094/statm: 325865 271730 3488 2271 0 320503 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 1310444 KiB
Current children cumulated memory: 1091272 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/273 42222
/proc/meminfo: memFree=126220944/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=1194.78 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 283 102794 0 1 0 0 119439 39 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42092] ppid=42011 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42092/stat : 42092 (timeout) S 42011 42092 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45950947 2723840 320 18446744073709551615 94310684377088 94310684393601 140732976401856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94310684408368 94310684410456 94310689247232 140732976404870 140732976405026 140732976405026 140732976410599 0
/proc/42092/statm: 665 320 320 5 0 90 0
[pid=42094] ppid=42092 vsize=1303460 memory=1086920 CPUtime=2258.15 cores=4,6
/proc/42094/stat : 42094 (ExactPR-S) R 42092 42092 41955 0 -1 4194304 247802 0 0 0 225634 181 0 0 20 0 1 0 45950948 1334743040 271730 18446744073709551615 94388498235392 94388507535429 140733227302336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94388509321536 94388509360616 94388546899968 140733227309470 140733227309607 140733227309607 140733227315180 0
/proc/42094/statm: 325865 271730 3488 2271 0 320503 0
Current children cumulated CPU time: 3452.93 s
Current children cumulated vsize: 1310444 KiB
Current children cumulated memory: 1091272 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/273 42224
/proc/meminfo: memFree=126215292/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=1194.78 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 283 102794 0 1 0 0 119439 39 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42092] ppid=42011 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42092/stat : 42092 (timeout) S 42011 42092 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45950947 2723840 320 18446744073709551615 94310684377088 94310684393601 140732976401856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94310684408368 94310684410456 94310689247232 140732976404870 140732976405026 140732976405026 140732976410599 0
/proc/42092/statm: 665 320 320 5 0 90 0
[pid=42094] ppid=42092 vsize=1303460 memory=1088972 CPUtime=2317.98 cores=4,6
/proc/42094/stat : 42094 (ExactPR-S) R 42092 42092 41955 0 -1 4194304 247831 0 0 0 231616 182 0 0 20 0 1 0 45950948 1334743040 272243 18446744073709551615 94388498235392 94388507535429 140733227302336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94388509321536 94388509360616 94388546899968 140733227309470 140733227309607 140733227309607 140733227315180 0
/proc/42094/statm: 325865 272243 3488 2271 0 320503 0
Current children cumulated CPU time: 3512.76 s
Current children cumulated vsize: 1310444 KiB
Current children cumulated memory: 1093324 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/270 42226
/proc/meminfo: memFree=126235448/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=1194.78 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 283 102794 0 1 0 0 119439 39 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42092] ppid=42011 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42092/stat : 42092 (timeout) S 42011 42092 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45950947 2723840 320 18446744073709551615 94310684377088 94310684393601 140732976401856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94310684408368 94310684410456 94310689247232 140732976404870 140732976405026 140732976405026 140732976410599 0
/proc/42092/statm: 665 320 320 5 0 90 0
[pid=42094] ppid=42092 vsize=1303460 memory=1088972 CPUtime=2377.79 cores=4,6
/proc/42094/stat : 42094 (ExactPR-S) R 42092 42092 41955 0 -1 4194304 247831 0 0 0 237596 183 0 0 20 0 1 0 45950948 1334743040 272243 18446744073709551615 94388498235392 94388507535429 140733227302336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94388509321536 94388509360616 94388546899968 140733227309470 140733227309607 140733227309607 140733227315180 0
/proc/42094/statm: 325865 272243 3488 2271 0 320503 0
Current children cumulated CPU time: 3572.57 s
Current children cumulated vsize: 1310444 KiB
Current children cumulated memory: 1093324 KiB

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

# cumulated CPU time of all completed processes:  user=3584.07 s, system=2.27858 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.10 4.07 5/270 42226
/proc/meminfo: memFree=126235448/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=1194.78 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 283 102794 0 1 0 0 119439 39 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42092] ppid=42011 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42092/stat : 42092 (timeout) S 42011 42092 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45950947 2723840 320 18446744073709551615 94310684377088 94310684393601 140732976401856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94310684408368 94310684410456 94310689247232 140732976404870 140732976405026 140732976405026 140732976410599 0
/proc/42092/statm: 665 320 320 5 0 90 0
[pid=42094] ppid=42092 vsize=1303460 memory=1088972 CPUtime=2379.49 cores=4,6
/proc/42094/stat : 42094 (ExactPR-S) R 42092 42092 41955 0 -1 4194304 247831 0 0 0 237766 183 0 0 20 0 1 0 45950948 1334743040 272243 18446744073709551615 94388498235392 94388507535429 140733227302336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94388509321536 94388509360616 94388546899968 140733227309470 140733227309607 140733227309607 140733227315180 0
/proc/42094/statm: 325865 272243 3488 2271 0 320503 0
Current children cumulated CPU time: 3574.27 s
Current children cumulated vsize: 1310444 KiB
Current children cumulated memory: 1093324 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.10 4.07 5/270 42226
/proc/meminfo: memFree=126219096/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=1194.78 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 283 102794 0 1 0 0 119439 39 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42092] ppid=42011 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42092/stat : 42092 (timeout) S 42011 42092 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45950947 2723840 320 18446744073709551615 94310684377088 94310684393601 140732976401856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94310684408368 94310684410456 94310689247232 140732976404870 140732976405026 140732976405026 140732976410599 0
/proc/42092/statm: 665 320 320 5 0 90 0
[pid=42094] ppid=42092 vsize=1303460 memory=1088972 CPUtime=2385.87 cores=4,6
/proc/42094/stat : 42094 (ExactPR-S) R 42092 42092 41955 0 -1 4194304 247831 0 0 0 238404 183 0 0 20 0 1 0 45950948 1334743040 272243 18446744073709551615 94388498235392 94388507535429 140733227302336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94388509321536 94388509360616 94388546899968 140733227309470 140733227309607 140733227309607 140733227315180 0
/proc/42094/statm: 325865 272243 3488 2271 0 320503 0
Current children cumulated CPU time: 3580.65 s
Current children cumulated vsize: 1310444 KiB
Current children cumulated memory: 1093324 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.10 4.07 5/270 42226
/proc/meminfo: memFree=126219348/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=1194.78 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 283 102794 0 1 0 0 119439 39 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42092] ppid=42011 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42092/stat : 42092 (timeout) S 42011 42092 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45950947 2723840 320 18446744073709551615 94310684377088 94310684393601 140732976401856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94310684408368 94310684410456 94310689247232 140732976404870 140732976405026 140732976405026 140732976410599 0
/proc/42092/statm: 665 320 320 5 0 90 0
[pid=42094] ppid=42092 vsize=1303460 memory=1088972 CPUtime=2389.06 cores=4,6
/proc/42094/stat : 42094 (ExactPR-S) R 42092 42092 41955 0 -1 4194304 247831 0 0 0 238723 183 0 0 20 0 1 0 45950948 1334743040 272243 18446744073709551615 94388498235392 94388507535429 140733227302336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94388509321536 94388509360616 94388546899968 140733227309470 140733227309607 140733227309607 140733227315180 0
/proc/42094/statm: 325865 272243 3488 2271 0 320503 0
Current children cumulated CPU time: 3583.84 s
Current children cumulated vsize: 1310444 KiB
Current children cumulated memory: 1093324 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.10 4.07 5/270 42226
/proc/meminfo: memFree=126219600/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=1194.78 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 283 102794 0 1 0 0 119439 39 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42092] ppid=42011 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42092/stat : 42092 (timeout) S 42011 42092 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45950947 2723840 320 18446744073709551615 94310684377088 94310684393601 140732976401856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94310684408368 94310684410456 94310689247232 140732976404870 140732976405026 140732976405026 140732976410599 0
/proc/42092/statm: 665 320 320 5 0 90 0
[pid=42094] ppid=42092 vsize=1303460 memory=1088972 CPUtime=2390.65 cores=4,6
/proc/42094/stat : 42094 (ExactPR-S) R 42092 42092 41955 0 -1 4194304 247831 0 0 0 238882 183 0 0 20 0 1 0 45950948 1334743040 272243 18446744073709551615 94388498235392 94388507535429 140733227302336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94388509321536 94388509360616 94388546899968 140733227309470 140733227309607 140733227309607 140733227315180 0
/proc/42094/statm: 325865 272243 3488 2271 0 320503 0
Current children cumulated CPU time: 3585.43 s
Current children cumulated vsize: 1310444 KiB
Current children cumulated memory: 1093324 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.10 4.07 5/270 42226
/proc/meminfo: memFree=126206456/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=1194.78 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) S 42005 42011 41955 0 -1 4194304 283 102794 0 1 0 0 119439 39 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
[pid=42092] ppid=42011 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/42092/stat : 42092 (timeout) S 42011 42092 41955 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45950947 2723840 320 18446744073709551615 94310684377088 94310684393601 140732976401856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94310684408368 94310684410456 94310689247232 140732976404870 140732976405026 140732976405026 140732976410599 0
/proc/42092/statm: 665 320 320 5 0 90 0
[pid=42094] ppid=42092 vsize=1303460 memory=1088972 CPUtime=2391.45 cores=4,6
/proc/42094/stat : 42094 (ExactPR-S) R 42092 42092 41955 0 -1 4194304 247831 0 0 0 238962 183 0 0 20 0 1 0 45950948 1334743040 272243 18446744073709551615 94388498235392 94388507535429 140733227302336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94388509321536 94388509360616 94388546899968 140733227309470 140733227309607 140733227309607 140733227315180 0
/proc/42094/statm: 325865 272243 3488 2271 0 320503 0
Current children cumulated CPU time: 3586.23 s
Current children cumulated vsize: 1310444 KiB
Current children cumulated memory: 1093324 KiB

[startup+3596.2 s]
/proc/loadavg: 4.10 4.10 4.07 5/270 42226
/proc/meminfo: memFree=126206456/131249996 swapFree=33010416/33010684
[pid=42011] ppid=42005 vsize=4324 memory=3072 CPUtime=3586.33 cores=4,6
/proc/42011/stat : 42011 (Hybrid-CASHWMax) D 42005 42011 41955 0 -1 4456448 455 353279 0 1 0 0 358406 227 20 0 1 0 45831144 4427776 768 18446744073709551615 94487966859264 94487967753797 140722298210912 0 0 0 0 4 65536 1 0 0 17 6 0 0 0 0 0 94487967992848 94487968040592 94487982800896 140722298218839 140722298218993 140722298218993 140722298224595 0
/proc/42011/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3586.33 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.24
CPU time (s): 3586.35
CPU user time (s): 3584.07
CPU system time (s): 2.27858
CPU usage (%): 99.725
Max. virtual memory (cumulated for all children) (KiB): 1665988
Max. memory (cumulated for all children) (KiB): 1307364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.07
system time used= 2.27858
maximum resident set size= 1303012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354106
page faults= 1
swaps= 0
block input operations= 64
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3038
involuntary context switches= 2005


# summary of solver processes directly reported to runsolver:
#   pid: 42011
#   total CPU time (s): 3586.35
#   total CPU user time (s): 3584.07
#   total CPU system time (s): 2.27858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.90147 second user time and 17.4129 second system time

The end