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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488707-1751343702/watcher-4488707-1751343702 -o /tmp/evaluation-result-4488707-1751343702/solver-4488707-1751343702 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751338795-48342 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4488707-1751343702.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100059 s]*
/proc/loadavg: 4.10 4.13 4.10 5/272 49075
/proc/meminfo: memFree=109563348/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49074] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49074/stat : 49074 (timeout) S 49071 49074 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50048804 2723840 352 18446744073709551615 94075543023616 94075543040129 140735890968384 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94075543054896 94075543056984 94075567529984 140735890971056 140735890971170 140735890971170 140735890976743 0
/proc/49074/statm: 665 352 352 5 0 90 0
[pid=49075] ppid=49074 vsize=21612 memory=7380 CPUtime=0.07 cores=5,7
/proc/49075/stat : 49075 (NuPBO-DeepOptS+) R 49074 49074 48326 0 -1 4194304 968 0 0 0 7 0 0 0 20 0 1 0 50048804 22130688 1845 18446744073709551615 4198400 15468185 140726159317280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45019136 140726159325628 140726159325729 140726159325729 140726159331302 0
/proc/49075/statm: 5403 1845 1152 2752 0 2056 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 28596 KiB
Current children cumulated memory: 11732 KiB

[startup+0.205577 s]*
/proc/loadavg: 4.10 4.13 4.10 5/272 49075
/proc/meminfo: memFree=109547472/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49074] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49074/stat : 49074 (timeout) S 49071 49074 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50048804 2723840 352 18446744073709551615 94075543023616 94075543040129 140735890968384 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94075543054896 94075543056984 94075567529984 140735890971056 140735890971170 140735890971170 140735890976743 0
/proc/49074/statm: 665 352 352 5 0 90 0
[pid=49075] ppid=49074 vsize=34616 memory=24984 CPUtime=0.17 cores=5,7
/proc/49075/stat : 49075 (NuPBO-DeepOptS+) R 49074 49074 48326 0 -1 4194304 4012 0 0 0 17 0 0 0 20 0 1 0 50048804 35446784 6246 18446744073709551615 4198400 15468185 140726159317280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45019136 140726159325628 140726159325729 140726159325729 140726159331302 0
/proc/49075/statm: 8654 6246 2688 2752 0 5307 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 41600 KiB
Current children cumulated memory: 29336 KiB

[startup+0.305491 s]*
/proc/loadavg: 4.10 4.13 4.10 5/272 49075
/proc/meminfo: memFree=109543692/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49074] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49074/stat : 49074 (timeout) S 49071 49074 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50048804 2723840 352 18446744073709551615 94075543023616 94075543040129 140735890968384 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94075543054896 94075543056984 94075567529984 140735890971056 140735890971170 140735890971170 140735890976743 0
/proc/49074/statm: 665 352 352 5 0 90 0
[pid=49075] ppid=49074 vsize=44928 memory=35344 CPUtime=0.27 cores=5,7
/proc/49075/stat : 49075 (NuPBO-DeepOptS+) R 49074 49074 48326 0 -1 4194304 6608 0 0 0 27 0 0 0 20 0 1 0 50048804 46006272 8836 18446744073709551615 4198400 15468185 140726159317280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45019136 140726159325628 140726159325729 140726159325729 140726159331302 0
/proc/49075/statm: 11232 8836 2816 2752 0 7885 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 51912 KiB
Current children cumulated memory: 39696 KiB

[startup+0.700174 s]
/proc/loadavg: 4.10 4.13 4.10 5/272 49075
/proc/meminfo: memFree=109539660/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49074] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49074/stat : 49074 (timeout) S 49071 49074 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50048804 2723840 352 18446744073709551615 94075543023616 94075543040129 140735890968384 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94075543054896 94075543056984 94075567529984 140735890971056 140735890971170 140735890971170 140735890976743 0
/proc/49074/statm: 665 352 352 5 0 90 0
[pid=49075] ppid=49074 vsize=49104 memory=39440 CPUtime=0.66 cores=5,7
/proc/49075/stat : 49075 (NuPBO-DeepOptS+) R 49074 49074 48326 0 -1 4194304 7620 0 0 0 66 0 0 0 20 0 1 0 50048804 50282496 9860 18446744073709551615 4198400 15468185 140726159317280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45019136 140726159325628 140726159325729 140726159325729 140726159331302 0
/proc/49075/statm: 12276 9860 2816 2752 0 8929 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 56088 KiB
Current children cumulated memory: 43792 KiB

[startup+1.50017 s]
/proc/loadavg: 4.10 4.13 4.10 5/272 49075
/proc/meminfo: memFree=109539836/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49074] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49074/stat : 49074 (timeout) S 49071 49074 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50048804 2723840 352 18446744073709551615 94075543023616 94075543040129 140735890968384 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94075543054896 94075543056984 94075567529984 140735890971056 140735890971170 140735890971170 140735890976743 0
/proc/49074/statm: 665 352 352 5 0 90 0
[pid=49075] ppid=49074 vsize=51292 memory=41232 CPUtime=1.45 cores=5,7
/proc/49075/stat : 49075 (NuPBO-DeepOptS+) R 49074 49074 48326 0 -1 4194304 8070 0 0 0 145 0 0 0 20 0 1 0 50048804 52523008 10308 18446744073709551615 4198400 15468185 140726159317280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45019136 140726159325628 140726159325729 140726159325729 140726159331302 0
/proc/49075/statm: 12823 10308 2816 2752 0 9476 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 58276 KiB
Current children cumulated memory: 45584 KiB

[startup+3.10547 s]
/proc/loadavg: 4.10 4.12 4.10 5/272 49075
/proc/meminfo: memFree=109532120/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49074] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49074/stat : 49074 (timeout) S 49071 49074 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50048804 2723840 352 18446744073709551615 94075543023616 94075543040129 140735890968384 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94075543054896 94075543056984 94075567529984 140735890971056 140735890971170 140735890971170 140735890976743 0
/proc/49074/statm: 665 352 352 5 0 90 0
[pid=49075] ppid=49074 vsize=58816 memory=47504 CPUtime=3.06 cores=5,7
/proc/49075/stat : 49075 (NuPBO-DeepOptS+) R 49074 49074 48326 0 -1 4194304 9650 0 0 0 305 1 0 0 20 0 1 0 50048804 60227584 11876 18446744073709551615 4198400 15468185 140726159317280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45019136 140726159325628 140726159325729 140726159325729 140726159331302 0
/proc/49075/statm: 14704 11876 2816 2752 0 11357 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 65800 KiB
Current children cumulated memory: 51856 KiB

[startup+6.30018 s]
/proc/loadavg: 4.10 4.12 4.10 5/272 49075
/proc/meminfo: memFree=109477948/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49074] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49074/stat : 49074 (timeout) S 49071 49074 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50048804 2723840 352 18446744073709551615 94075543023616 94075543040129 140735890968384 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94075543054896 94075543056984 94075567529984 140735890971056 140735890971170 140735890971170 140735890976743 0
/proc/49074/statm: 665 352 352 5 0 90 0
[pid=49075] ppid=49074 vsize=101676 memory=88848 CPUtime=6.24 cores=5,7
/proc/49075/stat : 49075 (NuPBO-DeepOptS+) R 49074 49074 48326 0 -1 4194304 20003 0 0 0 621 3 0 0 20 0 1 0 50048804 104116224 22212 18446744073709551615 4198400 15468185 140726159317280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45019136 140726159325628 140726159325729 140726159325729 140726159331302 0
/proc/49075/statm: 25419 22212 2816 2752 0 22072 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 108660 KiB
Current children cumulated memory: 93200 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 4.10 5/272 49075
/proc/meminfo: memFree=109423452/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49074] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49074/stat : 49074 (timeout) S 49071 49074 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50048804 2723840 352 18446744073709551615 94075543023616 94075543040129 140735890968384 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94075543054896 94075543056984 94075567529984 140735890971056 140735890971170 140735890971170 140735890976743 0
/proc/49074/statm: 665 352 352 5 0 90 0
[pid=49075] ppid=49074 vsize=119708 memory=104888 CPUtime=12.63 cores=5,7
/proc/49075/stat : 49075 (NuPBO-DeepOptS+) R 49074 49074 48326 0 -1 4194304 25134 0 0 0 1259 4 0 0 20 0 1 0 50048804 122580992 26222 18446744073709551615 4198400 15468185 140726159317280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45019136 140726159325628 140726159325729 140726159325729 140726159331302 0
/proc/49075/statm: 29927 26222 2816 2752 0 26580 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 126692 KiB
Current children cumulated memory: 109240 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.13 4.10 5/271 49076
/proc/meminfo: memFree=109420584/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49074] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49074/stat : 49074 (timeout) S 49071 49074 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50048804 2723840 352 18446744073709551615 94075543023616 94075543040129 140735890968384 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94075543054896 94075543056984 94075567529984 140735890971056 140735890971170 140735890971170 140735890976743 0
/proc/49074/statm: 665 352 352 5 0 90 0
[pid=49075] ppid=49074 vsize=129920 memory=114872 CPUtime=25.39 cores=5,7
/proc/49075/stat : 49075 (NuPBO-DeepOptS+) R 49074 49074 48326 0 -1 4194304 27612 0 0 0 2535 4 0 0 20 0 1 0 50048804 133038080 28718 18446744073709551615 4198400 15468185 140726159317280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45019136 140726159325628 140726159325729 140726159325729 140726159331302 0
/proc/49075/statm: 32480 28718 2816 2752 0 29133 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 136904 KiB
Current children cumulated memory: 119224 KiB

[startup+51.1055 s]
/proc/loadavg: 4.17 4.14 4.10 5/271 49076
/proc/meminfo: memFree=109263000/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49074] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49074/stat : 49074 (timeout) S 49071 49074 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50048804 2723840 352 18446744073709551615 94075543023616 94075543040129 140735890968384 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94075543054896 94075543056984 94075567529984 140735890971056 140735890971170 140735890971170 140735890976743 0
/proc/49074/statm: 665 352 352 5 0 90 0
[pid=49075] ppid=49074 vsize=169596 memory=152248 CPUtime=50.92 cores=5,7
/proc/49075/stat : 49075 (NuPBO-DeepOptS+) R 49074 49074 48326 0 -1 4194304 37192 0 0 0 5087 5 0 0 20 0 1 0 50048804 173666304 38062 18446744073709551615 4198400 15468185 140726159317280 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45019136 140726159325628 140726159325729 140726159325729 140726159331302 0
/proc/49075/statm: 42399 38062 2816 2752 0 39052 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 176580 KiB
Current children cumulated memory: 156600 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/273 49082
/proc/meminfo: memFree=109164388/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49074] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49272] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49272/stat : 49272 (timeout) S 49071 49272 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50288605 2723840 352 18446744073709551615 94513338814464 94513338830977 140723447266608 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94513338845744 94513338847832 94513342296064 140723447269763 140723447269922 140723447269922 140723447275495 0
/proc/49272/statm: 665 352 352 5 0 90 0
[pid=49273] ppid=49272 vsize=340164 memory=250076 CPUtime=1060.88 cores=5,7
/proc/49273/stat : 49273 (ExactPR-nols) R 49272 49272 48326 0 -1 4194304 36937 0 0 0 105714 374 0 0 20 0 1 0 50288605 348327936 62519 18446744073709551615 94033775984640 94033785284293 140723701991488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033787070784 94033787109864 94033814880256 140723701995928 140723701996068 140723701996068 140723702001641 0
/proc/49273/statm: 85041 62519 1888 2271 0 79679 0
Current children cumulated CPU time: 3452.21 s
Current children cumulated vsize: 347148 KiB
Current children cumulated memory: 254428 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/270 49464
/proc/meminfo: memFree=109199968/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=2391.33 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 282 106154 0 0 0 0 239112 21 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49272] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49272/stat : 49272 (timeout) S 49071 49272 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50288605 2723840 352 18446744073709551615 94513338814464 94513338830977 140723447266608 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94513338845744 94513338847832 94513342296064 140723447269763 140723447269922 140723447269922 140723447275495 0
/proc/49272/statm: 665 352 352 5 0 90 0
[pid=49273] ppid=49272 vsize=343592 memory=252892 CPUtime=1120.7 cores=5,7
/proc/49273/stat : 49273 (ExactPR-nols) R 49272 49272 48326 0 -1 4194304 37620 0 0 0 111676 394 0 0 20 0 1 0 50288605 351838208 63223 18446744073709551615 94033775984640 94033785284293 140723701991488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033787070784 94033787109864 94033814880256 140723701995928 140723701996068 140723701996068 140723702001641 0
/proc/49273/statm: 85898 63223 1888 2271 0 80536 0
Current children cumulated CPU time: 3512.03 s
Current children cumulated vsize: 350576 KiB
Current children cumulated memory: 257244 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/270 49466
/proc/meminfo: memFree=109163064/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=2391.33 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 282 106154 0 0 0 0 239112 21 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49272] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49272/stat : 49272 (timeout) S 49071 49272 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50288605 2723840 352 18446744073709551615 94513338814464 94513338830977 140723447266608 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94513338845744 94513338847832 94513342296064 140723447269763 140723447269922 140723447269922 140723447275495 0
/proc/49272/statm: 665 352 352 5 0 90 0
[pid=49273] ppid=49272 vsize=344232 memory=260316 CPUtime=1180.52 cores=5,7
/proc/49273/stat : 49273 (ExactPR-nols) R 49272 49272 48326 0 -1 4194304 37822 0 0 0 117637 415 0 0 20 0 1 0 50288605 352493568 65079 18446744073709551615 94033775984640 94033785284293 140723701991488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033787070784 94033787109864 94033814880256 140723701995928 140723701996068 140723701996068 140723702001641 0
/proc/49273/statm: 86058 65079 1888 2271 0 80696 0
Current children cumulated CPU time: 3571.85 s
Current children cumulated vsize: 351216 KiB
Current children cumulated memory: 264668 KiB

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

# cumulated CPU time of all completed processes:  user=3581.17 s, system=4.44146 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.12 4.11 5/270 49466
/proc/meminfo: memFree=109148960/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=2391.33 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 282 106154 0 0 0 0 239112 21 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49272] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49272/stat : 49272 (timeout) S 49071 49272 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50288605 2723840 352 18446744073709551615 94513338814464 94513338830977 140723447266608 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94513338845744 94513338847832 94513342296064 140723447269763 140723447269922 140723447269922 140723447275495 0
/proc/49272/statm: 665 352 352 5 0 90 0
[pid=49273] ppid=49272 vsize=344232 memory=260316 CPUtime=1182.21 cores=5,7
/proc/49273/stat : 49273 (ExactPR-nols) R 49272 49272 48326 0 -1 4194304 37822 0 0 0 117806 415 0 0 20 0 1 0 50288605 352493568 65079 18446744073709551615 94033775984640 94033785284293 140723701991488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033787070784 94033787109864 94033814880256 140723701995928 140723701996068 140723701996068 140723702001641 0
/proc/49273/statm: 86058 65079 1888 2271 0 80696 0
Current children cumulated CPU time: 3573.54 s
Current children cumulated vsize: 351216 KiB
Current children cumulated memory: 264668 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.12 4.11 5/270 49467
/proc/meminfo: memFree=109119476/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=2391.33 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 282 106154 0 0 0 0 239112 21 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49272] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49272/stat : 49272 (timeout) S 49071 49272 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50288605 2723840 352 18446744073709551615 94513338814464 94513338830977 140723447266608 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94513338845744 94513338847832 94513342296064 140723447269763 140723447269922 140723447269922 140723447275495 0
/proc/49272/statm: 665 352 352 5 0 90 0
[pid=49273] ppid=49272 vsize=344232 memory=260316 CPUtime=1188.59 cores=5,7
/proc/49273/stat : 49273 (ExactPR-nols) R 49272 49272 48326 0 -1 4194304 37828 0 0 0 118443 416 0 0 20 0 1 0 50288605 352493568 65079 18446744073709551615 94033775984640 94033785284293 140723701991488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033787070784 94033787109864 94033814880256 140723701995928 140723701996068 140723701996068 140723702001641 0
/proc/49273/statm: 86058 65079 1888 2271 0 80696 0
Current children cumulated CPU time: 3579.92 s
Current children cumulated vsize: 351216 KiB
Current children cumulated memory: 264668 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.12 4.11 5/270 49467
/proc/meminfo: memFree=109111664/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=2391.33 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 282 106154 0 0 0 0 239112 21 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49272] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49272/stat : 49272 (timeout) S 49071 49272 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50288605 2723840 352 18446744073709551615 94513338814464 94513338830977 140723447266608 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94513338845744 94513338847832 94513342296064 140723447269763 140723447269922 140723447269922 140723447275495 0
/proc/49272/statm: 665 352 352 5 0 90 0
[pid=49273] ppid=49272 vsize=344232 memory=260316 CPUtime=1191.78 cores=5,7
/proc/49273/stat : 49273 (ExactPR-nols) R 49272 49272 48326 0 -1 4194304 37828 0 0 0 118760 418 0 0 20 0 1 0 50288605 352493568 65079 18446744073709551615 94033775984640 94033785284293 140723701991488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033787070784 94033787109864 94033814880256 140723701995928 140723701996068 140723701996068 140723702001641 0
/proc/49273/statm: 86058 65079 1888 2271 0 80696 0
Current children cumulated CPU time: 3583.11 s
Current children cumulated vsize: 351216 KiB
Current children cumulated memory: 264668 KiB

[startup+3595.2 s]
/proc/loadavg: 4.08 4.12 4.11 5/270 49467
/proc/meminfo: memFree=109111916/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=2391.33 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 282 106154 0 0 0 0 239112 21 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49272] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49272/stat : 49272 (timeout) S 49071 49272 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50288605 2723840 352 18446744073709551615 94513338814464 94513338830977 140723447266608 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94513338845744 94513338847832 94513342296064 140723447269763 140723447269922 140723447269922 140723447275495 0
/proc/49272/statm: 665 352 352 5 0 90 0
[pid=49273] ppid=49272 vsize=344232 memory=260316 CPUtime=1193.37 cores=5,7
/proc/49273/stat : 49273 (ExactPR-nols) R 49272 49272 48326 0 -1 4194304 37828 0 0 0 118919 418 0 0 20 0 1 0 50288605 352493568 65079 18446744073709551615 94033775984640 94033785284293 140723701991488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033787070784 94033787109864 94033814880256 140723701995928 140723701996068 140723701996068 140723702001641 0
/proc/49273/statm: 86058 65079 1888 2271 0 80696 0
Current children cumulated CPU time: 3584.7 s
Current children cumulated vsize: 351216 KiB
Current children cumulated memory: 264668 KiB

[startup+3595.6 s]
/proc/loadavg: 4.08 4.12 4.11 5/270 49467
/proc/meminfo: memFree=109111916/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=2391.33 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 282 106154 0 0 0 0 239112 21 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49272] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49272/stat : 49272 (timeout) S 49071 49272 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50288605 2723840 352 18446744073709551615 94513338814464 94513338830977 140723447266608 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94513338845744 94513338847832 94513342296064 140723447269763 140723447269922 140723447269922 140723447275495 0
/proc/49272/statm: 665 352 352 5 0 90 0
[pid=49273] ppid=49272 vsize=344232 memory=260316 CPUtime=1193.77 cores=5,7
/proc/49273/stat : 49273 (ExactPR-nols) R 49272 49272 48326 0 -1 4194304 37828 0 0 0 118958 419 0 0 20 0 1 0 50288605 352493568 65079 18446744073709551615 94033775984640 94033785284293 140723701991488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033787070784 94033787109864 94033814880256 140723701995928 140723701996068 140723701996068 140723702001641 0
/proc/49273/statm: 86058 65079 1888 2271 0 80696 0
Current children cumulated CPU time: 3585.1 s
Current children cumulated vsize: 351216 KiB
Current children cumulated memory: 264668 KiB

[startup+3596 s]*
/proc/loadavg: 4.08 4.12 4.11 5/270 49467
/proc/meminfo: memFree=109111916/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=2391.33 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 282 106154 0 0 0 0 239112 21 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
[pid=49272] ppid=49071 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49272/stat : 49272 (timeout) S 49071 49272 48326 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50288605 2723840 352 18446744073709551615 94513338814464 94513338830977 140723447266608 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94513338845744 94513338847832 94513342296064 140723447269763 140723447269922 140723447269922 140723447275495 0
/proc/49272/statm: 665 352 352 5 0 90 0
[pid=49273] ppid=49272 vsize=344232 memory=260316 CPUtime=1194.18 cores=5,7
/proc/49273/stat : 49273 (ExactPR-nols) R 49272 49272 48326 0 -1 4194304 37828 0 0 0 118999 419 0 0 20 0 1 0 50288605 352493568 65079 18446744073709551615 94033775984640 94033785284293 140723701991488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033787070784 94033787109864 94033814880256 140723701995928 140723701996068 140723701996068 140723702001641 0
/proc/49273/statm: 86058 65079 1888 2271 0 80696 0
Current children cumulated CPU time: 3585.51 s
Current children cumulated vsize: 351216 KiB
Current children cumulated memory: 264668 KiB

[startup+3596.11 s]
/proc/loadavg: 4.08 4.12 4.11 5/270 49467
/proc/meminfo: memFree=109111916/131249988 swapFree=33010416/33010684
[pid=49071] ppid=49068 vsize=4324 memory=2944 CPUtime=3585.58 cores=5,7
/proc/49071/stat : 49071 (Hybrid-NuPBODee) S 49068 49071 48326 0 -1 4194304 393 145811 0 0 0 0 358115 443 20 0 1 0 50048802 4427776 736 18446744073709551615 94820659658752 94820660553285 140732722989440 0 0 0 2 4 65536 1 0 0 17 7 0 0 0 0 0 94820660792336 94820660840080 94820669239296 140732722997595 140732722997747 140732722997747 140732723003349 0
/proc/49071/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3585.58 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.15
CPU time (s): 3585.61
CPU user time (s): 3581.17
CPU system time (s): 4.44146
CPU usage (%): 99.7069
Max. virtual memory (cumulated for all children) (KiB): 441896
Max. memory (cumulated for all children) (KiB): 430184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.17
system time used= 4.44146
maximum resident set size= 425832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147505
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= 2015
involuntary context switches= 20530


# summary of solver processes directly reported to runsolver:
#   pid: 49071
#   total CPU time (s): 3585.61
#   total CPU user time (s): 3581.17
#   total CPU system time (s): 4.44146

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68427 second user time and 15.6685 second system time

The end