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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494411-1751156674/watcher-4494411-1751156674 -o /tmp/evaluation-result-4494411-1751156674/solver-4494411-1751156674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751156266-15729 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4494411-1751156674.opb 

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=17100, runsolver pid=17097

[startup+0.100065 s]*
/proc/loadavg: 4.13 3.98 4.01 5/255 17104
/proc/meminfo: memFree=129846828/131382116 swapFree=33010684/33010684
[pid=17100] ppid=17097 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/17100/stat : 17100 (naps-1.03a6.sh) S 17097 17100 15714 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 31346631 4292608 768 18446744073709551615 94105030758400 94105031652933 140725831013280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94105031891984 94105031939728 94105055252480 140725831014823 140725831014917 140725831014917 140725831020519 0
/proc/17100/statm: 1048 768 704 219 0 110 0
[pid=17104] ppid=17100 vsize=4512 memory=2944 CPUtime=0.08 cores=4,6
/proc/17104/stat : 17104 (naps-1.03a6) R 17100 17100 15714 0 -1 4194304 266 0 0 0 8 0 0 0 20 0 1 0 31346632 4620288 736 18446744073709551615 4198400 7047149 140726717787184 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7573272 7623312 14024704 140726717794676 140726717794790 140726717794790 140726717800393 0
/proc/17104/statm: 1128 736 544 696 0 289 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 8704 KiB
Current children cumulated memory: 6016 KiB

[startup+0.217583 s]*
/proc/loadavg: 4.13 3.98 4.01 5/255 17104
/proc/meminfo: memFree=129846072/131382116 swapFree=33010684/33010684
[pid=17100] ppid=17097 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/17100/stat : 17100 (naps-1.03a6.sh) S 17097 17100 15714 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 31346631 4292608 768 18446744073709551615 94105030758400 94105031652933 140725831013280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94105031891984 94105031939728 94105055252480 140725831014823 140725831014917 140725831014917 140725831020519 0
/proc/17100/statm: 1048 768 704 219 0 110 0
[pid=17104] ppid=17100 vsize=5156 memory=3200 CPUtime=0.19 cores=4,6
/proc/17104/stat : 17104 (naps-1.03a6) R 17100 17100 15714 0 -1 4194304 408 0 0 0 19 0 0 0 20 0 1 0 31346632 5279744 800 18446744073709551615 4198400 7047149 140726717787184 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 14024704 140726717794676 140726717794790 140726717794790 140726717800393 0
/proc/17104/statm: 1289 800 544 696 0 450 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 9348 KiB
Current children cumulated memory: 6272 KiB

[startup+0.312658 s]*
/proc/loadavg: 4.13 3.98 4.01 5/255 17104
/proc/meminfo: memFree=129846072/131382116 swapFree=33010684/33010684
[pid=17100] ppid=17097 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/17100/stat : 17100 (naps-1.03a6.sh) S 17097 17100 15714 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 31346631 4292608 768 18446744073709551615 94105030758400 94105031652933 140725831013280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94105031891984 94105031939728 94105055252480 140725831014823 140725831014917 140725831014917 140725831020519 0
/proc/17100/statm: 1048 768 704 219 0 110 0
[pid=17104] ppid=17100 vsize=5668 memory=3456 CPUtime=0.29 cores=4,6
/proc/17104/stat : 17104 (naps-1.03a6) R 17100 17100 15714 0 -1 4194304 485 0 0 0 29 0 0 0 20 0 1 0 31346632 5804032 864 18446744073709551615 4198400 7047149 140726717787184 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 14024704 140726717794676 140726717794790 140726717794790 140726717800393 0
/proc/17104/statm: 1417 864 544 696 0 578 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 9860 KiB
Current children cumulated memory: 6528 KiB

[startup+0.700318 s]
/proc/loadavg: 4.13 3.98 4.01 5/255 17104
/proc/meminfo: memFree=129846708/131382116 swapFree=33010684/33010684
[pid=17100] ppid=17097 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/17100/stat : 17100 (naps-1.03a6.sh) S 17097 17100 15714 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 31346631 4292608 768 18446744073709551615 94105030758400 94105031652933 140725831013280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94105031891984 94105031939728 94105055252480 140725831014823 140725831014917 140725831014917 140725831020519 0
/proc/17100/statm: 1048 768 704 219 0 110 0
[pid=17104] ppid=17100 vsize=8228 memory=5120 CPUtime=0.66 cores=4,6
/proc/17104/stat : 17104 (naps-1.03a6) R 17100 17100 15714 0 -1 4194304 894 0 0 0 66 0 0 0 20 0 1 0 31346632 8425472 1280 18446744073709551615 4198400 7047149 140726717787184 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 14024704 140726717794676 140726717794790 140726717794790 140726717800393 0
/proc/17104/statm: 2057 1280 544 696 0 1218 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 12420 KiB
Current children cumulated memory: 8192 KiB

[startup+1.50033 s]
/proc/loadavg: 4.13 3.98 4.01 5/255 17104
/proc/meminfo: memFree=129846708/131382116 swapFree=33010684/33010684
[pid=17100] ppid=17097 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/17100/stat : 17100 (naps-1.03a6.sh) S 17097 17100 15714 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 31346631 4292608 768 18446744073709551615 94105030758400 94105031652933 140725831013280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94105031891984 94105031939728 94105055252480 140725831014823 140725831014917 140725831014917 140725831020519 0
/proc/17100/statm: 1048 768 704 219 0 110 0
[pid=17104] ppid=17100 vsize=12460 memory=8960 CPUtime=1.45 cores=4,6
/proc/17104/stat : 17104 (naps-1.03a6) R 17100 17100 15714 0 -1 4194304 1852 0 0 0 144 1 0 0 20 0 1 0 31346632 12759040 2240 18446744073709551615 4198400 7047149 140726717787184 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 14024704 140726717794676 140726717794790 140726717794790 140726717800393 0
/proc/17104/statm: 3115 2240 544 696 0 2276 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 16652 KiB
Current children cumulated memory: 12032 KiB

[startup+3.11307 s]
/proc/loadavg: 4.12 3.98 4.01 5/255 17104
/proc/meminfo: memFree=129695284/131382116 swapFree=33010684/33010684
[pid=17100] ppid=17097 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/17100/stat : 17100 (naps-1.03a6.sh) S 17097 17100 15714 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 31346631 4292608 768 18446744073709551615 94105030758400 94105031652933 140725831013280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94105031891984 94105031939728 94105055252480 140725831014823 140725831014917 140725831014917 140725831020519 0
/proc/17100/statm: 1048 768 704 219 0 110 0
[pid=17104] ppid=17100 vsize=39340 memory=27520 CPUtime=3.06 cores=4,6
/proc/17104/stat : 17104 (naps-1.03a6) R 17100 17100 15714 0 -1 4194304 4440 0 0 0 304 2 0 0 20 0 1 0 31346632 40284160 6880 18446744073709551615 4198400 7047149 140726717787184 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 14024704 140726717794676 140726717794790 140726717794790 140726717800393 0
/proc/17104/statm: 9835 6880 544 696 0 8996 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 43532 KiB
Current children cumulated memory: 30592 KiB

[startup+6.30035 s]
/proc/loadavg: 4.12 3.98 4.01 5/255 17104
/proc/meminfo: memFree=129613284/131382116 swapFree=33010684/33010684
[pid=17100] ppid=17097 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/17100/stat : 17100 (naps-1.03a6.sh) S 17097 17100 15714 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 31346631 4292608 768 18446744073709551615 94105030758400 94105031652933 140725831013280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94105031891984 94105031939728 94105055252480 140725831014823 140725831014917 140725831014917 140725831020519 0
/proc/17100/statm: 1048 768 704 219 0 110 0
[pid=17104] ppid=17100 vsize=124912 memory=103656 CPUtime=6.24 cores=4,6
/proc/17104/stat : 17104 (naps-1.03a6) R 17100 17100 15714 0 -1 4194304 27694 0 0 0 616 8 0 0 20 0 1 0 31346632 127909888 25914 18446744073709551615 4198400 7047149 140726717787184 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 14024704 140726717794676 140726717794790 140726717794790 140726717800393 0
/proc/17104/statm: 31228 25914 544 696 0 30389 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 129104 KiB
Current children cumulated memory: 106728 KiB

[startup+11.9112 s]
# the end of solver process 17100 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=11.7247 s, system=0.128085 s

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

[startup+6.40044 s]
/proc/loadavg: 4.12 3.98 4.01 5/255 17104
/proc/meminfo: memFree=129613284/131382116 swapFree=33010684/33010684
[pid=17100] ppid=17097 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/17100/stat : 17100 (naps-1.03a6.sh) S 17097 17100 15714 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 31346631 4292608 768 18446744073709551615 94105030758400 94105031652933 140725831013280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94105031891984 94105031939728 94105055252480 140725831014823 140725831014917 140725831014917 140725831020519 0
/proc/17100/statm: 1048 768 704 219 0 110 0
[pid=17104] ppid=17100 vsize=124912 memory=103656 CPUtime=6.34 cores=4,6
/proc/17104/stat : 17104 (naps-1.03a6) R 17100 17100 15714 0 -1 4194304 27694 0 0 0 626 8 0 0 20 0 1 0 31346632 127909888 25914 18446744073709551615 4198400 7047149 140726717787184 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 14024704 140726717794676 140726717794790 140726717794790 140726717800393 0
/proc/17104/statm: 31228 25914 544 696 0 30389 0
Current children cumulated CPU time: 6.34 s
Current children cumulated vsize: 129104 KiB
Current children cumulated memory: 106728 KiB

[startup+9.60029 s]
/proc/loadavg: 4.11 3.98 4.01 5/255 17104
/proc/meminfo: memFree=129626404/131382116 swapFree=33010684/33010684
[pid=17100] ppid=17097 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/17100/stat : 17100 (naps-1.03a6.sh) S 17097 17100 15714 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 31346631 4292608 768 18446744073709551615 94105030758400 94105031652933 140725831013280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94105031891984 94105031939728 94105055252480 140725831014823 140725831014917 140725831014917 140725831020519 0
/proc/17100/statm: 1048 768 704 219 0 110 0
[pid=17104] ppid=17100 vsize=116720 memory=95188 CPUtime=9.53 cores=4,6
/proc/17104/stat : 17104 (naps-1.03a6) R 17100 17100 15714 0 -1 4194304 28054 0 0 0 945 8 0 0 20 0 1 0 31346632 119521280 23797 18446744073709551615 4198400 7047149 140726717787184 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 14024704 140726717794676 140726717794790 140726717794790 140726717800393 0
/proc/17104/statm: 29180 23797 544 696 0 28341 0
Current children cumulated CPU time: 9.53 s
Current children cumulated vsize: 120912 KiB
Current children cumulated memory: 98260 KiB

[startup+11.2004 s]
/proc/loadavg: 4.11 3.98 4.01 5/253 17118
/proc/meminfo: memFree=129675960/131382116 swapFree=33010684/33010684
[pid=17100] ppid=17097 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/17100/stat : 17100 (naps-1.03a6.sh) S 17097 17100 15714 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 31346631 4292608 768 18446744073709551615 94105030758400 94105031652933 140725831013280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94105031891984 94105031939728 94105055252480 140725831014823 140725831014917 140725831014917 140725831020519 0
/proc/17100/statm: 1048 768 704 219 0 110 0
[pid=17104] ppid=17100 vsize=146256 memory=122768 CPUtime=11.13 cores=4,6
/proc/17104/stat : 17104 (naps-1.03a6) R 17100 17100 15714 0 -1 4194304 33624 0 0 0 1102 11 0 0 20 0 1 0 31346632 149766144 30692 18446744073709551615 4198400 7047149 140726717787184 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 14024704 140726717794676 140726717794790 140726717794790 140726717800393 0
/proc/17104/statm: 36564 30692 544 696 0 35725 0
Current children cumulated CPU time: 11.13 s
Current children cumulated vsize: 150448 KiB
Current children cumulated memory: 125840 KiB

[startup+11.6004 s]
/proc/loadavg: 4.11 3.98 4.01 5/253 17118
/proc/meminfo: memFree=129675960/131382116 swapFree=33010684/33010684
[pid=17100] ppid=17097 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/17100/stat : 17100 (naps-1.03a6.sh) S 17097 17100 15714 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 31346631 4292608 768 18446744073709551615 94105030758400 94105031652933 140725831013280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94105031891984 94105031939728 94105055252480 140725831014823 140725831014917 140725831014917 140725831020519 0
/proc/17100/statm: 1048 768 704 219 0 110 0
[pid=17104] ppid=17100 vsize=147012 memory=124044 CPUtime=11.52 cores=4,6
/proc/17104/stat : 17104 (naps-1.03a6) R 17100 17100 15714 0 -1 4194304 34455 0 0 0 1141 11 0 0 20 0 1 0 31346632 150540288 31011 18446744073709551615 4198400 7047149 140726717787184 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 14024704 140726717794676 140726717794790 140726717794790 140726717800393 0
/proc/17104/statm: 36753 31011 544 696 0 35914 0
Current children cumulated CPU time: 11.52 s
Current children cumulated vsize: 151204 KiB
Current children cumulated memory: 127116 KiB

[startup+11.8003 s]
/proc/loadavg: 4.11 3.98 4.01 5/253 17118
/proc/meminfo: memFree=129675960/131382116 swapFree=33010684/33010684
[pid=17100] ppid=17097 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/17100/stat : 17100 (naps-1.03a6.sh) S 17097 17100 15714 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 31346631 4292608 768 18446744073709551615 94105030758400 94105031652933 140725831013280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94105031891984 94105031939728 94105055252480 140725831014823 140725831014917 140725831014917 140725831020519 0
/proc/17100/statm: 1048 768 704 219 0 110 0
[pid=17104] ppid=17100 vsize=147012 memory=124044 CPUtime=11.72 cores=4,6
/proc/17104/stat : 17104 (naps-1.03a6) R 17100 17100 15714 0 -1 4194304 34455 0 0 0 1161 11 0 0 20 0 1 0 31346632 150540288 31011 18446744073709551615 4198400 7047149 140726717787184 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 14024704 140726717794676 140726717794790 140726717794790 140726717800393 0
/proc/17104/statm: 36753 31011 544 696 0 35914 0
Current children cumulated CPU time: 11.72 s
Current children cumulated vsize: 151204 KiB
Current children cumulated memory: 127116 KiB

[startup+11.9003 s]
/proc/loadavg: 4.11 3.98 4.01 5/253 17118
/proc/meminfo: memFree=129675960/131382116 swapFree=33010684/33010684
[pid=17100] ppid=17097 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/17100/stat : 17100 (naps-1.03a6.sh) S 17097 17100 15714 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 31346631 4292608 768 18446744073709551615 94105030758400 94105031652933 140725831013280 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94105031891984 94105031939728 94105055252480 140725831014823 140725831014917 140725831014917 140725831020519 0
/proc/17100/statm: 1048 768 704 219 0 110 0
[pid=17104] ppid=17100 vsize=147012 memory=124044 CPUtime=11.82 cores=4,6
/proc/17104/stat : 17104 (naps-1.03a6) R 17100 17100 15714 0 -1 4194304 34455 0 0 0 1171 11 0 0 20 0 1 0 31346632 150540288 31011 18446744073709551615 4198400 7047149 140726717787184 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 14024704 140726717794676 140726717794790 140726717794790 140726717800393 0
/proc/17104/statm: 36753 31011 544 696 0 35914 0
Current children cumulated CPU time: 11.82 s
Current children cumulated vsize: 151204 KiB
Current children cumulated memory: 127116 KiB

Child status: 10

Real time (s): 11.9113
CPU time (s): 11.8527
CPU user time (s): 11.7247
CPU system time (s): 0.128085
CPU usage (%): 99.5082
Max. virtual memory (cumulated for all children) (KiB): 232572
Max. memory (cumulated for all children) (KiB): 159528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.7247
system time used= 0.128085
maximum resident set size= 158876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34902
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131
involuntary context switches= 24


# summary of solver processes directly reported to runsolver:
#   pid: 17100
#   total CPU time (s): 11.8527
#   total CPU user time (s): 11.7247
#   total CPU system time (s): 0.128085

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.102656 second user time and 0.165571 second system time

The end