0.00/0.01 c #vars 1729 #constraints 866 0.500868 1
0.00/0.01 c intsize: 4
0.00/0.04 c 866 constraints
0.00/0.04 c Finish cloning data from SAT to LS
0.00/0.04 c restart_num_ls -100000 0
67.53/67.76 c Use LS-small
67.53/67.76 c restart_num_ls 0 733
67.53/67.76 c LS 90 56
135.64/136.06 c Use LS-small
135.64/136.06 c restart_num_ls 733 1261
135.64/136.06 c LS 80 21
233.26/233.97 c Use LS-small
233.26/233.97 c restart_num_ls 1261 2045
233.26/233.97 c LS 70 56
325.25/326.15 c Use LS-small
325.25/326.15 c restart_num_ls 2045 2557
325.25/326.15 c LS 60 6
425.81/426.90 c Use LS-small
425.81/426.90 c restart_num_ls 2557 3094
425.81/426.90 c LS 50 5
662.71/664.47 c Use LS-small
662.71/664.47 c restart_num_ls 3094 4094
662.71/664.47 c LS 40 52
761.39/763.33 c Use LS-small
761.39/763.33 s UNSATISFIABLE
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: 63665 MiB (61948 MiB free)
memory of node 1: 64507 MiB (63061 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546022-1753263613/watcher-4546022-1753263613 -o /tmp/evaluation-result-4546022-1753263613/solver-4546022-1753263613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1753259701-183554 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546022-1753263613.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=184443, runsolver pid=184440
[startup+0.100066 s]*
/proc/loadavg: 4.16 4.15 4.06 5/264 184444
/proc/meminfo: memFree=127994852/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=96380 memory=23808 CPUtime=0.08 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 3783 0 0 0 8 0 0 0 20 0 1 0 242039085 98693120 5952 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 24095 5952 2496 595 0 8762 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 96380 KiB
Current children cumulated memory: 23808 KiB
[startup+0.205609 s]*
/proc/loadavg: 4.16 4.15 4.06 5/264 184444
/proc/meminfo: memFree=127994852/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=96380 memory=23808 CPUtime=0.19 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 3783 0 0 0 18 1 0 0 20 0 1 0 242039085 98693120 5952 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 24095 5952 2496 595 0 8762 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 96380 KiB
Current children cumulated memory: 23808 KiB
[startup+0.305483 s]*
/proc/loadavg: 4.16 4.15 4.06 5/264 184444
/proc/meminfo: memFree=127994852/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=96380 memory=23808 CPUtime=0.29 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 3783 0 0 0 28 1 0 0 20 0 1 0 242039085 98693120 5952 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 24095 5952 2496 595 0 8762 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 96380 KiB
Current children cumulated memory: 23808 KiB
[startup+0.700178 s]
/proc/loadavg: 4.16 4.15 4.06 5/264 184444
/proc/meminfo: memFree=127994852/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=96380 memory=23808 CPUtime=0.68 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 3783 0 0 0 65 3 0 0 20 0 1 0 242039085 98693120 5952 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 24095 5952 2496 595 0 8762 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 96380 KiB
Current children cumulated memory: 23808 KiB
[startup+1.50017 s]
/proc/loadavg: 4.16 4.15 4.06 5/264 184444
/proc/meminfo: memFree=127994860/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=96380 memory=23808 CPUtime=1.48 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 3783 0 0 0 142 6 0 0 20 0 1 0 242039085 98693120 5952 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 24095 5952 2496 595 0 8762 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 96380 KiB
Current children cumulated memory: 23808 KiB
[startup+3.1053 s]
/proc/loadavg: 4.16 4.15 4.06 5/264 184444
/proc/meminfo: memFree=127995256/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=96380 memory=23808 CPUtime=3.07 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 3783 0 0 0 296 11 0 0 20 0 1 0 242039085 98693120 5952 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 24095 5952 2496 595 0 8762 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 96380 KiB
Current children cumulated memory: 23808 KiB
[startup+6.30016 s]
/proc/loadavg: 4.15 4.14 4.05 5/264 184444
/proc/meminfo: memFree=127995660/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=96380 memory=23808 CPUtime=6.26 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 3783 0 0 0 602 24 0 0 20 0 1 0 242039085 98693120 5952 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 24095 5952 2496 595 0 8762 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 96380 KiB
Current children cumulated memory: 23808 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.05 5/264 184444
/proc/meminfo: memFree=127996072/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=96380 memory=23808 CPUtime=12.65 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 3783 0 0 0 1216 49 0 0 20 0 1 0 242039085 98693120 5952 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 24095 5952 2496 595 0 8762 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 96380 KiB
Current children cumulated memory: 23808 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.05 5/264 184444
/proc/meminfo: memFree=127988260/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=96380 memory=23808 CPUtime=25.43 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 3783 0 0 0 2441 102 0 0 20 0 1 0 242039085 98693120 5952 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 24095 5952 2496 595 0 8762 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 96380 KiB
Current children cumulated memory: 23808 KiB
[startup+51.1052 s]
/proc/loadavg: 4.14 4.14 4.06 5/264 184444
/proc/meminfo: memFree=127935908/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=128292 memory=69156 CPUtime=50.97 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 8798 0 0 0 4944 153 0 0 20 0 1 0 242039085 131371008 17289 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 32073 17289 2528 595 0 16740 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 128292 KiB
Current children cumulated memory: 69156 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.06 5/264 184446
/proc/meminfo: memFree=127919768/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=131308 memory=72228 CPUtime=102.05 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 9550 0 0 0 9898 307 0 0 20 0 1 0 242039085 134459392 18057 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 32827 18057 2528 595 0 17494 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 131308 KiB
Current children cumulated memory: 72228 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.06 5/262 184448
/proc/meminfo: memFree=127917040/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=136240 memory=76836 CPUtime=161.87 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 10714 0 0 0 15749 438 0 0 20 0 1 0 242039085 139509760 19209 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 34060 19209 2528 595 0 18727 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 136240 KiB
Current children cumulated memory: 76836 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.13 4.06 5/262 184450
/proc/meminfo: memFree=127870760/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=138788 memory=80164 CPUtime=221.69 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 11405 0 0 0 21668 501 0 0 20 0 1 0 242039085 142118912 20041 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 34697 20041 2528 595 0 19364 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 138788 KiB
Current children cumulated memory: 80164 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.06 5/262 184453
/proc/meminfo: memFree=127876424/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=140600 memory=81828 CPUtime=281.56 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 11802 0 0 0 27491 665 0 0 20 0 1 0 242039085 143974400 20457 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 35150 20457 2528 595 0 19817 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 140600 KiB
Current children cumulated memory: 81828 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/263 184462
/proc/meminfo: memFree=127860700/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=143148 memory=84388 CPUtime=341.41 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 12433 0 0 0 33393 748 0 0 20 0 1 0 242039085 146583552 21097 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 35787 21097 2528 595 0 20454 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 143148 KiB
Current children cumulated memory: 84388 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.07 5/263 184464
/proc/meminfo: memFree=127853684/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=145308 memory=86308 CPUtime=401.27 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 12933 0 0 0 39272 855 0 0 20 0 1 0 242039085 148795392 21577 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 36327 21577 2528 595 0 20994 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 145308 KiB
Current children cumulated memory: 86308 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/263 184466
/proc/meminfo: memFree=127849772/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=146844 memory=87844 CPUtime=461.13 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 13320 0 0 0 45096 1017 0 0 20 0 1 0 242039085 150368256 21961 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 36711 21961 2528 595 0 21378 0
Current children cumulated CPU time: 461.13 s
Current children cumulated vsize: 146844 KiB
Current children cumulated memory: 87844 KiB
[startup+522.3 s]
/proc/loadavg: 4.15 4.12 4.07 5/264 184469
/proc/meminfo: memFree=127821548/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=148320 memory=89636 CPUtime=520.98 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 13750 0 0 0 51058 1040 0 0 20 0 1 0 242039085 151879680 22409 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 37080 22409 2528 595 0 21747 0
Current children cumulated CPU time: 520.98 s
Current children cumulated vsize: 148320 KiB
Current children cumulated memory: 89636 KiB
[startup+582.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/264 184471
/proc/meminfo: memFree=127822220/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=149088 memory=90276 CPUtime=580.83 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 13910 0 0 0 57024 1059 0 0 20 0 1 0 242039085 152666112 22569 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 37272 22569 2528 595 0 21939 0
Current children cumulated CPU time: 580.83 s
Current children cumulated vsize: 149088 KiB
Current children cumulated memory: 90276 KiB
[startup+642.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/263 184473
/proc/meminfo: memFree=127784924/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=149472 memory=90532 CPUtime=640.68 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 13978 0 0 0 62990 1078 0 0 20 0 1 0 242039085 153059328 22633 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 37368 22633 2528 595 0 22035 0
Current children cumulated CPU time: 640.68 s
Current children cumulated vsize: 149472 KiB
Current children cumulated memory: 90532 KiB
[startup+702.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/264 184476
/proc/meminfo: memFree=127772596/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=149472 memory=90532 CPUtime=700.54 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 13982 0 0 0 68818 1236 0 0 20 0 1 0 242039085 153059328 22633 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 37368 22633 2528 595 0 22035 0
Current children cumulated CPU time: 700.54 s
Current children cumulated vsize: 149472 KiB
Current children cumulated memory: 90532 KiB
[startup+762.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/264 184478
/proc/meminfo: memFree=127782876/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=149472 memory=90532 CPUtime=760.38 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 13982 0 0 0 74788 1250 0 0 20 0 1 0 242039085 153059328 22633 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 37368 22633 2528 595 0 22035 0
Current children cumulated CPU time: 760.38 s
Current children cumulated vsize: 149472 KiB
Current children cumulated memory: 90532 KiB
[startup+763.336 s]
# the end of solver process 184443 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=748.915 s, system=12.5128 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+762.4 s]
/proc/loadavg: 4.10 4.11 4.08 5/264 184478
/proc/meminfo: memFree=127782876/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=149472 memory=90532 CPUtime=760.49 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 13982 0 0 0 74798 1251 0 0 20 0 1 0 242039085 153059328 22633 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 37368 22633 2528 595 0 22035 0
Current children cumulated CPU time: 760.49 s
Current children cumulated vsize: 149472 KiB
Current children cumulated memory: 90532 KiB
[startup+762.8 s]
/proc/loadavg: 4.10 4.11 4.08 5/264 184478
/proc/meminfo: memFree=127782876/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=149472 memory=90532 CPUtime=760.89 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 13982 0 0 0 74838 1251 0 0 20 0 1 0 242039085 153059328 22633 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 37368 22633 2528 595 0 22035 0
Current children cumulated CPU time: 760.89 s
Current children cumulated vsize: 149472 KiB
Current children cumulated memory: 90532 KiB
[startup+763.2 s]
/proc/loadavg: 4.10 4.11 4.08 5/264 184478
/proc/meminfo: memFree=127782876/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=149472 memory=90532 CPUtime=761.29 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 13982 0 0 0 74878 1251 0 0 20 0 1 0 242039085 153059328 22633 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 37368 22633 2528 595 0 22035 0
Current children cumulated CPU time: 761.29 s
Current children cumulated vsize: 149472 KiB
Current children cumulated memory: 90532 KiB
[startup+763.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/264 184478
/proc/meminfo: memFree=127782876/131249996 swapFree=33010416/33010684
[pid=184443] ppid=184440 vsize=149472 memory=90532 CPUtime=761.39 cores=1,3
/proc/184443/stat : 184443 (SynLSCD) R 184440 184443 183535 0 -1 4194304 13982 0 0 0 74888 1251 0 0 20 0 1 0 242039085 153059328 22633 18446744073709551615 94686599639040 94686602073641 140730983288608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686602554616 94686602587648 94686608273408 140730983295363 140730983295498 140730983295498 140730983301102 0
/proc/184443/statm: 37368 22633 2528 595 0 22035 0
Current children cumulated CPU time: 761.39 s
Current children cumulated vsize: 149472 KiB
Current children cumulated memory: 90532 KiB
Child status: 20
Real time (s): 763.336
CPU time (s): 761.428
CPU user time (s): 748.915
CPU system time (s): 12.5128
CPU usage (%): 99.7501
Max. virtual memory (cumulated for all children) (KiB): 149472
Max. memory (cumulated for all children) (KiB): 90532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 748.915
system time used= 12.5128
maximum resident set size= 90788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14013
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= 153
involuntary context switches= 450
# summary of solver processes directly reported to runsolver:
# pid: 184443
# total CPU time (s): 761.428
# total CPU user time (s): 748.915
# total CPU system time (s): 12.5128
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39307 second user time and 3.27175 second system time
The end
Begin job on nodeC022 at 2025-07-23 11:40:13
IDJOB=4546022
IDBENCH=164647
IDSOLVER=3421
FILE ID=nodeC022/4546022-1753263613
RUNJOBID= nodeC022-1753259701-183554
SLURM_JOB_ID= 9689177
Free space on /tmp= 432800 MiB
SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_072.shuf-3.opb
COMMAND LINE= ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4546022-1753263613/watcher-4546022-1753263613 -o /tmp/evaluation-result-4546022-1753263613/solver-4546022-1753263613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1753259701-183554 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546022-1753263613.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 99fe8e2cd23c0484947be7a71ede996e
RANDOM SEED=748932326
nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.683
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.672
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3521.673
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.716
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.712
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.703
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.293
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3616.502
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128009884 kB
MemAvailable: 129204924 kB
Buffers: 2128 kB
Cached: 1944348 kB
SwapCached: 32 kB
Active: 1659600 kB
Inactive: 802440 kB
Active(anon): 539660 kB
Inactive(anon): 2124 kB
Active(file): 1119940 kB
Inactive(file): 800316 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3616 kB
Writeback: 0 kB
AnonPages: 518728 kB
Mapped: 121380 kB
Shmem: 26220 kB
KReclaimable: 227644 kB
Slab: 323892 kB
SReclaimable: 227644 kB
SUnreclaim: 96248 kB
KernelStack: 4288 kB
PageTables: 4236 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 965824 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 393216 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432796 MiB
End job on nodeC022 at 2025-07-23 11:52:57