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: 63794 MiB (61394 MiB free)
  memory of node 1: 64507 MiB (63495 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482203-1751152004/watcher-4482203-1751152004 -o /tmp/evaluation-result-4482203-1751152004/solver-4482203-1751152004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751146546-15378 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=371843392 --ls=360 HOME/instance-4482203-1751152004.opb 

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=16786, runsolver pid=16783

[startup+0.100075 s]*
/proc/loadavg: 4.07 4.09 4.11 5/253 16787
/proc/meminfo: memFree=127887680/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=35096 memory=14340 CPUtime=0.1 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 2600 0 0 0 9 1 0 0 20 0 1 0 30879755 35938304 3585 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 8774 3585 1024 1200 0 7254 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 14340 KiB

[startup+0.212769 s]*
/proc/loadavg: 4.07 4.09 4.11 5/253 16787
/proc/meminfo: memFree=127887680/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=41244 memory=20480 CPUtime=0.21 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 4073 0 0 0 20 1 0 0 20 0 1 0 30879755 42233856 5120 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 10311 5120 1024 1200 0 8791 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41244 KiB
Current children cumulated memory: 20480 KiB

[startup+0.312706 s]*
/proc/loadavg: 4.07 4.09 4.11 6/253 16787
/proc/meminfo: memFree=127879900/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=49184 memory=26332 CPUtime=0.31 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 5426 0 0 0 29 2 0 0 20 0 1 0 30879755 50364416 6583 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 12296 6583 1024 1200 0 10776 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 49184 KiB
Current children cumulated memory: 26332 KiB

[startup+0.70035 s]
/proc/loadavg: 4.07 4.09 4.11 5/253 16787
/proc/meminfo: memFree=127859928/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=71452 memory=53724 CPUtime=0.68 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 9967 0 0 0 64 4 0 0 20 0 1 0 30879755 73166848 13431 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 17863 13431 1024 1200 0 16343 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 71452 KiB
Current children cumulated memory: 53724 KiB

[startup+1.50034 s]
/proc/loadavg: 4.07 4.09 4.11 5/253 16787
/proc/meminfo: memFree=127823572/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=180536 memory=146196 CPUtime=1.48 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 27495 0 0 0 140 8 0 0 20 0 1 0 30879755 184868864 36549 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 45134 36549 1024 1200 0 43614 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 180536 KiB
Current children cumulated memory: 146196 KiB

[startup+3.11337 s]
/proc/loadavg: 4.07 4.09 4.11 5/253 16787
/proc/meminfo: memFree=127726540/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=195992 memory=164800 CPUtime=3.09 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 28092 0 0 0 300 9 0 0 20 0 1 0 30879755 200695808 41200 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 48998 41200 1024 1200 0 47478 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 164800 KiB

[startup+6.30032 s]
/proc/loadavg: 4.06 4.09 4.11 5/253 16787
/proc/meminfo: memFree=127494084/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=195992 memory=164800 CPUtime=6.27 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 28114 0 0 0 618 9 0 0 20 0 1 0 30879755 200695808 41200 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 48998 41200 1024 1200 0 47478 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 164800 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.10 4.11 5/253 16787
/proc/meminfo: memFree=126991444/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=195992 memory=164800 CPUtime=12.65 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 28136 0 0 0 1256 9 0 0 20 0 1 0 30879755 200695808 41200 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 48998 41200 1024 1200 0 47478 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 164800 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.10 4.11 5/253 16787
/proc/meminfo: memFree=126294468/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=195992 memory=164800 CPUtime=25.41 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 28140 0 0 0 2532 9 0 0 20 0 1 0 30879755 200695808 41200 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 48998 41200 1024 1200 0 47478 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 164800 KiB

[startup+51.1134 s]
/proc/loadavg: 4.15 4.10 4.11 5/252 16833
/proc/meminfo: memFree=126637252/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=195992 memory=164800 CPUtime=50.94 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 28180 0 0 0 5085 9 0 0 20 0 1 0 30879755 200695808 41200 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 48998 41200 1024 1200 0 47478 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 164800 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.12 4.11 5/253 16836
/proc/meminfo: memFree=126626464/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=195992 memory=164800 CPUtime=101.97 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 28224 0 0 0 10188 9 0 0 20 0 1 0 30879755 200695808 41200 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 48998 41200 1024 1200 0 47478 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 164800 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/253 16882
/proc/meminfo: memFree=129395764/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=195992 memory=164800 CPUtime=161.76 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 28259 0 0 0 16166 10 0 0 20 0 1 0 30879755 200695808 41200 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 48998 41200 1024 1200 0 47478 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 164800 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/253 16888
/proc/meminfo: memFree=129386680/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=195992 memory=167872 CPUtime=221.54 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 28350 0 0 0 22143 11 0 0 20 0 1 0 30879755 200695808 41968 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 48998 41968 1024 1200 0 47478 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 167872 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.10 5/252 16890
/proc/meminfo: memFree=129382016/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=195992 memory=167872 CPUtime=281.37 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 28418 0 0 0 28126 11 0 0 20 0 1 0 30879755 200695808 41968 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 48998 41968 1024 1200 0 47478 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 167872 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/251 16895
/proc/meminfo: memFree=129363716/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=195992 memory=167872 CPUtime=341.21 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 28418 0 0 0 34110 11 0 0 20 0 1 0 30879755 200695808 41968 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 48998 41968 1024 1200 0 47478 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 167872 KiB

[startup+368.852 s]
# the end of solver process 16786 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=367.486 s, system=0.20603 s

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

[startup+345.6 s]
/proc/loadavg: 4.16 4.11 4.10 5/251 16895
/proc/meminfo: memFree=129363968/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=195992 memory=167872 CPUtime=344.5 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 28486 0 0 0 34439 11 0 0 20 0 1 0 30879755 200695808 41968 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 48998 41968 1024 1200 0 47478 0
Current children cumulated CPU time: 344.5 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 167872 KiB

[startup+358.4 s]
/proc/loadavg: 4.14 4.10 4.09 5/251 16895
/proc/meminfo: memFree=129364220/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=195992 memory=167872 CPUtime=357.27 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 28486 0 0 0 35715 12 0 0 20 0 1 0 30879755 200695808 41968 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 48998 41968 1024 1200 0 47478 0
Current children cumulated CPU time: 357.27 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 167872 KiB

[startup+364.8 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 16895
/proc/meminfo: memFree=129112176/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=409276 memory=380408 CPUtime=363.65 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 45831 0 0 0 36346 19 0 0 20 0 1 0 30879755 419098624 95102 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 102319 95102 1184 1200 0 100799 0
Current children cumulated CPU time: 363.65 s
Current children cumulated vsize: 409276 KiB
Current children cumulated memory: 380408 KiB

[startup+366.4 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 16895
/proc/meminfo: memFree=129112176/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=409276 memory=380408 CPUtime=365.24 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 45831 0 0 0 36505 19 0 0 20 0 1 0 30879755 419098624 95102 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 102319 95102 1184 1200 0 100799 0
Current children cumulated CPU time: 365.24 s
Current children cumulated vsize: 409276 KiB
Current children cumulated memory: 380408 KiB

[startup+368 s]*
/proc/loadavg: 4.12 4.10 4.09 5/251 16895
/proc/meminfo: memFree=129112428/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=409276 memory=380408 CPUtime=366.85 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 45832 0 0 0 36665 20 0 0 20 0 1 0 30879755 419098624 95102 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 102319 95102 1184 1200 0 100799 0
Current children cumulated CPU time: 366.85 s
Current children cumulated vsize: 409276 KiB
Current children cumulated memory: 380408 KiB

[startup+368.4 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 16895
/proc/meminfo: memFree=129112428/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=409276 memory=380408 CPUtime=367.24 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 45832 0 0 0 36704 20 0 0 20 0 1 0 30879755 419098624 95102 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 102319 95102 1184 1200 0 100799 0
Current children cumulated CPU time: 367.24 s
Current children cumulated vsize: 409276 KiB
Current children cumulated memory: 380408 KiB

[startup+368.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 16895
/proc/meminfo: memFree=129112428/131382120 swapFree=33010684/33010684
[pid=16786] ppid=16783 vsize=409276 memory=380408 CPUtime=367.63 cores=1,3
/proc/16786/stat : 16786 (Exact) R 16783 16786 15366 0 -1 4194304 45832 0 0 0 36743 20 0 0 20 0 1 0 30879755 419098624 95102 18446744073709551615 4198400 9112445 140732048817216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 26136576 140732048820539 140732048820717 140732048820717 140732048826319 0
/proc/16786/statm: 102319 95102 1184 1200 0 100799 0
Current children cumulated CPU time: 367.63 s
Current children cumulated vsize: 409276 KiB
Current children cumulated memory: 380408 KiB

Child status: 30

Real time (s): 368.852
CPU time (s): 367.692
CPU user time (s): 367.486
CPU system time (s): 0.20603
CPU usage (%): 99.6855
Max. virtual memory (cumulated for all children) (KiB): 450400
Max. memory (cumulated for all children) (KiB): 421120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 367.486
system time used= 0.20603
maximum resident set size= 421120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45840
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= 48
involuntary context switches= 119


# summary of solver processes directly reported to runsolver:
#   pid: 16786
#   total CPU time (s): 367.692
#   total CPU user time (s): 367.486
#   total CPU system time (s): 0.20603

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.81942 second user time and 3.84121 second system time

The end