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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523497-1751592353/watcher-4523497-1751592353 -o /tmp/evaluation-result-4523497-1751592353/solver-4523497-1751592353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751588478-81715 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4523497-1751592353.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=82464, runsolver pid=82461
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.04 4.09 4.08 5/274 82468
/proc/meminfo: memFree=100180648/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82467] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82467/stat : 82467 (timeout) S 82464 82467 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74913754 2723840 320 18446744073709551615 94607173758976 94607173775489 140732044558480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94607173790256 94607173792344 94607186493440 140732044564886 140732044565026 140732044565026 140732044570599 0
/proc/82467/statm: 665 320 320 5 0 90 0
[pid=82468] ppid=82467 vsize=29232 memory=10496 CPUtime=0.07 cores=0,2
/proc/82468/stat : 82468 (CASHWMaxSAT-Dis) R 82467 82467 81700 0 -1 4194304 2005 0 0 0 7 0 0 0 20 0 1 0 74913755 29933568 2624 18446744073709551615 4198400 14093885 140726346502976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51392512 140726346508700 140726346508827 140726346508827 140726346514400 0
/proc/82468/statm: 7308 2624 736 2416 0 4410 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 36216 KiB
Current children cumulated memory: 14720 KiB

[startup+0.205825 s]*
/proc/loadavg: 4.04 4.09 4.08 5/274 82468
/proc/meminfo: memFree=100180648/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82467] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82467/stat : 82467 (timeout) S 82464 82467 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74913754 2723840 320 18446744073709551615 94607173758976 94607173775489 140732044558480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94607173790256 94607173792344 94607186493440 140732044564886 140732044565026 140732044565026 140732044570599 0
/proc/82467/statm: 665 320 320 5 0 90 0
[pid=82468] ppid=82467 vsize=38008 memory=19072 CPUtime=0.18 cores=0,2
/proc/82468/stat : 82468 (CASHWMaxSAT-Dis) R 82467 82467 81700 0 -1 4194304 4144 0 0 0 18 0 0 0 20 0 1 0 74913755 38920192 4768 18446744073709551615 4198400 14093885 140726346502976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51392512 140726346508700 140726346508827 140726346508827 140726346514400 0
/proc/82468/statm: 9502 4768 736 2416 0 6604 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 44992 KiB
Current children cumulated memory: 23296 KiB

[startup+0.305813 s]*
/proc/loadavg: 4.04 4.09 4.08 5/274 82468
/proc/meminfo: memFree=100172692/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82467] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82467/stat : 82467 (timeout) S 82464 82467 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74913754 2723840 320 18446744073709551615 94607173758976 94607173775489 140732044558480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94607173790256 94607173792344 94607186493440 140732044564886 140732044565026 140732044565026 140732044570599 0
/proc/82467/statm: 665 320 320 5 0 90 0
[pid=82468] ppid=82467 vsize=46260 memory=27136 CPUtime=0.28 cores=0,2
/proc/82468/stat : 82468 (CASHWMaxSAT-Dis) R 82467 82467 81700 0 -1 4194304 6163 0 0 0 28 0 0 0 20 0 1 0 74913755 47370240 6784 18446744073709551615 4198400 14093885 140726346502976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51392512 140726346508700 140726346508827 140726346508827 140726346514400 0
/proc/82468/statm: 11565 6784 736 2416 0 8667 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 53244 KiB
Current children cumulated memory: 31360 KiB

[startup+0.700186 s]
/proc/loadavg: 4.04 4.09 4.08 5/274 82468
/proc/meminfo: memFree=100156816/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82467] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82467/stat : 82467 (timeout) S 82464 82467 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74913754 2723840 320 18446744073709551615 94607173758976 94607173775489 140732044558480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94607173790256 94607173792344 94607186493440 140732044564886 140732044565026 140732044565026 140732044570599 0
/proc/82467/statm: 665 320 320 5 0 90 0
[pid=82468] ppid=82467 vsize=78236 memory=56832 CPUtime=0.66 cores=0,2
/proc/82468/stat : 82468 (CASHWMaxSAT-Dis) R 82467 82467 81700 0 -1 4194304 13563 0 0 0 64 2 0 0 20 0 1 0 74913755 80113664 14208 18446744073709551615 4198400 14093885 140726346502976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51392512 140726346508700 140726346508827 140726346508827 140726346514400 0
/proc/82468/statm: 19559 14208 736 2416 0 16661 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 85220 KiB
Current children cumulated memory: 61056 KiB

[startup+1.5002 s]
/proc/loadavg: 4.04 4.09 4.08 5/274 82468
/proc/meminfo: memFree=100082344/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82467] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82467/stat : 82467 (timeout) S 82464 82467 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74913754 2723840 320 18446744073709551615 94607173758976 94607173775489 140732044558480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94607173790256 94607173792344 94607186493440 140732044564886 140732044565026 140732044565026 140732044570599 0
/proc/82467/statm: 665 320 320 5 0 90 0
[pid=82468] ppid=82467 vsize=234040 memory=198556 CPUtime=1.46 cores=0,2
/proc/82468/stat : 82468 (CASHWMaxSAT-Dis) R 82467 82467 81700 0 -1 4194304 32828 0 0 0 139 7 0 0 20 0 1 0 74913755 239656960 49639 18446744073709551615 4198400 14093885 140726346502976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51392512 140726346508700 140726346508827 140726346508827 140726346514400 0
/proc/82468/statm: 58510 49639 768 2416 0 55612 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 241024 KiB
Current children cumulated memory: 202780 KiB

[startup+3.10554 s]
/proc/loadavg: 4.04 4.08 4.08 5/274 82468
/proc/meminfo: memFree=99825692/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82467] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82467/stat : 82467 (timeout) S 82464 82467 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74913754 2723840 320 18446744073709551615 94607173758976 94607173775489 140732044558480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94607173790256 94607173792344 94607186493440 140732044564886 140732044565026 140732044565026 140732044570599 0
/proc/82467/statm: 665 320 320 5 0 90 0
[pid=82468] ppid=82467 vsize=336152 memory=309760 CPUtime=3.06 cores=0,2
/proc/82468/stat : 82468 (CASHWMaxSAT-Dis) R 82467 82467 81700 0 -1 4194304 40845 0 0 0 296 10 0 0 20 0 1 0 74913755 344219648 77440 18446744073709551615 4198400 14093885 140726346502976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51392512 140726346508700 140726346508827 140726346508827 140726346514400 0
/proc/82468/statm: 84038 77440 992 2416 0 81140 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 343136 KiB
Current children cumulated memory: 313984 KiB

[startup+6.30018 s]
/proc/loadavg: 4.04 4.08 4.08 5/274 82468
/proc/meminfo: memFree=99528092/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82467] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82467/stat : 82467 (timeout) S 82464 82467 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74913754 2723840 320 18446744073709551615 94607173758976 94607173775489 140732044558480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94607173790256 94607173792344 94607186493440 140732044564886 140732044565026 140732044565026 140732044570599 0
/proc/82467/statm: 665 320 320 5 0 90 0
[pid=82468] ppid=82467 vsize=730636 memory=608636 CPUtime=6.24 cores=0,2
/proc/82468/stat : 82468 (CASHWMaxSAT-Dis) R 82467 82467 81700 0 -1 4194304 64638 0 0 0 603 21 0 0 20 0 1 0 74913755 748171264 152159 18446744073709551615 4198400 14093885 140726346502976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51392512 140726346508700 140726346508827 140726346508827 140726346514400 0
/proc/82468/statm: 182659 152159 992 2416 0 179761 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 737620 KiB
Current children cumulated memory: 612860 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.08 4.08 5/274 82468
/proc/meminfo: memFree=99005728/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82467] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82467/stat : 82467 (timeout) S 82464 82467 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74913754 2723840 320 18446744073709551615 94607173758976 94607173775489 140732044558480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94607173790256 94607173792344 94607186493440 140732044564886 140732044565026 140732044565026 140732044570599 0
/proc/82467/statm: 665 320 320 5 0 90 0
[pid=82468] ppid=82467 vsize=1173228 memory=1059452 CPUtime=12.63 cores=0,2
/proc/82468/stat : 82468 (CASHWMaxSAT-Dis) R 82467 82467 81700 0 -1 4194304 94326 0 0 0 1225 38 0 0 20 0 1 0 74913755 1201385472 264863 18446744073709551615 4198400 14093885 140726346502976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51392512 140726346508700 140726346508827 140726346508827 140726346514400 0
/proc/82468/statm: 293340 264863 992 2416 0 290442 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1180212 KiB
Current children cumulated memory: 1063676 KiB

[startup+25.5002 s]
/proc/loadavg: 4.03 4.08 4.07 5/274 82469
/proc/meminfo: memFree=95960776/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82467] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82467/stat : 82467 (timeout) S 82464 82467 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74913754 2723840 320 18446744073709551615 94607173758976 94607173775489 140732044558480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94607173790256 94607173792344 94607186493440 140732044564886 140732044565026 140732044565026 140732044570599 0
/proc/82467/statm: 665 320 320 5 0 90 0
[pid=82468] ppid=82467 vsize=4516124 memory=3863668 CPUtime=25.4 cores=0,2
/proc/82468/stat : 82468 (CASHWMaxSAT-Dis) R 82467 82467 81700 0 -1 4194304 256949 0 0 0 2427 113 0 0 20 0 1 0 74913755 4624510976 965917 18446744073709551615 4198400 14093885 140726346502976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51392512 140726346508700 140726346508827 140726346508827 140726346514400 0
/proc/82468/statm: 1129031 965917 992 2416 0 1126133 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4523108 KiB
Current children cumulated memory: 3867892 KiB

[startup+51.1056 s]
/proc/loadavg: 4.02 4.07 4.07 5/274 82469
/proc/meminfo: memFree=95261316/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82467] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82467/stat : 82467 (timeout) S 82464 82467 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74913754 2723840 320 18446744073709551615 94607173758976 94607173775489 140732044558480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94607173790256 94607173792344 94607186493440 140732044564886 140732044565026 140732044565026 140732044570599 0
/proc/82467/statm: 665 320 320 5 0 90 0
[pid=82468] ppid=82467 vsize=5546256 memory=4868308 CPUtime=50.93 cores=0,2
/proc/82468/stat : 82468 (CASHWMaxSAT-Dis) R 82467 82467 81700 0 -1 4194304 333090 0 0 0 4940 153 0 0 20 0 1 0 74913755 5679366144 1217077 18446744073709551615 4198400 14093885 140726346502976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51392512 140726346508700 140726346508827 140726346508827 140726346514400 0
/proc/82468/statm: 1386564 1217077 992 2416 0 1383666 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 5553240 KiB
Current children cumulated memory: 4872532 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.07 4.07 5/274 82471
/proc/meminfo: memFree=95702804/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 249 107 0 0 0 0 0 0 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0

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

/proc/82581/statm: 665 320 320 5 0 90 0
[pid=82582] ppid=82581 vsize=1021048 memory=959324 CPUtime=821.71 cores=0,2
/proc/82582/stat : 82582 (ExactPR-S) R 82581 82581 81700 0 -1 4194304 225451 0 0 0 82126 45 0 0 20 0 1 0 75033562 1045553152 239831 18446744073709551615 94404498952192 94404508252229 140729296295600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94404510038336 94404510077416 94404548632576 140729296304542 140729296304679 140729296304679 140729296310252 0
/proc/82582/statm: 255262 239831 3456 2271 0 249900 0
Current children cumulated CPU time: 2016.26 s
Current children cumulated vsize: 1028032 KiB
Current children cumulated memory: 963548 KiB

[startup+2082.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 82731
/proc/meminfo: memFree=119732544/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=1194.55 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 283 346416 0 0 0 0 119240 215 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82581] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82581/stat : 82581 (timeout) S 82464 82581 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75033562 2723840 320 18446744073709551615 93826453655552 93826453672065 140731158733328 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93826453686832 93826453688920 93826471993344 140731158739334 140731158739490 140731158739490 140731158745063 0
/proc/82581/statm: 665 320 320 5 0 90 0
[pid=82582] ppid=82581 vsize=1021048 memory=959324 CPUtime=881.53 cores=0,2
/proc/82582/stat : 82582 (ExactPR-S) R 82581 82581 81700 0 -1 4194304 225462 0 0 0 88107 46 0 0 20 0 1 0 75033562 1045553152 239831 18446744073709551615 94404498952192 94404508252229 140729296295600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94404510038336 94404510077416 94404548632576 140729296304542 140729296304679 140729296304679 140729296310252 0
/proc/82582/statm: 255262 239831 3456 2271 0 249900 0
Current children cumulated CPU time: 2076.08 s
Current children cumulated vsize: 1028032 KiB
Current children cumulated memory: 963548 KiB

[startup+2142.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/270 82744
/proc/meminfo: memFree=119720128/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=1194.55 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 283 346416 0 0 0 0 119240 215 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82581] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82581/stat : 82581 (timeout) S 82464 82581 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75033562 2723840 320 18446744073709551615 93826453655552 93826453672065 140731158733328 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93826453686832 93826453688920 93826471993344 140731158739334 140731158739490 140731158739490 140731158745063 0
/proc/82581/statm: 665 320 320 5 0 90 0
[pid=82582] ppid=82581 vsize=1021048 memory=959324 CPUtime=941.34 cores=0,2
/proc/82582/stat : 82582 (ExactPR-S) R 82581 82581 81700 0 -1 4194304 225470 0 0 0 94088 46 0 0 20 0 1 0 75033562 1045553152 239831 18446744073709551615 94404498952192 94404508252229 140729296295600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94404510038336 94404510077416 94404548632576 140729296304542 140729296304679 140729296304679 140729296310252 0
/proc/82582/statm: 255262 239831 3456 2271 0 249900 0
Current children cumulated CPU time: 2135.89 s
Current children cumulated vsize: 1028032 KiB
Current children cumulated memory: 963548 KiB

[startup+2202.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/270 82746
/proc/meminfo: memFree=119837588/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=1194.55 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 283 346416 0 0 0 0 119240 215 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82581] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82581/stat : 82581 (timeout) S 82464 82581 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75033562 2723840 320 18446744073709551615 93826453655552 93826453672065 140731158733328 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93826453686832 93826453688920 93826471993344 140731158739334 140731158739490 140731158739490 140731158745063 0
/proc/82581/statm: 665 320 320 5 0 90 0
[pid=82582] ppid=82581 vsize=889892 memory=850560 CPUtime=1001.16 cores=0,2
/proc/82582/stat : 82582 (ExactPR-S) R 82581 82581 81700 0 -1 4194304 225479 0 0 0 100068 48 0 0 20 0 1 0 75033562 911249408 212640 18446744073709551615 94404498952192 94404508252229 140729296295600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94404510038336 94404510077416 94404548632576 140729296304542 140729296304679 140729296304679 140729296310252 0
/proc/82582/statm: 222473 212640 3456 2271 0 217111 0
Current children cumulated CPU time: 2195.71 s
Current children cumulated vsize: 896876 KiB
Current children cumulated memory: 854784 KiB

[startup+2262.3 s]
/proc/loadavg: 4.32 4.15 4.11 5/270 82748
/proc/meminfo: memFree=119808140/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=1194.55 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 283 346416 0 0 0 0 119240 215 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82581] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82581/stat : 82581 (timeout) S 82464 82581 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75033562 2723840 320 18446744073709551615 93826453655552 93826453672065 140731158733328 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93826453686832 93826453688920 93826471993344 140731158739334 140731158739490 140731158739490 140731158745063 0
/proc/82581/statm: 665 320 320 5 0 90 0
[pid=82582] ppid=82581 vsize=876764 memory=839620 CPUtime=1060.99 cores=0,2
/proc/82582/stat : 82582 (ExactPR-S) R 82581 82581 81700 0 -1 4194304 225492 0 0 0 106045 54 0 0 20 0 1 0 75033562 897806336 209905 18446744073709551615 94404498952192 94404508252229 140729296295600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94404510038336 94404510077416 94404548632576 140729296304542 140729296304679 140729296304679 140729296310252 0
/proc/82582/statm: 219191 209905 3488 2271 0 213829 0
Current children cumulated CPU time: 2255.54 s
Current children cumulated vsize: 883748 KiB
Current children cumulated memory: 843844 KiB

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

# cumulated CPU time of all completed processes:  user=2257.52 s, system=2.75424 s

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

[startup+2262.4 s]
/proc/loadavg: 4.32 4.15 4.11 5/270 82748
/proc/meminfo: memFree=119808140/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=1194.55 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 283 346416 0 0 0 0 119240 215 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82581] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82581/stat : 82581 (timeout) S 82464 82581 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75033562 2723840 320 18446744073709551615 93826453655552 93826453672065 140731158733328 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93826453686832 93826453688920 93826471993344 140731158739334 140731158739490 140731158739490 140731158745063 0
/proc/82581/statm: 665 320 320 5 0 90 0
[pid=82582] ppid=82581 vsize=876764 memory=839620 CPUtime=1061.09 cores=0,2
/proc/82582/stat : 82582 (ExactPR-S) R 82581 82581 81700 0 -1 4194304 225492 0 0 0 106055 54 0 0 20 0 1 0 75033562 897806336 209905 18446744073709551615 94404498952192 94404508252229 140729296295600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94404510038336 94404510077416 94404548632576 140729296304542 140729296304679 140729296304679 140729296310252 0
/proc/82582/statm: 219191 209905 3488 2271 0 213829 0
Current children cumulated CPU time: 2255.64 s
Current children cumulated vsize: 883748 KiB
Current children cumulated memory: 843844 KiB

[startup+2265.6 s]
/proc/loadavg: 4.38 4.17 4.11 5/270 82748
/proc/meminfo: memFree=119792008/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=1194.55 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 283 346416 0 0 0 0 119240 215 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82581] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82581/stat : 82581 (timeout) S 82464 82581 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75033562 2723840 320 18446744073709551615 93826453655552 93826453672065 140731158733328 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93826453686832 93826453688920 93826471993344 140731158739334 140731158739490 140731158739490 140731158745063 0
/proc/82581/statm: 665 320 320 5 0 90 0
[pid=82582] ppid=82581 vsize=876764 memory=839620 CPUtime=1064.28 cores=0,2
/proc/82582/stat : 82582 (ExactPR-S) R 82581 82581 81700 0 -1 4194304 225492 0 0 0 106373 55 0 0 20 0 1 0 75033562 897806336 209905 18446744073709551615 94404498952192 94404508252229 140729296295600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94404510038336 94404510077416 94404548632576 140729296304542 140729296304679 140729296304679 140729296310252 0
/proc/82582/statm: 219191 209905 3488 2271 0 213829 0
Current children cumulated CPU time: 2258.83 s
Current children cumulated vsize: 883748 KiB
Current children cumulated memory: 843844 KiB

[startup+2266.4 s]
/proc/loadavg: 4.38 4.17 4.11 5/270 82748
/proc/meminfo: memFree=119792008/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=1194.55 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 283 346416 0 0 0 0 119240 215 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82581] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82581/stat : 82581 (timeout) S 82464 82581 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75033562 2723840 320 18446744073709551615 93826453655552 93826453672065 140731158733328 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93826453686832 93826453688920 93826471993344 140731158739334 140731158739490 140731158739490 140731158745063 0
/proc/82581/statm: 665 320 320 5 0 90 0
[pid=82582] ppid=82581 vsize=876764 memory=841680 CPUtime=1065.08 cores=0,2
/proc/82582/stat : 82582 (ExactPR-S) R 82581 82581 81700 0 -1 4194304 225495 0 0 0 106453 55 0 0 20 0 1 0 75033562 897806336 210420 18446744073709551615 94404498952192 94404508252229 140729296295600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94404510038336 94404510077416 94404548632576 140729296304542 140729296304679 140729296304679 140729296310252 0
/proc/82582/statm: 219191 210420 3488 2271 0 213829 0
Current children cumulated CPU time: 2259.63 s
Current children cumulated vsize: 883748 KiB
Current children cumulated memory: 845904 KiB

[startup+2266.8 s]
/proc/loadavg: 4.38 4.17 4.11 5/270 82748
/proc/meminfo: memFree=119792008/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=1194.55 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 283 346416 0 0 0 0 119240 215 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82581] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82581/stat : 82581 (timeout) S 82464 82581 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75033562 2723840 320 18446744073709551615 93826453655552 93826453672065 140731158733328 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93826453686832 93826453688920 93826471993344 140731158739334 140731158739490 140731158739490 140731158745063 0
/proc/82581/statm: 665 320 320 5 0 90 0
[pid=82582] ppid=82581 vsize=876764 memory=841680 CPUtime=1065.48 cores=0,2
/proc/82582/stat : 82582 (ExactPR-S) R 82581 82581 81700 0 -1 4194304 225495 0 0 0 106493 55 0 0 20 0 1 0 75033562 897806336 210420 18446744073709551615 94404498952192 94404508252229 140729296295600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94404510038336 94404510077416 94404548632576 140729296304542 140729296304679 140729296304679 140729296310252 0
/proc/82582/statm: 219191 210420 3488 2271 0 213829 0
Current children cumulated CPU time: 2260.03 s
Current children cumulated vsize: 883748 KiB
Current children cumulated memory: 845904 KiB

[startup+2267 s]*
/proc/loadavg: 4.38 4.17 4.11 5/270 82748
/proc/meminfo: memFree=120267248/131249996 swapFree=33010160/33010684
[pid=82464] ppid=82461 vsize=4324 memory=2944 CPUtime=1194.55 cores=0,2
/proc/82464/stat : 82464 (Hybrid-CASHWMax) S 82461 82464 81700 0 -1 4194304 283 346416 0 0 0 0 119240 215 20 0 1 0 74913752 4427776 736 18446744073709551615 93870411853824 93870412748357 140723369236720 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93870412987408 93870413035152 93870423404544 140723369240919 140723369241073 140723369241073 140723369246675 0
/proc/82464/statm: 1081 736 672 219 0 143 0
[pid=82581] ppid=82464 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/82581/stat : 82581 (timeout) S 82464 82581 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75033562 2723840 320 18446744073709551615 93826453655552 93826453672065 140731158733328 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93826453686832 93826453688920 93826471993344 140731158739334 140731158739490 140731158739490 140731158745063 0
/proc/82581/statm: 665 320 320 5 0 90 0
Current children cumulated CPU time: 1194.55 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4224 KiB

Child status: 0

Real time (s): 2267.05
CPU time (s): 2260.27
CPU user time (s): 2257.52
CPU system time (s): 2.75424
CPU usage (%): 99.7013
Max. virtual memory (cumulated for all children) (KiB): 6517540
Max. memory (cumulated for all children) (KiB): 5512084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2257.52
system time used= 2.75424
maximum resident set size= 5507860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 573061
page faults= 1
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 769
involuntary context switches= 5032


# summary of solver processes directly reported to runsolver:
#   pid: 82464
#   total CPU time (s): 2260.27
#   total CPU user time (s): 2257.52
#   total CPU system time (s): 2.75424

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.14327 second user time and 10.6999 second system time

The end