runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (61092 MiB free)
  memory of node 1: 64507 MiB (50636 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521059-1751571133/watcher-4521059-1751571133 -o /tmp/evaluation-result-4521059-1751571133/solver-4521059-1751571133 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751569752-85031 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4521059-1751571133.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100073 s]*
/proc/loadavg: 4.11 4.29 4.17 5/260 85379
/proc/meminfo: memFree=114402600/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85378] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85378/stat : 85378 (timeout) S 85375 85378 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72793151 2723840 320 18446744073709551615 94741476208640 94741476225153 140730830451904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94741476239920 94741476242008 94741507051520 140730830453142 140730830453282 140730830453282 140730830458855 0
/proc/85378/statm: 665 320 320 5 0 90 0
[pid=85379] ppid=85378 vsize=27700 memory=9216 CPUtime=0.07 cores=5,7
/proc/85379/stat : 85379 (CASHWMaxSAT-Dis) R 85378 85378 85018 0 -1 4194304 1650 0 0 0 7 0 0 0 20 0 1 0 72793152 28364800 2304 18446744073709551615 4198400 14093885 140728966444240 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 24141824 140728966453660 140728966453787 140728966453787 140728966459360 0
/proc/85379/statm: 6925 2304 736 2416 0 4027 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 34684 KiB
Current children cumulated memory: 13440 KiB

[startup+0.216757 s]*
/proc/loadavg: 4.11 4.29 4.17 5/260 85379
/proc/meminfo: memFree=114394536/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85378] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85378/stat : 85378 (timeout) S 85375 85378 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72793151 2723840 320 18446744073709551615 94741476208640 94741476225153 140730830451904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94741476239920 94741476242008 94741507051520 140730830453142 140730830453282 140730830453282 140730830458855 0
/proc/85378/statm: 665 320 320 5 0 90 0
[pid=85379] ppid=85378 vsize=33892 memory=15360 CPUtime=0.17 cores=5,7
/proc/85379/stat : 85379 (CASHWMaxSAT-Dis) R 85378 85378 85018 0 -1 4194304 3184 0 0 0 16 1 0 0 20 0 1 0 72793152 34705408 3840 18446744073709551615 4198400 14093885 140728966444240 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 24141824 140728966453660 140728966453787 140728966453787 140728966459360 0
/proc/85379/statm: 8473 3840 736 2416 0 5575 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 40876 KiB
Current children cumulated memory: 19584 KiB

[startup+0.31322 s]*
/proc/loadavg: 4.11 4.29 4.17 5/260 85379
/proc/meminfo: memFree=114386472/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85378] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85378/stat : 85378 (timeout) S 85375 85378 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72793151 2723840 320 18446744073709551615 94741476208640 94741476225153 140730830451904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94741476239920 94741476242008 94741507051520 140730830453142 140730830453282 140730830453282 140730830458855 0
/proc/85378/statm: 665 320 320 5 0 90 0
[pid=85379] ppid=85378 vsize=39020 memory=20480 CPUtime=0.25 cores=5,7
/proc/85379/stat : 85379 (CASHWMaxSAT-Dis) R 85378 85378 85018 0 -1 4194304 4460 0 0 0 24 1 0 0 20 0 1 0 72793152 39956480 5120 18446744073709551615 4198400 14093885 140728966444240 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 24141824 140728966453660 140728966453787 140728966453787 140728966459360 0
/proc/85379/statm: 9755 5120 736 2416 0 6857 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 46004 KiB
Current children cumulated memory: 24704 KiB

[startup+0.700327 s]
/proc/loadavg: 4.11 4.29 4.17 5/260 85379
/proc/meminfo: memFree=114379416/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85378] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85378/stat : 85378 (timeout) S 85375 85378 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72793151 2723840 320 18446744073709551615 94741476208640 94741476225153 140730830451904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94741476239920 94741476242008 94741507051520 140730830453142 140730830453282 140730830453282 140730830458855 0
/proc/85378/statm: 665 320 320 5 0 90 0
[pid=85379] ppid=85378 vsize=68580 memory=50048 CPUtime=0.6 cores=5,7
/proc/85379/stat : 85379 (CASHWMaxSAT-Dis) R 85378 85378 85018 0 -1 4194304 11846 0 0 0 57 3 0 0 20 0 1 0 72793152 70225920 12512 18446744073709551615 4198400 14093885 140728966444240 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 24141824 140728966453660 140728966453787 140728966453787 140728966459360 0
/proc/85379/statm: 17145 12512 736 2416 0 14247 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 75564 KiB
Current children cumulated memory: 54272 KiB

[startup+1.50036 s]
/proc/loadavg: 4.11 4.29 4.17 5/260 85379
/proc/meminfo: memFree=114332040/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85378] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85378/stat : 85378 (timeout) S 85375 85378 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72793151 2723840 320 18446744073709551615 94741476208640 94741476225153 140730830451904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94741476239920 94741476242008 94741507051520 140730830453142 140730830453282 140730830453282 140730830458855 0
/proc/85378/statm: 665 320 320 5 0 90 0
[pid=85379] ppid=85378 vsize=127108 memory=108416 CPUtime=1.39 cores=5,7
/proc/85379/stat : 85379 (CASHWMaxSAT-Dis) R 85378 85378 85018 0 -1 4194304 26465 0 0 0 133 6 0 0 20 0 1 0 72793152 130158592 27104 18446744073709551615 4198400 14093885 140728966444240 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24141824 140728966453660 140728966453787 140728966453787 140728966459360 0
/proc/85379/statm: 31777 27104 736 2416 0 28879 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 134092 KiB
Current children cumulated memory: 112640 KiB

[startup+3.11381 s]
/proc/loadavg: 4.11 4.29 4.17 6/260 85379
/proc/meminfo: memFree=114147072/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85378] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85378/stat : 85378 (timeout) S 85375 85378 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72793151 2723840 320 18446744073709551615 94741476208640 94741476225153 140730830451904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94741476239920 94741476242008 94741507051520 140730830453142 140730830453282 140730830453282 140730830458855 0
/proc/85378/statm: 665 320 320 5 0 90 0
[pid=85379] ppid=85378 vsize=310816 memory=291328 CPUtime=3 cores=5,7
/proc/85379/stat : 85379 (CASHWMaxSAT-Dis) R 85378 85378 85018 0 -1 4194304 72211 0 0 0 283 17 0 0 20 0 1 0 72793152 318275584 72832 18446744073709551615 4198400 14093885 140728966444240 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24141824 140728966453660 140728966453787 140728966453787 140728966459360 0
/proc/85379/statm: 77704 72832 736 2416 0 74806 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 317800 KiB
Current children cumulated memory: 295552 KiB

[startup+6.30049 s]
/proc/loadavg: 4.10 4.28 4.17 5/260 85379
/proc/meminfo: memFree=114047976/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85378] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85378/stat : 85378 (timeout) S 85375 85378 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72793151 2723840 320 18446744073709551615 94741476208640 94741476225153 140730830451904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94741476239920 94741476242008 94741507051520 140730830453142 140730830453282 140730830453282 140730830458855 0
/proc/85378/statm: 665 320 320 5 0 90 0
[pid=85379] ppid=85378 vsize=383728 memory=365436 CPUtime=6.18 cores=5,7
/proc/85379/stat : 85379 (CASHWMaxSAT-Dis) R 85378 85378 85018 0 -1 4194304 92661 0 0 0 597 21 0 0 20 0 1 0 72793152 392937472 91359 18446744073709551615 4198400 14093885 140728966444240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24141824 140728966453660 140728966453787 140728966453787 140728966459360 0
/proc/85379/statm: 95932 91359 768 2416 0 93034 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 390712 KiB
Current children cumulated memory: 369660 KiB

[startup+12.7005 s]
/proc/loadavg: 4.17 4.29 4.17 5/260 85379
/proc/meminfo: memFree=114048732/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85378] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85378/stat : 85378 (timeout) S 85375 85378 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72793151 2723840 320 18446744073709551615 94741476208640 94741476225153 140730830451904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94741476239920 94741476242008 94741507051520 140730830453142 140730830453282 140730830453282 140730830458855 0
/proc/85378/statm: 665 320 320 5 0 90 0
[pid=85379] ppid=85378 vsize=383728 memory=365436 CPUtime=12.55 cores=5,7
/proc/85379/stat : 85379 (CASHWMaxSAT-Dis) R 85378 85378 85018 0 -1 4194304 92665 0 0 0 1234 21 0 0 20 0 1 0 72793152 392937472 91359 18446744073709551615 4198400 14093885 140728966444240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24141824 140728966453660 140728966453787 140728966453787 140728966459360 0
/proc/85379/statm: 95932 91359 768 2416 0 93034 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 390712 KiB
Current children cumulated memory: 369660 KiB

[startup+25.5005 s]
/proc/loadavg: 4.13 4.28 4.17 5/259 85379
/proc/meminfo: memFree=114033104/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85378] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85378/stat : 85378 (timeout) S 85375 85378 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72793151 2723840 320 18446744073709551615 94741476208640 94741476225153 140730830451904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94741476239920 94741476242008 94741507051520 140730830453142 140730830453282 140730830453282 140730830458855 0
/proc/85378/statm: 665 320 320 5 0 90 0
[pid=85379] ppid=85378 vsize=387368 memory=370820 CPUtime=25.32 cores=5,7
/proc/85379/stat : 85379 (CASHWMaxSAT-Dis) R 85378 85378 85018 0 -1 4194304 93521 0 0 0 2509 23 0 0 20 0 1 0 72793152 396664832 92705 18446744073709551615 4198400 14093885 140728966444240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24141824 140728966453660 140728966453787 140728966453787 140728966459360 0
/proc/85379/statm: 96842 92705 768 2416 0 93944 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 394352 KiB
Current children cumulated memory: 375044 KiB

[startup+51.1141 s]
/proc/loadavg: 4.09 4.26 4.16 5/259 85380
/proc/meminfo: memFree=114001652/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85378] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85378/stat : 85378 (timeout) S 85375 85378 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72793151 2723840 320 18446744073709551615 94741476208640 94741476225153 140730830451904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94741476239920 94741476242008 94741507051520 140730830453142 140730830453282 140730830453282 140730830458855 0
/proc/85378/statm: 665 320 320 5 0 90 0
[pid=85379] ppid=85378 vsize=405052 memory=388308 CPUtime=50.85 cores=5,7
/proc/85379/stat : 85379 (CASHWMaxSAT-Dis) R 85378 85378 85018 0 -1 4194304 95577 0 0 0 5060 25 0 0 20 0 1 0 72793152 414773248 97077 18446744073709551615 4198400 14093885 140728966444240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24141824 140728966453660 140728966453787 140728966453787 140728966459360 0
/proc/85379/statm: 101263 97077 768 2416 0 98365 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 412036 KiB
Current children cumulated memory: 392532 KiB

[startup+102.301 s]
/proc/loadavg: 4.15 4.25 4.17 5/259 85434
/proc/meminfo: memFree=114031684/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0

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

/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85595] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85595/stat : 85595 (timeout) S 85375 85595 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72912953 2723840 320 18446744073709551615 94017891143680 94017891160193 140732805454992 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94017891174960 94017891177048 94017894563840 140732805462406 140732805462562 140732805462562 140732805468135 0
/proc/85595/statm: 665 320 320 5 0 90 0
[pid=85596] ppid=85595 vsize=1460420 memory=1430504 CPUtime=2257.69 cores=5,7
/proc/85596/stat : 85596 (ExactPR-S) R 85595 85595 85018 0 -1 4194304 329917 0 0 0 225612 157 0 0 20 0 1 0 72912954 1495470080 357626 18446744073709551615 94606297788416 94606307088453 140726896570896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94606308874560 94606308913640 94606349529088 140726896572830 140726896572967 140726896572967 140726896578540 0
/proc/85596/statm: 365105 357626 3424 2271 0 359743 0
Current children cumulated CPU time: 3451.8 s
Current children cumulated vsize: 1467404 KiB
Current children cumulated memory: 1434728 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.21 4.18 5/259 85794
/proc/meminfo: memFree=113062568/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=1194.11 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 283 98284 0 0 0 0 119369 42 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85595] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85595/stat : 85595 (timeout) S 85375 85595 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72912953 2723840 320 18446744073709551615 94017891143680 94017891160193 140732805454992 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94017891174960 94017891177048 94017894563840 140732805462406 140732805462562 140732805462562 140732805468135 0
/proc/85595/statm: 665 320 320 5 0 90 0
[pid=85596] ppid=85595 vsize=1460420 memory=1430504 CPUtime=2317.54 cores=5,7
/proc/85596/stat : 85596 (ExactPR-S) R 85595 85595 85018 0 -1 4194304 329924 0 0 0 231597 157 0 0 20 0 1 0 72912954 1495470080 357626 18446744073709551615 94606297788416 94606307088453 140726896570896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94606308874560 94606308913640 94606349529088 140726896572830 140726896572967 140726896572967 140726896578540 0
/proc/85596/statm: 365105 357626 3424 2271 0 359743 0
Current children cumulated CPU time: 3511.65 s
Current children cumulated vsize: 1467404 KiB
Current children cumulated memory: 1434728 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.19 4.17 5/259 85796
/proc/meminfo: memFree=112980204/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=1194.11 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 283 98284 0 0 0 0 119369 42 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85595] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85595/stat : 85595 (timeout) S 85375 85595 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72912953 2723840 320 18446744073709551615 94017891143680 94017891160193 140732805454992 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94017891174960 94017891177048 94017894563840 140732805462406 140732805462562 140732805462562 140732805468135 0
/proc/85595/statm: 665 320 320 5 0 90 0
[pid=85596] ppid=85595 vsize=1460420 memory=1430504 CPUtime=2377.38 cores=5,7
/proc/85596/stat : 85596 (ExactPR-S) R 85595 85595 85018 0 -1 4194304 329984 0 0 0 237581 157 0 0 20 0 1 0 72912954 1495470080 357626 18446744073709551615 94606297788416 94606307088453 140726896570896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94606308874560 94606308913640 94606349529088 140726896572830 140726896572967 140726896572967 140726896578540 0
/proc/85596/statm: 365105 357626 3424 2271 0 359743 0
Current children cumulated CPU time: 3571.49 s
Current children cumulated vsize: 1467404 KiB
Current children cumulated memory: 1434728 KiB

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

# cumulated CPU time of all completed processes:  user=3583.24 s, system=2.04855 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.19 4.17 5/259 85796
/proc/meminfo: memFree=112980456/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=1194.11 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 283 98284 0 0 0 0 119369 42 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85595] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85595/stat : 85595 (timeout) S 85375 85595 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72912953 2723840 320 18446744073709551615 94017891143680 94017891160193 140732805454992 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94017891174960 94017891177048 94017894563840 140732805462406 140732805462562 140732805462562 140732805468135 0
/proc/85595/statm: 665 320 320 5 0 90 0
[pid=85596] ppid=85595 vsize=1460420 memory=1430504 CPUtime=2379.09 cores=5,7
/proc/85596/stat : 85596 (ExactPR-S) R 85595 85595 85018 0 -1 4194304 329984 0 0 0 237752 157 0 0 20 0 1 0 72912954 1495470080 357626 18446744073709551615 94606297788416 94606307088453 140726896570896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94606308874560 94606308913640 94606349529088 140726896572830 140726896572967 140726896572967 140726896578540 0
/proc/85596/statm: 365105 357626 3424 2271 0 359743 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 1467404 KiB
Current children cumulated memory: 1434728 KiB

[startup+3590.4 s]
/proc/loadavg: 4.14 4.20 4.17 5/258 85796
/proc/meminfo: memFree=112980396/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=1194.11 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 283 98284 0 0 0 0 119369 42 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85595] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85595/stat : 85595 (timeout) S 85375 85595 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72912953 2723840 320 18446744073709551615 94017891143680 94017891160193 140732805454992 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94017891174960 94017891177048 94017894563840 140732805462406 140732805462562 140732805462562 140732805468135 0
/proc/85595/statm: 665 320 320 5 0 90 0
[pid=85596] ppid=85595 vsize=1460420 memory=1430504 CPUtime=2385.46 cores=5,7
/proc/85596/stat : 85596 (ExactPR-S) R 85595 85595 85018 0 -1 4194304 330005 0 0 0 238389 157 0 0 20 0 1 0 72912954 1495470080 357626 18446744073709551615 94606297788416 94606307088453 140726896570896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94606308874560 94606308913640 94606349529088 140726896572830 140726896572967 140726896572967 140726896578540 0
/proc/85596/statm: 365105 357626 3424 2271 0 359743 0
Current children cumulated CPU time: 3579.57 s
Current children cumulated vsize: 1467404 KiB
Current children cumulated memory: 1434728 KiB

[startup+3593.6 s]
/proc/loadavg: 4.14 4.20 4.17 5/258 85796
/proc/meminfo: memFree=112980396/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=1194.11 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 283 98284 0 0 0 0 119369 42 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85595] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85595/stat : 85595 (timeout) S 85375 85595 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72912953 2723840 320 18446744073709551615 94017891143680 94017891160193 140732805454992 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94017891174960 94017891177048 94017894563840 140732805462406 140732805462562 140732805462562 140732805468135 0
/proc/85595/statm: 665 320 320 5 0 90 0
[pid=85596] ppid=85595 vsize=1460420 memory=1430504 CPUtime=2388.66 cores=5,7
/proc/85596/stat : 85596 (ExactPR-S) R 85595 85595 85018 0 -1 4194304 330034 0 0 0 238708 158 0 0 20 0 1 0 72912954 1495470080 357626 18446744073709551615 94606297788416 94606307088453 140726896570896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94606308874560 94606308913640 94606349529088 140726896572830 140726896572967 140726896572967 140726896578540 0
/proc/85596/statm: 365105 357626 3424 2271 0 359743 0
Current children cumulated CPU time: 3582.77 s
Current children cumulated vsize: 1467404 KiB
Current children cumulated memory: 1434728 KiB

[startup+3595.2 s]
/proc/loadavg: 4.13 4.19 4.17 5/258 85796
/proc/meminfo: memFree=112980396/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=1194.11 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 283 98284 0 0 0 0 119369 42 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85595] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85595/stat : 85595 (timeout) S 85375 85595 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72912953 2723840 320 18446744073709551615 94017891143680 94017891160193 140732805454992 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94017891174960 94017891177048 94017894563840 140732805462406 140732805462562 140732805462562 140732805468135 0
/proc/85595/statm: 665 320 320 5 0 90 0
[pid=85596] ppid=85595 vsize=1460420 memory=1430504 CPUtime=2390.25 cores=5,7
/proc/85596/stat : 85596 (ExactPR-S) R 85595 85595 85018 0 -1 4194304 330034 0 0 0 238867 158 0 0 20 0 1 0 72912954 1495470080 357626 18446744073709551615 94606297788416 94606307088453 140726896570896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94606308874560 94606308913640 94606349529088 140726896572830 140726896572967 140726896572967 140726896578540 0
/proc/85596/statm: 365105 357626 3424 2271 0 359743 0
Current children cumulated CPU time: 3584.36 s
Current children cumulated vsize: 1467404 KiB
Current children cumulated memory: 1434728 KiB

[startup+3595.6 s]
/proc/loadavg: 4.13 4.19 4.17 5/258 85796
/proc/meminfo: memFree=112980396/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=1194.11 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 283 98284 0 0 0 0 119369 42 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85595] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85595/stat : 85595 (timeout) S 85375 85595 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72912953 2723840 320 18446744073709551615 94017891143680 94017891160193 140732805454992 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94017891174960 94017891177048 94017894563840 140732805462406 140732805462562 140732805462562 140732805468135 0
/proc/85595/statm: 665 320 320 5 0 90 0
[pid=85596] ppid=85595 vsize=1460420 memory=1430504 CPUtime=2390.65 cores=5,7
/proc/85596/stat : 85596 (ExactPR-S) R 85595 85595 85018 0 -1 4194304 330034 0 0 0 238907 158 0 0 20 0 1 0 72912954 1495470080 357626 18446744073709551615 94606297788416 94606307088453 140726896570896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94606308874560 94606308913640 94606349529088 140726896572830 140726896572967 140726896572967 140726896578540 0
/proc/85596/statm: 365105 357626 3424 2271 0 359743 0
Current children cumulated CPU time: 3584.76 s
Current children cumulated vsize: 1467404 KiB
Current children cumulated memory: 1434728 KiB

[startup+3596 s]*
/proc/loadavg: 4.13 4.19 4.17 5/258 85796
/proc/meminfo: memFree=112980396/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=1194.11 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 283 98284 0 0 0 0 119369 42 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
[pid=85595] ppid=85375 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/85595/stat : 85595 (timeout) S 85375 85595 85018 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72912953 2723840 320 18446744073709551615 94017891143680 94017891160193 140732805454992 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94017891174960 94017891177048 94017894563840 140732805462406 140732805462562 140732805462562 140732805468135 0
/proc/85595/statm: 665 320 320 5 0 90 0
[pid=85596] ppid=85595 vsize=1460420 memory=1430504 CPUtime=2391.06 cores=5,7
/proc/85596/stat : 85596 (ExactPR-S) R 85595 85595 85018 0 -1 4194304 330034 0 0 0 238948 158 0 0 20 0 1 0 72912954 1495470080 357626 18446744073709551615 94606297788416 94606307088453 140726896570896 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94606308874560 94606308913640 94606349529088 140726896572830 140726896572967 140726896572967 140726896578540 0
/proc/85596/statm: 365105 357626 3424 2271 0 359743 0
Current children cumulated CPU time: 3585.17 s
Current children cumulated vsize: 1467404 KiB
Current children cumulated memory: 1434728 KiB

[startup+3596.11 s]
/proc/loadavg: 4.13 4.19 4.17 5/258 85796
/proc/meminfo: memFree=112980396/131382112 swapFree=33010160/33010684
[pid=85375] ppid=85372 vsize=4324 memory=2944 CPUtime=3585.25 cores=5,7
/proc/85375/stat : 85375 (Hybrid-CASHWMax) S 85372 85375 85018 0 -1 4194304 404 430199 0 0 0 0 358323 202 20 0 1 0 72793149 4427776 736 18446744073709551615 94102349737984 94102350632517 140737100855568 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 94102350871568 94102350919312 94102379196416 140737100863831 140737100863985 140737100863985 140737100869587 0
/proc/85375/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3585.25 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.15
CPU time (s): 3585.29
CPU user time (s): 3583.24
CPU system time (s): 2.04855
CPU usage (%): 99.698
Max. virtual memory (cumulated for all children) (KiB): 2549592
Max. memory (cumulated for all children) (KiB): 2370668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.24
system time used= 2.04855
maximum resident set size= 2366444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 431909
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1795
involuntary context switches= 1334


# summary of solver processes directly reported to runsolver:
#   pid: 85375
#   total CPU time (s): 3585.29
#   total CPU user time (s): 3583.24
#   total CPU system time (s): 2.04855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.3537 second user time and 39.8852 second system time

The end