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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488845-1751345397/watcher-4488845-1751345397 -o /tmp/evaluation-result-4488845-1751345397/solver-4488845-1751345397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751340595-44272 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4488845-1751345397.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=44921, runsolver pid=44918

[startup+0.100117 s]*
/proc/loadavg: 4.05 4.09 4.09 5/259 44925
/proc/meminfo: memFree=128668152/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=44924] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44924/stat : 44924 (timeout) S 44921 44924 44262 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50218447 2723840 352 18446744073709551615 94678309482496 94678309499009 140734168009984 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94678309513776 94678309515864 94678324977664 140734168013232 140734168013346 140734168013346 140734168018919 0
/proc/44924/statm: 665 352 352 5 0 90 0
[pid=44925] ppid=44924 vsize=21612 memory=7448 CPUtime=0.07 cores=0,2
/proc/44925/stat : 44925 (NuPBO-DeepOptS+) R 44924 44924 44262 0 -1 4194304 968 0 0 0 7 0 0 0 20 0 1 0 50218448 22130688 1862 18446744073709551615 4198400 15468185 140723034030208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43515904 140723034036668 140723034036769 140723034036769 140723034042342 0
/proc/44925/statm: 5403 1862 1152 2752 0 2056 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 28596 KiB
Current children cumulated memory: 11928 KiB

[startup+0.212835 s]*
/proc/loadavg: 4.05 4.09 4.09 5/259 44925
/proc/meminfo: memFree=128668152/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=44924] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44924/stat : 44924 (timeout) S 44921 44924 44262 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50218447 2723840 352 18446744073709551615 94678309482496 94678309499009 140734168009984 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94678309513776 94678309515864 94678324977664 140734168013232 140734168013346 140734168013346 140734168018919 0
/proc/44924/statm: 665 352 352 5 0 90 0
[pid=44925] ppid=44924 vsize=21612 memory=7448 CPUtime=0.18 cores=0,2
/proc/44925/stat : 44925 (NuPBO-DeepOptS+) R 44924 44924 44262 0 -1 4194304 968 0 0 0 18 0 0 0 20 0 1 0 50218448 22130688 1862 18446744073709551615 4198400 15468185 140723034030208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43515904 140723034036668 140723034036769 140723034036769 140723034042342 0
/proc/44925/statm: 5403 1862 1152 2752 0 2056 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 28596 KiB
Current children cumulated memory: 11928 KiB

[startup+0.312766 s]*
/proc/loadavg: 4.05 4.09 4.09 5/259 44925
/proc/meminfo: memFree=128668152/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=44924] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44924/stat : 44924 (timeout) S 44921 44924 44262 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50218447 2723840 352 18446744073709551615 94678309482496 94678309499009 140734168009984 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94678309513776 94678309515864 94678324977664 140734168013232 140734168013346 140734168013346 140734168018919 0
/proc/44924/statm: 665 352 352 5 0 90 0
[pid=44925] ppid=44924 vsize=21612 memory=7448 CPUtime=0.28 cores=0,2
/proc/44925/stat : 44925 (NuPBO-DeepOptS+) R 44924 44924 44262 0 -1 4194304 968 0 0 0 28 0 0 0 20 0 1 0 50218448 22130688 1862 18446744073709551615 4198400 15468185 140723034030208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43515904 140723034036668 140723034036769 140723034036769 140723034042342 0
/proc/44925/statm: 5403 1862 1152 2752 0 2056 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 28596 KiB
Current children cumulated memory: 11928 KiB

[startup+0.700405 s]
/proc/loadavg: 4.05 4.09 4.09 5/259 44925
/proc/meminfo: memFree=128660592/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=44924] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44924/stat : 44924 (timeout) S 44921 44924 44262 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50218447 2723840 352 18446744073709551615 94678309482496 94678309499009 140734168009984 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94678309513776 94678309515864 94678324977664 140734168013232 140734168013346 140734168013346 140734168018919 0
/proc/44924/statm: 665 352 352 5 0 90 0
[pid=44925] ppid=44924 vsize=44580 memory=35120 CPUtime=0.65 cores=0,2
/proc/44925/stat : 44925 (NuPBO-DeepOptS+) R 44924 44924 44262 0 -1 4194304 6540 0 0 0 64 1 0 0 20 0 1 0 50218448 45649920 8780 18446744073709551615 4198400 15468185 140723034030208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43515904 140723034036668 140723034036769 140723034036769 140723034042342 0
/proc/44925/statm: 11145 8780 2816 2752 0 7798 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 51564 KiB
Current children cumulated memory: 39600 KiB

[startup+1.50037 s]
/proc/loadavg: 4.05 4.09 4.09 5/259 44925
/proc/meminfo: memFree=128644464/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=44924] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44924/stat : 44924 (timeout) S 44921 44924 44262 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50218447 2723840 352 18446744073709551615 94678309482496 94678309499009 140734168009984 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94678309513776 94678309515864 94678324977664 140734168013232 140734168013346 140734168013346 140734168018919 0
/proc/44924/statm: 665 352 352 5 0 90 0
[pid=44925] ppid=44924 vsize=52536 memory=42928 CPUtime=1.45 cores=0,2
/proc/44925/stat : 44925 (NuPBO-DeepOptS+) R 44924 44924 44262 0 -1 4194304 8487 0 0 0 143 2 0 0 20 0 1 0 50218448 53796864 10732 18446744073709551615 4198400 15468185 140723034030208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43515904 140723034036668 140723034036769 140723034036769 140723034042342 0
/proc/44925/statm: 13134 10732 2816 2752 0 9787 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 59520 KiB
Current children cumulated memory: 47408 KiB

[startup+3.11323 s]
/proc/loadavg: 4.13 4.10 4.09 5/259 44925
/proc/meminfo: memFree=128621108/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=44924] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44924/stat : 44924 (timeout) S 44921 44924 44262 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50218447 2723840 352 18446744073709551615 94678309482496 94678309499009 140734168009984 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94678309513776 94678309515864 94678324977664 140734168013232 140734168013346 140734168013346 140734168018919 0
/proc/44924/statm: 665 352 352 5 0 90 0
[pid=44925] ppid=44924 vsize=74592 memory=63536 CPUtime=3.06 cores=0,2
/proc/44925/stat : 44925 (NuPBO-DeepOptS+) R 44924 44924 44262 0 -1 4194304 13660 0 0 0 303 3 0 0 20 0 1 0 50218448 76382208 15884 18446744073709551615 4198400 15468185 140723034030208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43515904 140723034036668 140723034036769 140723034036769 140723034042342 0
/proc/44925/statm: 18648 15884 2816 2752 0 15301 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 81576 KiB
Current children cumulated memory: 68016 KiB

[startup+6.30036 s]
/proc/loadavg: 4.13 4.10 4.09 5/259 44925
/proc/meminfo: memFree=128581720/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=44924] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44924/stat : 44924 (timeout) S 44921 44924 44262 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50218447 2723840 352 18446744073709551615 94678309482496 94678309499009 140734168009984 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94678309513776 94678309515864 94678324977664 140734168013232 140734168013346 140734168013346 140734168018919 0
/proc/44924/statm: 665 352 352 5 0 90 0
[pid=44925] ppid=44924 vsize=120640 memory=108080 CPUtime=6.23 cores=0,2
/proc/44925/stat : 44925 (NuPBO-DeepOptS+) R 44924 44924 44262 0 -1 4194304 24792 0 0 0 619 4 0 0 20 0 1 0 50218448 123535360 27020 18446744073709551615 4198400 15468185 140723034030208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43515904 140723034036668 140723034036769 140723034036769 140723034042342 0
/proc/44925/statm: 30160 27020 2816 2752 0 26813 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 127624 KiB
Current children cumulated memory: 112560 KiB

[startup+12.7004 s]
/proc/loadavg: 4.11 4.10 4.09 5/259 44925
/proc/meminfo: memFree=128721836/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=44924] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44924/stat : 44924 (timeout) S 44921 44924 44262 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50218447 2723840 352 18446744073709551615 94678309482496 94678309499009 140734168009984 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94678309513776 94678309515864 94678324977664 140734168013232 140734168013346 140734168013346 140734168018919 0
/proc/44924/statm: 665 352 352 5 0 90 0
[pid=44925] ppid=44924 vsize=160228 memory=144640 CPUtime=12.62 cores=0,2
/proc/44925/stat : 44925 (NuPBO-DeepOptS+) R 44924 44924 44262 0 -1 4194304 35078 0 0 0 1255 7 0 0 20 0 1 0 50218448 164073472 36160 18446744073709551615 4198400 15468185 140723034030208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43515904 140723034036668 140723034036769 140723034036769 140723034042342 0
/proc/44925/statm: 40057 36160 2816 2752 0 36710 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 167212 KiB
Current children cumulated memory: 149120 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.09 4.09 5/259 44925
/proc/meminfo: memFree=128719756/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=44924] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44924/stat : 44924 (timeout) S 44921 44924 44262 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50218447 2723840 352 18446744073709551615 94678309482496 94678309499009 140734168009984 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94678309513776 94678309515864 94678324977664 140734168013232 140734168013346 140734168013346 140734168018919 0
/proc/44924/statm: 665 352 352 5 0 90 0
[pid=44925] ppid=44924 vsize=163008 memory=147456 CPUtime=25.38 cores=0,2
/proc/44925/stat : 44925 (NuPBO-DeepOptS+) R 44924 44924 44262 0 -1 4194304 35753 0 0 0 2531 7 0 0 20 0 1 0 50218448 166920192 36864 18446744073709551615 4198400 15468185 140723034030208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43515904 140723034036668 140723034036769 140723034036769 140723034042342 0
/proc/44925/statm: 40752 36864 2816 2752 0 37405 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 169992 KiB
Current children cumulated memory: 151936 KiB

[startup+51.1128 s]
/proc/loadavg: 4.14 4.10 4.09 5/259 44986
/proc/meminfo: memFree=128533968/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=44924] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/44924/stat : 44924 (timeout) S 44921 44924 44262 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50218447 2723840 352 18446744073709551615 94678309482496 94678309499009 140734168009984 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94678309513776 94678309515864 94678324977664 140734168013232 140734168013346 140734168013346 140734168018919 0
/proc/44924/statm: 665 352 352 5 0 90 0
[pid=44925] ppid=44924 vsize=211604 memory=199372 CPUtime=50.9 cores=0,2
/proc/44925/stat : 44925 (NuPBO-DeepOptS+) R 44924 44924 44262 0 -1 4194304 47329 0 0 0 5081 9 0 0 20 0 1 0 50218448 216682496 49843 18446744073709551615 4198400 15468185 140723034030208 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43515904 140723034036668 140723034036769 140723034036769 140723034042342 0
/proc/44925/statm: 52901 49843 2816 2752 0 49554 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 218588 KiB
Current children cumulated memory: 203852 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/259 44987
/proc/meminfo: memFree=128472344/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=44924] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2

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

/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=45171] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45171/stat : 45171 (timeout) S 44921 45171 44262 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50458248 2723840 352 18446744073709551615 93893394259968 93893394276481 140735396522928 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93893394291248 93893394293336 93893395464192 140735396530563 140735396530722 140735396530722 140735396536295 0
/proc/45171/statm: 665 352 352 5 0 90 0
[pid=45172] ppid=45171 vsize=266472 memory=223236 CPUtime=1060.69 cores=0,2
/proc/45172/stat : 45172 (ExactPR-nols) R 45171 45171 44262 0 -1 4194304 34684 0 0 0 105712 357 0 0 20 0 1 0 50458250 272867328 55809 18446744073709551615 94601806639104 94601815938757 140722007050352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94601817725248 94601817764328 94601832017920 140722007054744 140722007054884 140722007054884 140722007060457 0
/proc/45172/statm: 66618 55809 1888 2271 0 61256 0
Current children cumulated CPU time: 3452.02 s
Current children cumulated vsize: 273456 KiB
Current children cumulated memory: 227716 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.12 5/258 45294
/proc/meminfo: memFree=128272972/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=2391.33 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 281 86099 0 0 0 0 239115 18 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=45171] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45171/stat : 45171 (timeout) S 44921 45171 44262 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50458248 2723840 352 18446744073709551615 93893394259968 93893394276481 140735396522928 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93893394291248 93893394293336 93893395464192 140735396530563 140735396530722 140735396530722 140735396536295 0
/proc/45171/statm: 665 352 352 5 0 90 0
[pid=45172] ppid=45171 vsize=268624 memory=225028 CPUtime=1120.52 cores=0,2
/proc/45172/stat : 45172 (ExactPR-nols) R 45171 45171 44262 0 -1 4194304 35125 0 0 0 111674 378 0 0 20 0 1 0 50458250 275070976 56257 18446744073709551615 94601806639104 94601815938757 140722007050352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94601817725248 94601817764328 94601832017920 140722007054744 140722007054884 140722007054884 140722007060457 0
/proc/45172/statm: 67156 56257 1888 2271 0 61794 0
Current children cumulated CPU time: 3511.85 s
Current children cumulated vsize: 275608 KiB
Current children cumulated memory: 229508 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.12 4.12 5/258 45301
/proc/meminfo: memFree=128251204/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=2391.33 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 281 86099 0 0 0 0 239115 18 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=45171] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45171/stat : 45171 (timeout) S 44921 45171 44262 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50458248 2723840 352 18446744073709551615 93893394259968 93893394276481 140735396522928 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93893394291248 93893394293336 93893395464192 140735396530563 140735396530722 140735396530722 140735396536295 0
/proc/45171/statm: 665 352 352 5 0 90 0
[pid=45172] ppid=45171 vsize=270200 memory=226564 CPUtime=1180.35 cores=0,2
/proc/45172/stat : 45172 (ExactPR-nols) R 45171 45171 44262 0 -1 4194304 35535 0 0 0 117642 393 0 0 20 0 1 0 50458250 276684800 56641 18446744073709551615 94601806639104 94601815938757 140722007050352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94601817725248 94601817764328 94601832017920 140722007054744 140722007054884 140722007054884 140722007060457 0
/proc/45172/statm: 67550 56641 1888 2271 0 62188 0
Current children cumulated CPU time: 3571.68 s
Current children cumulated vsize: 277184 KiB
Current children cumulated memory: 231044 KiB

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

# cumulated CPU time of all completed processes:  user=3581.27 s, system=4.21927 s

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

[startup+3584 s]*
/proc/loadavg: 4.17 4.12 4.12 5/258 45301
/proc/meminfo: memFree=128251204/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=2391.33 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 281 86099 0 0 0 0 239115 18 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=45171] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45171/stat : 45171 (timeout) S 44921 45171 44262 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50458248 2723840 352 18446744073709551615 93893394259968 93893394276481 140735396522928 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93893394291248 93893394293336 93893395464192 140735396530563 140735396530722 140735396530722 140735396536295 0
/proc/45171/statm: 665 352 352 5 0 90 0
[pid=45172] ppid=45171 vsize=270200 memory=226564 CPUtime=1182.05 cores=0,2
/proc/45172/stat : 45172 (ExactPR-nols) R 45171 45171 44262 0 -1 4194304 35535 0 0 0 117811 394 0 0 20 0 1 0 50458250 276684800 56641 18446744073709551615 94601806639104 94601815938757 140722007050352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94601817725248 94601817764328 94601832017920 140722007054744 140722007054884 140722007054884 140722007060457 0
/proc/45172/statm: 67550 56641 1888 2271 0 62188 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 277184 KiB
Current children cumulated memory: 231044 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.12 4.12 5/258 45301
/proc/meminfo: memFree=128251708/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=2391.33 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 281 86099 0 0 0 0 239115 18 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=45171] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45171/stat : 45171 (timeout) S 44921 45171 44262 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50458248 2723840 352 18446744073709551615 93893394259968 93893394276481 140735396522928 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93893394291248 93893394293336 93893395464192 140735396530563 140735396530722 140735396530722 140735396536295 0
/proc/45171/statm: 665 352 352 5 0 90 0
[pid=45172] ppid=45171 vsize=270200 memory=226564 CPUtime=1188.43 cores=0,2
/proc/45172/stat : 45172 (ExactPR-nols) R 45171 45171 44262 0 -1 4194304 35535 0 0 0 118445 398 0 0 20 0 1 0 50458250 276684800 56641 18446744073709551615 94601806639104 94601815938757 140722007050352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94601817725248 94601817764328 94601832017920 140722007054744 140722007054884 140722007054884 140722007060457 0
/proc/45172/statm: 67550 56641 1888 2271 0 62188 0
Current children cumulated CPU time: 3579.76 s
Current children cumulated vsize: 277184 KiB
Current children cumulated memory: 231044 KiB

[startup+3593.6 s]
/proc/loadavg: 4.14 4.12 4.12 5/258 45301
/proc/meminfo: memFree=128251968/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=2391.33 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 281 86099 0 0 0 0 239115 18 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=45171] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45171/stat : 45171 (timeout) S 44921 45171 44262 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50458248 2723840 352 18446744073709551615 93893394259968 93893394276481 140735396522928 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93893394291248 93893394293336 93893395464192 140735396530563 140735396530722 140735396530722 140735396536295 0
/proc/45171/statm: 665 352 352 5 0 90 0
[pid=45172] ppid=45171 vsize=270200 memory=226564 CPUtime=1191.62 cores=0,2
/proc/45172/stat : 45172 (ExactPR-nols) R 45171 45171 44262 0 -1 4194304 35535 0 0 0 118764 398 0 0 20 0 1 0 50458250 276684800 56641 18446744073709551615 94601806639104 94601815938757 140722007050352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94601817725248 94601817764328 94601832017920 140722007054744 140722007054884 140722007054884 140722007060457 0
/proc/45172/statm: 67550 56641 1888 2271 0 62188 0
Current children cumulated CPU time: 3582.95 s
Current children cumulated vsize: 277184 KiB
Current children cumulated memory: 231044 KiB

[startup+3595.2 s]
/proc/loadavg: 4.14 4.12 4.12 5/258 45301
/proc/meminfo: memFree=128251968/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=2391.33 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 281 86099 0 0 0 0 239115 18 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=45171] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45171/stat : 45171 (timeout) S 44921 45171 44262 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50458248 2723840 352 18446744073709551615 93893394259968 93893394276481 140735396522928 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93893394291248 93893394293336 93893395464192 140735396530563 140735396530722 140735396530722 140735396536295 0
/proc/45171/statm: 665 352 352 5 0 90 0
[pid=45172] ppid=45171 vsize=270200 memory=226564 CPUtime=1193.22 cores=0,2
/proc/45172/stat : 45172 (ExactPR-nols) R 45171 45171 44262 0 -1 4194304 35535 0 0 0 118924 398 0 0 20 0 1 0 50458250 276684800 56641 18446744073709551615 94601806639104 94601815938757 140722007050352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94601817725248 94601817764328 94601832017920 140722007054744 140722007054884 140722007054884 140722007060457 0
/proc/45172/statm: 67550 56641 1888 2271 0 62188 0
Current children cumulated CPU time: 3584.55 s
Current children cumulated vsize: 277184 KiB
Current children cumulated memory: 231044 KiB

[startup+3595.6 s]
/proc/loadavg: 4.14 4.12 4.12 5/258 45301
/proc/meminfo: memFree=128251968/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=2391.33 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 281 86099 0 0 0 0 239115 18 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=45171] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45171/stat : 45171 (timeout) S 44921 45171 44262 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50458248 2723840 352 18446744073709551615 93893394259968 93893394276481 140735396522928 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93893394291248 93893394293336 93893395464192 140735396530563 140735396530722 140735396530722 140735396536295 0
/proc/45171/statm: 665 352 352 5 0 90 0
[pid=45172] ppid=45171 vsize=270200 memory=226564 CPUtime=1193.61 cores=0,2
/proc/45172/stat : 45172 (ExactPR-nols) R 45171 45171 44262 0 -1 4194304 35535 0 0 0 118963 398 0 0 20 0 1 0 50458250 276684800 56641 18446744073709551615 94601806639104 94601815938757 140722007050352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94601817725248 94601817764328 94601832017920 140722007054744 140722007054884 140722007054884 140722007060457 0
/proc/45172/statm: 67550 56641 1888 2271 0 62188 0
Current children cumulated CPU time: 3584.94 s
Current children cumulated vsize: 277184 KiB
Current children cumulated memory: 231044 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.12 4.12 5/258 45301
/proc/meminfo: memFree=128252244/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=2391.33 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 281 86099 0 0 0 0 239115 18 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
[pid=45171] ppid=44921 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/45171/stat : 45171 (timeout) S 44921 45171 44262 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50458248 2723840 352 18446744073709551615 93893394259968 93893394276481 140735396522928 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 93893394291248 93893394293336 93893395464192 140735396530563 140735396530722 140735396530722 140735396536295 0
/proc/45171/statm: 665 352 352 5 0 90 0
[pid=45172] ppid=45171 vsize=270200 memory=226564 CPUtime=1194.03 cores=0,2
/proc/45172/stat : 45172 (ExactPR-nols) R 45171 45171 44262 0 -1 4194304 35535 0 0 0 119005 398 0 0 20 0 1 0 50458250 276684800 56641 18446744073709551615 94601806639104 94601815938757 140722007050352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94601817725248 94601817764328 94601832017920 140722007054744 140722007054884 140722007054884 140722007060457 0
/proc/45172/statm: 67550 56641 1888 2271 0 62188 0
Current children cumulated CPU time: 3585.36 s
Current children cumulated vsize: 277184 KiB
Current children cumulated memory: 231044 KiB

[startup+3596.11 s]
/proc/loadavg: 4.14 4.12 4.12 5/258 45301
/proc/meminfo: memFree=128252244/131382120 swapFree=33010684/33010684
[pid=44921] ppid=44918 vsize=4324 memory=3072 CPUtime=3585.44 cores=0,2
/proc/44921/stat : 44921 (Hybrid-NuPBODee) S 44918 44921 44262 0 -1 4194304 364 122905 0 0 0 0 358125 419 20 0 1 0 50218444 4427776 768 18446744073709551615 93908241944576 93908242839109 140726976957856 0 0 0 2 4 65536 1 0 0 17 2 0 0 0 0 0 93908243078160 93908243125904 93908274933760 140726976960859 140726976961011 140726976961011 140726976966613 0
/proc/44921/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3585.44 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.17
CPU time (s): 3585.49
CPU user time (s): 3581.27
CPU system time (s): 4.21927
CPU usage (%): 99.7028
Max. virtual memory (cumulated for all children) (KiB): 367024
Max. memory (cumulated for all children) (KiB): 352864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.27
system time used= 4.21927
maximum resident set size= 349824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125154
page faults= 0
swaps= 0
block input operations= 0
block output operations= 320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1969
involuntary context switches= 7956


# summary of solver processes directly reported to runsolver:
#   pid: 44921
#   total CPU time (s): 3585.49
#   total CPU user time (s): 3581.27
#   total CPU system time (s): 4.21927

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9114 second user time and 37.2396 second system time

The end