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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484705-1751294968/watcher-4484705-1751294968 -o /tmp/evaluation-result-4484705-1751294968/solver-4484705-1751294968 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751292533-48975 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4484705-1751294968.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=49277, runsolver pid=49274

[startup+0.100062 s]*
/proc/loadavg: 4.20 4.11 4.00 5/271 49281
/proc/meminfo: memFree=126059960/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49280] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49280/stat : 49280 (timeout) S 49277 49280 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45175598 2723840 352 18446744073709551615 94635817754624 94635817771137 140736263862800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94635817785904 94635817787992 94635819053056 140736263870896 140736263871010 140736263871010 140736263876583 0
/proc/49280/statm: 665 352 352 5 0 90 0
[pid=49281] ppid=49280 vsize=26748 memory=11920 CPUtime=0.08 cores=1,3
/proc/49281/stat : 49281 (NuPBO-DeepOptS+) R 49280 49280 48963 0 -1 4194304 1990 0 0 0 8 0 0 0 20 0 1 0 45175599 27389952 2980 18446744073709551615 4198400 15468185 140720977070016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25788416 140720977074620 140720977074721 140720977074721 140720977080294 0
/proc/49281/statm: 6687 2980 1088 2752 0 3340 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 33732 KiB
Current children cumulated memory: 16272 KiB

[startup+0.205876 s]*
/proc/loadavg: 4.20 4.11 4.00 6/271 49281
/proc/meminfo: memFree=126019892/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49280] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49280/stat : 49280 (timeout) S 49277 49280 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45175598 2723840 352 18446744073709551615 94635817754624 94635817771137 140736263862800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94635817785904 94635817787992 94635819053056 140736263870896 140736263871010 140736263871010 140736263876583 0
/proc/49280/statm: 665 352 352 5 0 90 0
[pid=49281] ppid=49280 vsize=28796 memory=14168 CPUtime=0.18 cores=1,3
/proc/49281/stat : 49281 (NuPBO-DeepOptS+) R 49280 49280 48963 0 -1 4194304 2543 0 0 0 18 0 0 0 20 0 1 0 45175599 29487104 3542 18446744073709551615 4198400 15468185 140720977070016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25788416 140720977074620 140720977074721 140720977074721 140720977080294 0
/proc/49281/statm: 7199 3542 1088 2752 0 3852 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 35780 KiB
Current children cumulated memory: 18520 KiB

[startup+0.305808 s]*
/proc/loadavg: 4.20 4.11 4.00 5/271 49281
/proc/meminfo: memFree=126019892/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49280] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49280/stat : 49280 (timeout) S 49277 49280 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45175598 2723840 352 18446744073709551615 94635817754624 94635817771137 140736263862800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94635817785904 94635817787992 94635819053056 140736263870896 140736263871010 140736263871010 140736263876583 0
/proc/49280/statm: 665 352 352 5 0 90 0
[pid=49281] ppid=49280 vsize=32892 memory=17500 CPUtime=0.28 cores=1,3
/proc/49281/stat : 49281 (NuPBO-DeepOptS+) R 49280 49280 48963 0 -1 4194304 2857 0 0 0 28 0 0 0 20 0 1 0 45175599 33681408 4375 18446744073709551615 4198400 15468185 140720977070016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25788416 140720977074620 140720977074721 140720977074721 140720977080294 0
/proc/49281/statm: 8223 4375 1088 2752 0 4876 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39876 KiB
Current children cumulated memory: 21852 KiB

[startup+0.700235 s]
/proc/loadavg: 4.20 4.11 4.00 5/271 49281
/proc/meminfo: memFree=125983792/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49280] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49280/stat : 49280 (timeout) S 49277 49280 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45175598 2723840 352 18446744073709551615 94635817754624 94635817771137 140736263862800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94635817785904 94635817787992 94635819053056 140736263870896 140736263871010 140736263871010 140736263876583 0
/proc/49280/statm: 665 352 352 5 0 90 0
[pid=49281] ppid=49280 vsize=74460 memory=59104 CPUtime=0.67 cores=1,3
/proc/49281/stat : 49281 (NuPBO-DeepOptS+) R 49280 49280 48963 0 -1 4194304 10774 0 0 0 65 2 0 0 20 0 1 0 45175599 76247040 14776 18446744073709551615 4198400 15468185 140720977070016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25788416 140720977074620 140720977074721 140720977074721 140720977080294 0
/proc/49281/statm: 18615 14776 1152 2752 0 15268 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 81444 KiB
Current children cumulated memory: 63456 KiB

[startup+1.50024 s]
/proc/loadavg: 4.20 4.11 4.00 5/271 49281
/proc/meminfo: memFree=125984044/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49280] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49280/stat : 49280 (timeout) S 49277 49280 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45175598 2723840 352 18446744073709551615 94635817754624 94635817771137 140736263862800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94635817785904 94635817787992 94635819053056 140736263870896 140736263871010 140736263871010 140736263876583 0
/proc/49280/statm: 665 352 352 5 0 90 0
[pid=49281] ppid=49280 vsize=74460 memory=59104 CPUtime=1.47 cores=1,3
/proc/49281/stat : 49281 (NuPBO-DeepOptS+) R 49280 49280 48963 0 -1 4194304 10774 0 0 0 145 2 0 0 20 0 1 0 45175599 76247040 14776 18446744073709551615 4198400 15468185 140720977070016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25788416 140720977074620 140720977074721 140720977074721 140720977080294 0
/proc/49281/statm: 18615 14776 1152 2752 0 15268 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 81444 KiB
Current children cumulated memory: 63456 KiB

[startup+3.10567 s]
/proc/loadavg: 4.20 4.11 4.00 5/271 49281
/proc/meminfo: memFree=125863896/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49280] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49280/stat : 49280 (timeout) S 49277 49280 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45175598 2723840 352 18446744073709551615 94635817754624 94635817771137 140736263862800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94635817785904 94635817787992 94635819053056 140736263870896 140736263871010 140736263871010 140736263876583 0
/proc/49280/statm: 665 352 352 5 0 90 0
[pid=49281] ppid=49280 vsize=229456 memory=209380 CPUtime=3.07 cores=1,3
/proc/49281/stat : 49281 (NuPBO-DeepOptS+) R 49280 49280 48963 0 -1 4194304 48659 0 0 0 299 8 0 0 20 0 1 0 45175599 234962944 52345 18446744073709551615 4198400 15468185 140720977070016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25788416 140720977074620 140720977074721 140720977074721 140720977080294 0
/proc/49281/statm: 57364 52345 2656 2752 0 54017 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 236440 KiB
Current children cumulated memory: 213732 KiB

[startup+6.30023 s]
/proc/loadavg: 4.19 4.11 4.00 5/271 49281
/proc/meminfo: memFree=125422624/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49280] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49280/stat : 49280 (timeout) S 49277 49280 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45175598 2723840 352 18446744073709551615 94635817754624 94635817771137 140736263862800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94635817785904 94635817787992 94635819053056 140736263870896 140736263871010 140736263871010 140736263876583 0
/proc/49280/statm: 665 352 352 5 0 90 0
[pid=49281] ppid=49280 vsize=613188 memory=562156 CPUtime=6.25 cores=1,3
/proc/49281/stat : 49281 (NuPBO-DeepOptS+) R 49280 49280 48963 0 -1 4194304 94537 0 0 0 606 19 0 0 20 0 1 0 45175599 627904512 140539 18446744073709551615 4198400 15468185 140720977070016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25788416 140720977074620 140720977074721 140720977074721 140720977080294 0
/proc/49281/statm: 153297 140539 2816 2752 0 149950 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 620172 KiB
Current children cumulated memory: 566508 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.12 4.00 5/271 49281
/proc/meminfo: memFree=125278400/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49280] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49280/stat : 49280 (timeout) S 49277 49280 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45175598 2723840 352 18446744073709551615 94635817754624 94635817771137 140736263862800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94635817785904 94635817787992 94635819053056 140736263870896 140736263871010 140736263871010 140736263876583 0
/proc/49280/statm: 665 352 352 5 0 90 0
[pid=49281] ppid=49280 vsize=675296 memory=600924 CPUtime=12.64 cores=1,3
/proc/49281/stat : 49281 (NuPBO-DeepOptS+) R 49280 49280 48963 0 -1 4194304 101663 0 0 0 1243 21 0 0 20 0 1 0 45175599 691503104 150231 18446744073709551615 4198400 15468185 140720977070016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25788416 140720977074620 140720977074721 140720977074721 140720977080294 0
/proc/49281/statm: 168824 150231 2816 2752 0 165477 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 682280 KiB
Current children cumulated memory: 605276 KiB

[startup+25.5003 s]
/proc/loadavg: 4.20 4.11 4.00 5/272 49283
/proc/meminfo: memFree=125042532/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49280] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49280/stat : 49280 (timeout) S 49277 49280 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45175598 2723840 352 18446744073709551615 94635817754624 94635817771137 140736263862800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94635817785904 94635817787992 94635819053056 140736263870896 140736263871010 140736263871010 140736263876583 0
/proc/49280/statm: 665 352 352 5 0 90 0
[pid=49281] ppid=49280 vsize=697300 memory=602204 CPUtime=25.41 cores=1,3
/proc/49281/stat : 49281 (NuPBO-DeepOptS+) R 49280 49280 48963 0 -1 4194304 102022 0 0 0 2520 21 0 0 20 0 1 0 45175599 714035200 150551 18446744073709551615 4198400 15468185 140720977070016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25788416 140720977074620 140720977074721 140720977074721 140720977080294 0
/proc/49281/statm: 174325 150551 2816 2752 0 170978 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 704284 KiB
Current children cumulated memory: 606556 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.10 4.00 5/272 49283
/proc/meminfo: memFree=124901540/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49280] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49280/stat : 49280 (timeout) S 49277 49280 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45175598 2723840 352 18446744073709551615 94635817754624 94635817771137 140736263862800 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94635817785904 94635817787992 94635819053056 140736263870896 140736263871010 140736263871010 140736263876583 0
/proc/49280/statm: 665 352 352 5 0 90 0
[pid=49281] ppid=49280 vsize=737136 memory=612932 CPUtime=50.94 cores=1,3
/proc/49281/stat : 49281 (NuPBO-DeepOptS+) R 49280 49280 48963 0 -1 4194304 103153 0 0 0 5073 21 0 0 20 0 1 0 45175599 754827264 153233 18446744073709551615 4198400 15468185 140720977070016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25788416 140720977074620 140720977074721 140720977074721 140720977080294 0
/proc/49281/statm: 184284 153233 2816 2752 0 180937 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 744120 KiB
Current children cumulated memory: 617284 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.12 4.01 5/271 49285
/proc/meminfo: memFree=124404904/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0

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

/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49608] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49608/stat : 49608 (timeout) S 49277 49608 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45415401 2723840 352 18446744073709551615 94008468877312 94008468893825 140724882520816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94008468908592 94008468910680 94008498909184 140724882524547 140724882524706 140724882524706 140724882530279 0
/proc/49608/statm: 665 352 352 5 0 90 0
[pid=49609] ppid=49608 vsize=257376 memory=225316 CPUtime=1061.45 cores=1,3
/proc/49609/stat : 49609 (ExactPR-nols) R 49608 49608 48963 0 -1 4194304 31902 0 0 0 106118 27 0 0 20 0 1 0 45415402 263553024 56329 18446744073709551615 94218730033152 94218739332805 140734682706400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94218741119296 94218741158376 94218758492160 140734682712472 140734682712612 140734682712612 140734682718185 0
/proc/49609/statm: 64344 56329 1888 2271 0 58982 0
Current children cumulated CPU time: 3453.18 s
Current children cumulated vsize: 264360 KiB
Current children cumulated memory: 229668 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/271 49662
/proc/meminfo: memFree=123465068/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=2391.73 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 281 299325 0 0 0 0 239113 60 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49608] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49608/stat : 49608 (timeout) S 49277 49608 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45415401 2723840 352 18446744073709551615 94008468877312 94008468893825 140724882520816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94008468908592 94008468910680 94008498909184 140724882524547 140724882524706 140724882524706 140724882530279 0
/proc/49608/statm: 665 352 352 5 0 90 0
[pid=49609] ppid=49608 vsize=261008 memory=228952 CPUtime=1121.31 cores=1,3
/proc/49609/stat : 49609 (ExactPR-nols) R 49608 49608 48963 0 -1 4194304 32297 0 0 0 112102 29 0 0 20 0 1 0 45415402 267272192 57238 18446744073709551615 94218730033152 94218739332805 140734682706400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94218741119296 94218741158376 94218758492160 140734682712472 140734682712612 140734682712612 140734682718185 0
/proc/49609/statm: 65252 57238 1888 2271 0 59890 0
Current children cumulated CPU time: 3513.04 s
Current children cumulated vsize: 267992 KiB
Current children cumulated memory: 233304 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 49669
/proc/meminfo: memFree=125284664/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=2391.73 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 281 299325 0 0 0 0 239113 60 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49608] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49608/stat : 49608 (timeout) S 49277 49608 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45415401 2723840 352 18446744073709551615 94008468877312 94008468893825 140724882520816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94008468908592 94008468910680 94008498909184 140724882524547 140724882524706 140724882524706 140724882530279 0
/proc/49608/statm: 665 352 352 5 0 90 0
[pid=49609] ppid=49608 vsize=261008 memory=228952 CPUtime=1181.16 cores=1,3
/proc/49609/stat : 49609 (ExactPR-nols) R 49608 49608 48963 0 -1 4194304 32329 0 0 0 118086 30 0 0 20 0 1 0 45415402 267272192 57238 18446744073709551615 94218730033152 94218739332805 140734682706400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94218741119296 94218741158376 94218758492160 140734682712472 140734682712612 140734682712612 140734682718185 0
/proc/49609/statm: 65252 57238 1888 2271 0 59890 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 267992 KiB
Current children cumulated memory: 233304 KiB

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

# cumulated CPU time of all completed processes:  user=3585.73 s, system=0.941331 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.09 5/272 49669
/proc/meminfo: memFree=125284664/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=2391.73 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 281 299325 0 0 0 0 239113 60 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49608] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49608/stat : 49608 (timeout) S 49277 49608 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45415401 2723840 352 18446744073709551615 94008468877312 94008468893825 140724882520816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94008468908592 94008468910680 94008498909184 140724882524547 140724882524706 140724882524706 140724882530279 0
/proc/49608/statm: 665 352 352 5 0 90 0
[pid=49609] ppid=49608 vsize=261008 memory=228952 CPUtime=1182.86 cores=1,3
/proc/49609/stat : 49609 (ExactPR-nols) R 49608 49608 48963 0 -1 4194304 32330 0 0 0 118256 30 0 0 20 0 1 0 45415402 267272192 57238 18446744073709551615 94218730033152 94218739332805 140734682706400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94218741119296 94218741158376 94218758492160 140734682712472 140734682712612 140734682712612 140734682718185 0
/proc/49609/statm: 65252 57238 1888 2271 0 59890 0
Current children cumulated CPU time: 3574.59 s
Current children cumulated vsize: 267992 KiB
Current children cumulated memory: 233304 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.11 4.09 5/272 49670
/proc/meminfo: memFree=125245416/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=2391.73 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 281 299325 0 0 0 0 239113 60 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49608] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49608/stat : 49608 (timeout) S 49277 49608 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45415401 2723840 352 18446744073709551615 94008468877312 94008468893825 140724882520816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94008468908592 94008468910680 94008498909184 140724882524547 140724882524706 140724882524706 140724882530279 0
/proc/49608/statm: 665 352 352 5 0 90 0
[pid=49609] ppid=49608 vsize=261008 memory=228952 CPUtime=1189.23 cores=1,3
/proc/49609/stat : 49609 (ExactPR-nols) R 49608 49608 48963 0 -1 4194304 32338 0 0 0 118893 30 0 0 20 0 1 0 45415402 267272192 57238 18446744073709551615 94218730033152 94218739332805 140734682706400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94218741119296 94218741158376 94218758492160 140734682712472 140734682712612 140734682712612 140734682718185 0
/proc/49609/statm: 65252 57238 1888 2271 0 59890 0
Current children cumulated CPU time: 3580.96 s
Current children cumulated vsize: 267992 KiB
Current children cumulated memory: 233304 KiB

[startup+3593.6 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 49670
/proc/meminfo: memFree=125245416/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=2391.73 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 281 299325 0 0 0 0 239113 60 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49608] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49608/stat : 49608 (timeout) S 49277 49608 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45415401 2723840 352 18446744073709551615 94008468877312 94008468893825 140724882520816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94008468908592 94008468910680 94008498909184 140724882524547 140724882524706 140724882524706 140724882530279 0
/proc/49608/statm: 665 352 352 5 0 90 0
[pid=49609] ppid=49608 vsize=261008 memory=228952 CPUtime=1192.42 cores=1,3
/proc/49609/stat : 49609 (ExactPR-nols) R 49608 49608 48963 0 -1 4194304 32339 0 0 0 119212 30 0 0 20 0 1 0 45415402 267272192 57238 18446744073709551615 94218730033152 94218739332805 140734682706400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94218741119296 94218741158376 94218758492160 140734682712472 140734682712612 140734682712612 140734682718185 0
/proc/49609/statm: 65252 57238 1888 2271 0 59890 0
Current children cumulated CPU time: 3584.15 s
Current children cumulated vsize: 267992 KiB
Current children cumulated memory: 233304 KiB

[startup+3595.2 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 49670
/proc/meminfo: memFree=125245416/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=2391.73 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 281 299325 0 0 0 0 239113 60 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49608] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49608/stat : 49608 (timeout) S 49277 49608 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45415401 2723840 352 18446744073709551615 94008468877312 94008468893825 140724882520816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94008468908592 94008468910680 94008498909184 140724882524547 140724882524706 140724882524706 140724882530279 0
/proc/49608/statm: 665 352 352 5 0 90 0
[pid=49609] ppid=49608 vsize=261008 memory=228952 CPUtime=1194.02 cores=1,3
/proc/49609/stat : 49609 (ExactPR-nols) R 49608 49608 48963 0 -1 4194304 32339 0 0 0 119372 30 0 0 20 0 1 0 45415402 267272192 57238 18446744073709551615 94218730033152 94218739332805 140734682706400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94218741119296 94218741158376 94218758492160 140734682712472 140734682712612 140734682712612 140734682718185 0
/proc/49609/statm: 65252 57238 1888 2271 0 59890 0
Current children cumulated CPU time: 3585.75 s
Current children cumulated vsize: 267992 KiB
Current children cumulated memory: 233304 KiB

[startup+3595.6 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 49670
/proc/meminfo: memFree=125245416/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=2391.73 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 281 299325 0 0 0 0 239113 60 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49608] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49608/stat : 49608 (timeout) S 49277 49608 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45415401 2723840 352 18446744073709551615 94008468877312 94008468893825 140724882520816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94008468908592 94008468910680 94008498909184 140724882524547 140724882524706 140724882524706 140724882530279 0
/proc/49608/statm: 665 352 352 5 0 90 0
[pid=49609] ppid=49608 vsize=261008 memory=228952 CPUtime=1194.42 cores=1,3
/proc/49609/stat : 49609 (ExactPR-nols) R 49608 49608 48963 0 -1 4194304 32339 0 0 0 119412 30 0 0 20 0 1 0 45415402 267272192 57238 18446744073709551615 94218730033152 94218739332805 140734682706400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94218741119296 94218741158376 94218758492160 140734682712472 140734682712612 140734682712612 140734682718185 0
/proc/49609/statm: 65252 57238 1888 2271 0 59890 0
Current children cumulated CPU time: 3586.15 s
Current children cumulated vsize: 267992 KiB
Current children cumulated memory: 233304 KiB

[startup+3596 s]*
/proc/loadavg: 4.13 4.11 4.09 5/272 49670
/proc/meminfo: memFree=125245416/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=2391.73 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 281 299325 0 0 0 0 239113 60 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
[pid=49608] ppid=49277 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49608/stat : 49608 (timeout) S 49277 49608 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45415401 2723840 352 18446744073709551615 94008468877312 94008468893825 140724882520816 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94008468908592 94008468910680 94008498909184 140724882524547 140724882524706 140724882524706 140724882530279 0
/proc/49608/statm: 665 352 352 5 0 90 0
[pid=49609] ppid=49608 vsize=261008 memory=228952 CPUtime=1194.82 cores=1,3
/proc/49609/stat : 49609 (ExactPR-nols) R 49608 49608 48963 0 -1 4194304 32339 0 0 0 119452 30 0 0 20 0 1 0 45415402 267272192 57238 18446744073709551615 94218730033152 94218739332805 140734682706400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94218741119296 94218741158376 94218758492160 140734682712472 140734682712612 140734682712612 140734682718185 0
/proc/49609/statm: 65252 57238 1888 2271 0 59890 0
Current children cumulated CPU time: 3586.55 s
Current children cumulated vsize: 267992 KiB
Current children cumulated memory: 233304 KiB

[startup+3596.11 s]
/proc/loadavg: 4.13 4.11 4.09 5/272 49670
/proc/meminfo: memFree=125245416/131249992 swapFree=33010684/33010684
[pid=49277] ppid=49274 vsize=4324 memory=2944 CPUtime=3586.65 cores=1,3
/proc/49277/stat : 49277 (Hybrid-NuPBODee) S 49274 49277 48963 0 -1 4194304 392 333495 0 0 0 0 358572 93 20 0 1 0 45175597 4427776 736 18446744073709551615 94076141604864 94076142499397 140731109636976 0 0 0 2 4 65536 1 0 0 17 1 0 0 0 0 0 94076142738448 94076142786192 94076176171008 140731109640539 140731109640691 140731109640691 140731109646293 0
/proc/49277/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.65 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.14
CPU time (s): 3586.67
CPU user time (s): 3585.73
CPU system time (s): 0.941331
CPU usage (%): 99.7367
Max. virtual memory (cumulated for all children) (KiB): 1836756
Max. memory (cumulated for all children) (KiB): 1457452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.73
system time used= 0.941331
maximum resident set size= 1453100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1977
involuntary context switches= 5215


# summary of solver processes directly reported to runsolver:
#   pid: 49277
#   total CPU time (s): 3586.67
#   total CPU user time (s): 3585.73
#   total CPU system time (s): 0.941331

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.03937 second user time and 16.1831 second system time

The end