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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488937-1751345507/watcher-4488937-1751345507 -o /tmp/evaluation-result-4488937-1751345507/solver-4488937-1751345507 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751340595-44273 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4488937-1751345507.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100096 s]*
/proc/loadavg: 4.18 4.11 4.10 5/259 45048
/proc/meminfo: memFree=128512880/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45047] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45047/stat : 45047 (timeout) S 45044 45047 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50229376 2723840 352 18446744073709551615 94893570711552 94893570728065 140725322301552 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94893570742832 94893570744920 94893585055744 140725322303920 140725322304034 140725322304034 140725322309607 0
/proc/45047/statm: 665 352 352 5 0 90 0
[pid=45048] ppid=45047 vsize=21612 memory=7448 CPUtime=0.06 cores=4,6
/proc/45048/stat : 45048 (NuPBO-DeepOptS+) R 45047 45047 44262 0 -1 4194304 968 0 0 0 6 0 0 0 20 0 1 0 50229377 22130688 1862 18446744073709551615 4198400 15468185 140727821358496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51490816 140727821363644 140727821363745 140727821363745 140727821369318 0
/proc/45048/statm: 5403 1862 1152 2752 0 2056 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 28596 KiB
Current children cumulated memory: 11928 KiB

[startup+0.213841 s]*
/proc/loadavg: 4.18 4.11 4.10 5/259 45048
/proc/meminfo: memFree=128513132/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45047] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45047/stat : 45047 (timeout) S 45044 45047 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50229376 2723840 352 18446744073709551615 94893570711552 94893570728065 140725322301552 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94893570742832 94893570744920 94893585055744 140725322303920 140725322304034 140725322304034 140725322309607 0
/proc/45047/statm: 665 352 352 5 0 90 0
[pid=45048] ppid=45047 vsize=21612 memory=7448 CPUtime=0.17 cores=4,6
/proc/45048/stat : 45048 (NuPBO-DeepOptS+) R 45047 45047 44262 0 -1 4194304 968 0 0 0 17 0 0 0 20 0 1 0 50229377 22130688 1862 18446744073709551615 4198400 15468185 140727821358496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51490816 140727821363644 140727821363745 140727821363745 140727821369318 0
/proc/45048/statm: 5403 1862 1152 2752 0 2056 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 28596 KiB
Current children cumulated memory: 11928 KiB

[startup+0.313298 s]*
/proc/loadavg: 4.18 4.11 4.10 5/259 45048
/proc/meminfo: memFree=128513132/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45047] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45047/stat : 45047 (timeout) S 45044 45047 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50229376 2723840 352 18446744073709551615 94893570711552 94893570728065 140725322301552 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94893570742832 94893570744920 94893585055744 140725322303920 140725322304034 140725322304034 140725322309607 0
/proc/45047/statm: 665 352 352 5 0 90 0
[pid=45048] ppid=45047 vsize=21612 memory=7448 CPUtime=0.27 cores=4,6
/proc/45048/stat : 45048 (NuPBO-DeepOptS+) R 45047 45047 44262 0 -1 4194304 968 0 0 0 27 0 0 0 20 0 1 0 50229377 22130688 1862 18446744073709551615 4198400 15468185 140727821358496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51490816 140727821363644 140727821363745 140727821363745 140727821369318 0
/proc/45048/statm: 5403 1862 1152 2752 0 2056 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 28596 KiB
Current children cumulated memory: 11928 KiB

[startup+0.700495 s]
/proc/loadavg: 4.18 4.11 4.10 5/259 45048
/proc/meminfo: memFree=128513132/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45047] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45047/stat : 45047 (timeout) S 45044 45047 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50229376 2723840 352 18446744073709551615 94893570711552 94893570728065 140725322301552 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94893570742832 94893570744920 94893585055744 140725322303920 140725322304034 140725322304034 140725322309607 0
/proc/45047/statm: 665 352 352 5 0 90 0
[pid=45048] ppid=45047 vsize=42592 memory=33236 CPUtime=0.64 cores=4,6
/proc/45048/stat : 45048 (NuPBO-DeepOptS+) R 45047 45047 44262 0 -1 4194304 6059 0 0 0 62 2 0 0 20 0 1 0 50229377 43614208 8309 18446744073709551615 4198400 15468185 140727821358496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51490816 140727821363644 140727821363745 140727821363745 140727821369318 0
/proc/45048/statm: 10648 8309 2816 2752 0 7301 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 49576 KiB
Current children cumulated memory: 37716 KiB

[startup+1.50049 s]
/proc/loadavg: 4.18 4.11 4.10 5/259 45048
/proc/meminfo: memFree=128493476/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45047] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45047/stat : 45047 (timeout) S 45044 45047 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50229376 2723840 352 18446744073709551615 94893570711552 94893570728065 140725322301552 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94893570742832 94893570744920 94893585055744 140725322303920 140725322304034 140725322304034 140725322309607 0
/proc/45047/statm: 665 352 352 5 0 90 0
[pid=45048] ppid=45047 vsize=47376 memory=37460 CPUtime=1.44 cores=4,6
/proc/45048/stat : 45048 (NuPBO-DeepOptS+) R 45047 45047 44262 0 -1 4194304 7118 0 0 0 142 2 0 0 20 0 1 0 50229377 48513024 9365 18446744073709551615 4198400 15468185 140727821358496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51490816 140727821363644 140727821363745 140727821363745 140727821369318 0
/proc/45048/statm: 11844 9365 2816 2752 0 8497 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 54360 KiB
Current children cumulated memory: 41940 KiB

[startup+3.11345 s]
/proc/loadavg: 4.16 4.11 4.09 5/259 45048
/proc/meminfo: memFree=128489496/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45047] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45047/stat : 45047 (timeout) S 45044 45047 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50229376 2723840 352 18446744073709551615 94893570711552 94893570728065 140725322301552 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94893570742832 94893570744920 94893585055744 140725322303920 140725322304034 140725322304034 140725322309607 0
/proc/45047/statm: 665 352 352 5 0 90 0
[pid=45048] ppid=45047 vsize=57332 memory=46420 CPUtime=3.06 cores=4,6
/proc/45048/stat : 45048 (NuPBO-DeepOptS+) R 45047 45047 44262 0 -1 4194304 9378 0 0 0 303 3 0 0 20 0 1 0 50229377 58707968 11605 18446744073709551615 4198400 15468185 140727821358496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51490816 140727821363644 140727821363745 140727821363745 140727821369318 0
/proc/45048/statm: 14333 11605 2816 2752 0 10986 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 64316 KiB
Current children cumulated memory: 50900 KiB

[startup+6.30046 s]
/proc/loadavg: 4.16 4.11 4.09 5/259 45048
/proc/meminfo: memFree=128433924/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45047] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45047/stat : 45047 (timeout) S 45044 45047 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50229376 2723840 352 18446744073709551615 94893570711552 94893570728065 140725322301552 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94893570742832 94893570744920 94893585055744 140725322303920 140725322304034 140725322304034 140725322309607 0
/proc/45047/statm: 665 352 352 5 0 90 0
[pid=45048] ppid=45047 vsize=125480 memory=112724 CPUtime=6.23 cores=4,6
/proc/45048/stat : 45048 (NuPBO-DeepOptS+) R 45047 45047 44262 0 -1 4194304 25930 0 0 0 618 5 0 0 20 0 1 0 50229377 128491520 28181 18446744073709551615 4198400 15468185 140727821358496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51490816 140727821363644 140727821363745 140727821363745 140727821369318 0
/proc/45048/statm: 31370 28181 2816 2752 0 28023 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 132464 KiB
Current children cumulated memory: 117204 KiB

[startup+12.7005 s]
/proc/loadavg: 4.14 4.11 4.09 5/259 45048
/proc/meminfo: memFree=128386040/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45047] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45047/stat : 45047 (timeout) S 45044 45047 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50229376 2723840 352 18446744073709551615 94893570711552 94893570728065 140725322301552 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94893570742832 94893570744920 94893585055744 140725322303920 140725322304034 140725322304034 140725322309607 0
/proc/45047/statm: 665 352 352 5 0 90 0
[pid=45048] ppid=45047 vsize=154124 memory=138084 CPUtime=12.62 cores=4,6
/proc/45048/stat : 45048 (NuPBO-DeepOptS+) R 45047 45047 44262 0 -1 4194304 32549 0 0 0 1255 7 0 0 20 0 1 0 50229377 157822976 34521 18446744073709551615 4198400 15468185 140727821358496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51490816 140727821363644 140727821363745 140727821363745 140727821369318 0
/proc/45048/statm: 38531 34521 2816 2752 0 35184 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 161108 KiB
Current children cumulated memory: 142564 KiB

[startup+25.5005 s]
/proc/loadavg: 4.12 4.10 4.09 5/259 45048
/proc/meminfo: memFree=128399176/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45047] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45047/stat : 45047 (timeout) S 45044 45047 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50229376 2723840 352 18446744073709551615 94893570711552 94893570728065 140725322301552 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94893570742832 94893570744920 94893585055744 140725322303920 140725322304034 140725322304034 140725322309607 0
/proc/45047/statm: 665 352 352 5 0 90 0
[pid=45048] ppid=45047 vsize=159864 memory=144484 CPUtime=25.37 cores=4,6
/proc/45048/stat : 45048 (NuPBO-DeepOptS+) R 45047 45047 44262 0 -1 4194304 34129 0 0 0 2530 7 0 0 20 0 1 0 50229377 163700736 36121 18446744073709551615 4198400 15468185 140727821358496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51490816 140727821363644 140727821363745 140727821363745 140727821369318 0
/proc/45048/statm: 39966 36121 2816 2752 0 36619 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 166848 KiB
Current children cumulated memory: 148964 KiB

[startup+51.1133 s]
/proc/loadavg: 4.13 4.11 4.09 5/259 45048
/proc/meminfo: memFree=128298944/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45047] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45047/stat : 45047 (timeout) S 45044 45047 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50229376 2723840 352 18446744073709551615 94893570711552 94893570728065 140725322301552 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94893570742832 94893570744920 94893585055744 140725322303920 140725322304034 140725322304034 140725322309607 0
/proc/45047/statm: 665 352 352 5 0 90 0
[pid=45048] ppid=45047 vsize=224128 memory=204388 CPUtime=50.91 cores=4,6
/proc/45048/stat : 45048 (NuPBO-DeepOptS+) R 45047 45047 44262 0 -1 4194304 49132 0 0 0 5081 10 0 0 20 0 1 0 50229377 229507072 51097 18446744073709551615 4198400 15468185 140727821358496 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51490816 140727821363644 140727821363745 140727821363745 140727821369318 0
/proc/45048/statm: 56032 51097 2816 2752 0 52685 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 231112 KiB
Current children cumulated memory: 208868 KiB

[startup+102.301 s]
/proc/loadavg: 4.13 4.11 4.09 5/259 45050
/proc/meminfo: memFree=128236512/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45047] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45250] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45250/stat : 45250 (timeout) S 45044 45250 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50469177 2723840 352 18446744073709551615 94124148879360 94124148895873 140727938566816 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94124148910640 94124148912728 94124149661696 140727938570627 140727938570786 140727938570786 140727938576359 0
/proc/45250/statm: 665 352 352 5 0 90 0
[pid=45251] ppid=45250 vsize=267220 memory=238572 CPUtime=1061.25 cores=4,6
/proc/45251/stat : 45251 (ExactPR-nols) R 45250 45250 44262 0 -1 4194304 36572 0 0 0 105749 376 0 0 20 0 1 0 50469179 273633280 59643 18446744073709551615 94644966481920 94644975781573 140730157969504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94644977568064 94644977607144 94644989825024 140730157971864 140730157972004 140730157972004 140730157977577 0
/proc/45251/statm: 66805 59643 1920 2271 0 61443 0
Current children cumulated CPU time: 3453.64 s
Current children cumulated vsize: 274204 KiB
Current children cumulated memory: 243052 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.12 5/258 45372
/proc/meminfo: memFree=128299372/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=2392.39 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 283 117160 0 0 0 0 239213 26 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45250] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45250/stat : 45250 (timeout) S 45044 45250 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50469177 2723840 352 18446744073709551615 94124148879360 94124148895873 140727938566816 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94124148910640 94124148912728 94124149661696 140727938570627 140727938570786 140727938570786 140727938576359 0
/proc/45250/statm: 665 352 352 5 0 90 0
[pid=45251] ppid=45250 vsize=268344 memory=239596 CPUtime=1121.06 cores=4,6
/proc/45251/stat : 45251 (ExactPR-nols) R 45250 45250 44262 0 -1 4194304 36864 0 0 0 111710 396 0 0 20 0 1 0 50469179 274784256 59899 18446744073709551615 94644966481920 94644975781573 140730157969504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94644977568064 94644977607144 94644989825024 140730157971864 140730157972004 140730157972004 140730157977577 0
/proc/45251/statm: 67086 59899 1920 2271 0 61724 0
Current children cumulated CPU time: 3513.45 s
Current children cumulated vsize: 275328 KiB
Current children cumulated memory: 244076 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.10 4.11 5/258 45444
/proc/meminfo: memFree=128014220/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=2392.39 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 283 117160 0 0 0 0 239213 26 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45250] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45250/stat : 45250 (timeout) S 45044 45250 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50469177 2723840 352 18446744073709551615 94124148879360 94124148895873 140727938566816 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94124148910640 94124148912728 94124149661696 140727938570627 140727938570786 140727938570786 140727938576359 0
/proc/45250/statm: 665 352 352 5 0 90 0
[pid=45251] ppid=45250 vsize=270612 memory=241900 CPUtime=1180.89 cores=4,6
/proc/45251/stat : 45251 (ExactPR-nols) R 45250 45250 44262 0 -1 4194304 37437 0 0 0 117674 415 0 0 20 0 1 0 50469179 277106688 60475 18446744073709551615 94644966481920 94644975781573 140730157969504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94644977568064 94644977607144 94644989825024 140730157971864 140730157972004 140730157972004 140730157977577 0
/proc/45251/statm: 67653 60475 1920 2271 0 62291 0
Current children cumulated CPU time: 3573.28 s
Current children cumulated vsize: 277596 KiB
Current children cumulated memory: 246380 KiB

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

# cumulated CPU time of all completed processes:  user=3582.58 s, system=4.4905 s

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

[startup+3584 s]*
/proc/loadavg: 4.05 4.10 4.11 6/259 45445
/proc/meminfo: memFree=128017456/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=2392.39 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 283 117160 0 0 0 0 239213 26 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45250] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45250/stat : 45250 (timeout) S 45044 45250 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50469177 2723840 352 18446744073709551615 94124148879360 94124148895873 140727938566816 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94124148910640 94124148912728 94124149661696 140727938570627 140727938570786 140727938570786 140727938576359 0
/proc/45250/statm: 665 352 352 5 0 90 0
[pid=45251] ppid=45250 vsize=270612 memory=241900 CPUtime=1182.59 cores=4,6
/proc/45251/stat : 45251 (ExactPR-nols) R 45250 45250 44262 0 -1 4194304 37437 0 0 0 117844 415 0 0 20 0 1 0 50469179 277106688 60475 18446744073709551615 94644966481920 94644975781573 140730157969504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94644977568064 94644977607144 94644989825024 140730157971864 140730157972004 140730157972004 140730157977577 0
/proc/45251/statm: 67653 60475 1920 2271 0 62291 0
Current children cumulated CPU time: 3574.98 s
Current children cumulated vsize: 277596 KiB
Current children cumulated memory: 246380 KiB

[startup+3590.4 s]
/proc/loadavg: 4.05 4.09 4.11 5/258 45445
/proc/meminfo: memFree=128030760/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=2392.39 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 283 117160 0 0 0 0 239213 26 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45250] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45250/stat : 45250 (timeout) S 45044 45250 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50469177 2723840 352 18446744073709551615 94124148879360 94124148895873 140727938566816 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94124148910640 94124148912728 94124149661696 140727938570627 140727938570786 140727938570786 140727938576359 0
/proc/45250/statm: 665 352 352 5 0 90 0
[pid=45251] ppid=45250 vsize=270840 memory=242028 CPUtime=1188.97 cores=4,6
/proc/45251/stat : 45251 (ExactPR-nols) R 45250 45250 44262 0 -1 4194304 37464 0 0 0 118479 418 0 0 20 0 1 0 50469179 277340160 60507 18446744073709551615 94644966481920 94644975781573 140730157969504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94644977568064 94644977607144 94644989825024 140730157971864 140730157972004 140730157972004 140730157977577 0
/proc/45251/statm: 67710 60507 1920 2271 0 62348 0
Current children cumulated CPU time: 3581.36 s
Current children cumulated vsize: 277824 KiB
Current children cumulated memory: 246508 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.11 4.11 5/258 45445
/proc/meminfo: memFree=128031012/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=2392.39 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 283 117160 0 0 0 0 239213 26 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45250] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45250/stat : 45250 (timeout) S 45044 45250 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50469177 2723840 352 18446744073709551615 94124148879360 94124148895873 140727938566816 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94124148910640 94124148912728 94124149661696 140727938570627 140727938570786 140727938570786 140727938576359 0
/proc/45250/statm: 665 352 352 5 0 90 0
[pid=45251] ppid=45250 vsize=270840 memory=242028 CPUtime=1192.15 cores=4,6
/proc/45251/stat : 45251 (ExactPR-nols) R 45250 45250 44262 0 -1 4194304 37465 0 0 0 118797 418 0 0 20 0 1 0 50469179 277340160 60507 18446744073709551615 94644966481920 94644975781573 140730157969504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94644977568064 94644977607144 94644989825024 140730157971864 140730157972004 140730157972004 140730157977577 0
/proc/45251/statm: 67710 60507 1920 2271 0 62348 0
Current children cumulated CPU time: 3584.54 s
Current children cumulated vsize: 277824 KiB
Current children cumulated memory: 246508 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.11 4.11 5/258 45445
/proc/meminfo: memFree=128031012/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=2392.39 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 283 117160 0 0 0 0 239213 26 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45250] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45250/stat : 45250 (timeout) S 45044 45250 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50469177 2723840 352 18446744073709551615 94124148879360 94124148895873 140727938566816 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94124148910640 94124148912728 94124149661696 140727938570627 140727938570786 140727938570786 140727938576359 0
/proc/45250/statm: 665 352 352 5 0 90 0
[pid=45251] ppid=45250 vsize=270840 memory=242028 CPUtime=1193.75 cores=4,6
/proc/45251/stat : 45251 (ExactPR-nols) R 45250 45250 44262 0 -1 4194304 37467 0 0 0 118957 418 0 0 20 0 1 0 50469179 277340160 60507 18446744073709551615 94644966481920 94644975781573 140730157969504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94644977568064 94644977607144 94644989825024 140730157971864 140730157972004 140730157972004 140730157977577 0
/proc/45251/statm: 67710 60507 1920 2271 0 62348 0
Current children cumulated CPU time: 3586.14 s
Current children cumulated vsize: 277824 KiB
Current children cumulated memory: 246508 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.11 4.11 5/258 45445
/proc/meminfo: memFree=128031012/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=2392.39 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 283 117160 0 0 0 0 239213 26 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45250] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45250/stat : 45250 (timeout) S 45044 45250 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50469177 2723840 352 18446744073709551615 94124148879360 94124148895873 140727938566816 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94124148910640 94124148912728 94124149661696 140727938570627 140727938570786 140727938570786 140727938576359 0
/proc/45250/statm: 665 352 352 5 0 90 0
[pid=45251] ppid=45250 vsize=271352 memory=242540 CPUtime=1194.15 cores=4,6
/proc/45251/stat : 45251 (ExactPR-nols) R 45250 45250 44262 0 -1 4194304 37597 0 0 0 118997 418 0 0 20 0 1 0 50469179 277864448 60635 18446744073709551615 94644966481920 94644975781573 140730157969504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94644977568064 94644977607144 94644989825024 140730157971864 140730157972004 140730157972004 140730157977577 0
/proc/45251/statm: 67838 60635 1920 2271 0 62476 0
Current children cumulated CPU time: 3586.54 s
Current children cumulated vsize: 278336 KiB
Current children cumulated memory: 247020 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.11 4.11 5/258 45445
/proc/meminfo: memFree=128031012/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=2392.39 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 283 117160 0 0 0 0 239213 26 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
[pid=45250] ppid=45044 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/45250/stat : 45250 (timeout) S 45044 45250 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50469177 2723840 352 18446744073709551615 94124148879360 94124148895873 140727938566816 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94124148910640 94124148912728 94124149661696 140727938570627 140727938570786 140727938570786 140727938576359 0
/proc/45250/statm: 665 352 352 5 0 90 0
[pid=45251] ppid=45250 vsize=271352 memory=242540 CPUtime=1194.56 cores=4,6
/proc/45251/stat : 45251 (ExactPR-nols) R 45250 45250 44262 0 -1 4194304 37597 0 0 0 119038 418 0 0 20 0 1 0 50469179 277864448 60635 18446744073709551615 94644966481920 94644975781573 140730157969504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94644977568064 94644977607144 94644989825024 140730157971864 140730157972004 140730157972004 140730157977577 0
/proc/45251/statm: 67838 60635 1920 2271 0 62476 0
Current children cumulated CPU time: 3586.95 s
Current children cumulated vsize: 278336 KiB
Current children cumulated memory: 247020 KiB

[startup+3596.11 s]
/proc/loadavg: 4.12 4.11 4.11 5/258 45445
/proc/meminfo: memFree=128031012/131382120 swapFree=33010684/33010684
[pid=45044] ppid=45041 vsize=4324 memory=3072 CPUtime=3587.03 cores=4,6
/proc/45044/stat : 45044 (Hybrid-NuPBODee) S 45041 45044 44262 0 -1 4194304 368 156038 0 0 0 0 358257 446 20 0 1 0 50229373 4427776 768 18446744073709551615 94413214183424 94413215077957 140725352886896 0 0 0 2 4 65536 1 0 0 17 6 0 0 0 0 0 94413215317008 94413215364752 94413217062912 140725352892763 140725352892915 140725352892915 140725352898517 0
/proc/45044/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3587.03 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.17
CPU time (s): 3587.08
CPU user time (s): 3582.58
CPU system time (s): 4.4905
CPU usage (%): 99.7472
Max. virtual memory (cumulated for all children) (KiB): 484868
Max. memory (cumulated for all children) (KiB): 464904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.58
system time used= 4.4905
maximum resident set size= 460424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158296
page faults= 0
swaps= 0
block input operations= 0
block output operations= 288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1954
involuntary context switches= 3025


# summary of solver processes directly reported to runsolver:
#   pid: 45044
#   total CPU time (s): 3587.08
#   total CPU user time (s): 3582.58
#   total CPU system time (s): 4.4905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.221 second user time and 36.2708 second system time

The end