0.00/0.24 c intsize: 10
0.00/0.25 c 2707 constraints
0.00/0.25 c Finish cloning data from SAT to LS
0.00/0.25 c restart_num_ls -100000 0
8.23/8.53 c Use LS-small
8.23/8.53 c update_LS_target_phase-runLS-restart
243.69/244.75 c restart_num 0 1260
243.69/244.75 c LS-restart 90 60
251.67/252.75 c Use LS-small
251.67/252.75 c update_LS_target_phase-runLS-restart
626.84/629.05 c restart_num 1260 2606
626.84/629.05 c LS-restart 80 33
634.81/637.05 c Use LS-small
634.81/637.05 c update_LS_target_phase-runLS-restart
673.50/675.82 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 (62575 MiB free)
memory of node 1: 64507 MiB (63661 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546160-1753259729/watcher-4546160-1753259729 -o /tmp/evaluation-result-4546160-1753259729/solver-4546160-1753259729 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1753259701-180349 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546160-1753259729.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=180504, runsolver pid=180501
[startup+0.10006 s]*
/proc/loadavg: 1.66 0.47 0.22 2/259 180506
/proc/meminfo: memFree=129275076/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=17104 memory=512 CPUtime=0 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) D 180501 180504 180330 0 -1 4456448 81 0 0 0 0 0 0 0 20 0 1 0 241652981 17514496 128 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 4276 128 128 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 512 KiB
[startup+0.205337 s]*
/proc/loadavg: 1.66 0.47 0.22 2/259 180506
/proc/meminfo: memFree=129275076/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=27740 memory=1024 CPUtime=0 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) D 180501 180504 180330 0 -1 4194304 113 0 0 0 0 0 0 0 20 0 1 0 241652981 28405760 256 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 6935 256 256 595 0 1117 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 27740 KiB
Current children cumulated memory: 1024 KiB
[startup+0.305296 s]*
/proc/loadavg: 1.66 0.47 0.22 3/263 180510
/proc/meminfo: memFree=129267720/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=86684 memory=13568 CPUtime=0.07 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 1463 0 0 0 7 0 0 0 20 0 1 0 241652981 88764416 3392 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 21671 3392 2400 595 0 6338 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 86684 KiB
Current children cumulated memory: 13568 KiB
[startup+0.700171 s]
/proc/loadavg: 1.66 0.47 0.22 3/261 180510
/proc/meminfo: memFree=129267720/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=86684 memory=13568 CPUtime=0.46 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 1463 0 0 0 46 0 0 0 20 0 1 0 241652981 88764416 3392 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 21671 3392 2400 595 0 6338 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 86684 KiB
Current children cumulated memory: 13568 KiB
[startup+1.50011 s]
/proc/loadavg: 1.66 0.47 0.22 2/255 180520
/proc/meminfo: memFree=129474568/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=86684 memory=13568 CPUtime=1.25 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 1463 0 0 0 125 0 0 0 20 0 1 0 241652981 88764416 3392 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 21671 3392 2400 595 0 6338 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 86684 KiB
Current children cumulated memory: 13568 KiB
[startup+3.10457 s]
/proc/loadavg: 1.66 0.47 0.22 3/258 180532
/proc/meminfo: memFree=129481356/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=86684 memory=13568 CPUtime=2.85 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 1463 0 0 0 285 0 0 0 20 0 1 0 241652981 88764416 3392 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 21671 3392 2400 595 0 6338 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 86684 KiB
Current children cumulated memory: 13568 KiB
[startup+6.30009 s]
/proc/loadavg: 1.85 0.53 0.24 2/255 180533
/proc/meminfo: memFree=129513776/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=86684 memory=13568 CPUtime=6.04 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 1463 0 0 0 604 0 0 0 20 0 1 0 241652981 88764416 3392 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 21671 3392 2400 595 0 6338 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 86684 KiB
Current children cumulated memory: 13568 KiB
[startup+12.7001 s]
/proc/loadavg: 2.18 0.62 0.27 2/255 180562
/proc/meminfo: memFree=129558792/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=89500 memory=21144 CPUtime=12.43 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 2314 0 0 0 1239 4 0 0 20 0 1 0 241652981 91648000 5286 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 22375 5286 2432 595 0 7042 0
Current children cumulated CPU time: 12.43 s
Current children cumulated vsize: 89500 KiB
Current children cumulated memory: 21144 KiB
[startup+25.5001 s]
/proc/loadavg: 2.72 0.82 0.34 3/265 180632
/proc/meminfo: memFree=129676816/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=91336 memory=24964 CPUtime=25.18 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 2748 0 0 0 2508 10 0 0 20 0 1 0 241652981 93528064 6241 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 22834 6241 2432 595 0 7501 0
Current children cumulated CPU time: 25.18 s
Current children cumulated vsize: 91336 KiB
Current children cumulated memory: 24964 KiB
[startup+51.1051 s]
/proc/loadavg: 3.37 1.12 0.45 4/263 180712
/proc/meminfo: memFree=129630620/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=92864 memory=26500 CPUtime=50.7 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 3142 0 0 0 5047 23 0 0 20 0 1 0 241652981 95092736 6625 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 23216 6625 2432 595 0 7883 0
Current children cumulated CPU time: 50.7 s
Current children cumulated vsize: 92864 KiB
Current children cumulated memory: 26500 KiB
[startup+102.3 s]
/proc/loadavg: 3.85 1.60 0.65 5/267 180728
/proc/meminfo: memFree=129343244/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=94544 memory=28232 CPUtime=101.74 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 4550 0 0 0 10122 52 0 0 20 0 1 0 241652981 96813056 7058 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 23636 7058 2432 595 0 8303 0
Current children cumulated CPU time: 101.74 s
Current children cumulated vsize: 94544 KiB
Current children cumulated memory: 28232 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 2.07 0.88 5/267 180775
/proc/meminfo: memFree=129315184/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=94664 memory=28440 CPUtime=161.55 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 5690 0 0 0 16069 86 0 0 20 0 1 0 241652981 96935936 7110 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 23666 7110 2432 595 0 8333 0
Current children cumulated CPU time: 161.55 s
Current children cumulated vsize: 94664 KiB
Current children cumulated memory: 28440 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.44 1.08 5/267 180777
/proc/meminfo: memFree=129213308/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=95240 memory=29020 CPUtime=221.36 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 7496 0 0 0 22017 119 0 0 20 0 1 0 241652981 97525760 7255 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 23810 7255 2432 595 0 8477 0
Current children cumulated CPU time: 221.36 s
Current children cumulated vsize: 95240 KiB
Current children cumulated memory: 29020 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.75 1.28 5/266 180780
/proc/meminfo: memFree=129173600/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=95764 memory=29524 CPUtime=281.18 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 8946 0 0 0 27970 148 0 0 20 0 1 0 241652981 98062336 7381 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 23941 7381 2432 595 0 8608 0
Current children cumulated CPU time: 281.18 s
Current children cumulated vsize: 95764 KiB
Current children cumulated memory: 29524 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.00 1.45 5/263 180872
/proc/meminfo: memFree=128815992/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=96228 memory=29988 CPUtime=340.99 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 10065 0 0 0 33917 182 0 0 20 0 1 0 241652981 98537472 7497 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 24057 7497 2432 595 0 8724 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 96228 KiB
Current children cumulated memory: 29988 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.21 1.63 5/263 180874
/proc/meminfo: memFree=118228916/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=96400 memory=30160 CPUtime=400.81 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 11545 0 0 0 39866 215 0 0 20 0 1 0 241652981 98713600 7540 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 24100 7540 2432 595 0 8767 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 96400 KiB
Current children cumulated memory: 30160 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.38 1.78 5/263 180920
/proc/meminfo: memFree=125017820/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=97420 memory=33128 CPUtime=460.62 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 12335 0 0 0 45812 250 0 0 20 0 1 0 241652981 99758080 8282 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 24355 8282 2432 595 0 9022 0
Current children cumulated CPU time: 460.62 s
Current children cumulated vsize: 97420 KiB
Current children cumulated memory: 33128 KiB
[startup+522.3 s]
/proc/loadavg: 4.16 3.52 1.94 5/264 180923
/proc/meminfo: memFree=113902444/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=97968 memory=33484 CPUtime=520.44 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 13015 0 0 0 51761 283 0 0 20 0 1 0 241652981 100319232 8371 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 24492 8371 2432 595 0 9159 0
Current children cumulated CPU time: 520.44 s
Current children cumulated vsize: 97968 KiB
Current children cumulated memory: 33484 KiB
[startup+582.3 s]
/proc/loadavg: 4.12 3.63 2.07 5/263 180925
/proc/meminfo: memFree=111887680/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=98196 memory=33848 CPUtime=580.28 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 13625 0 0 0 57711 317 0 0 20 0 1 0 241652981 100552704 8462 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 24549 8462 2432 595 0 9216 0
Current children cumulated CPU time: 580.28 s
Current children cumulated vsize: 98196 KiB
Current children cumulated memory: 33848 KiB
[startup+642.3 s]
/proc/loadavg: 4.09 3.71 2.20 5/266 180976
/proc/meminfo: memFree=129247804/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=98360 memory=34040 CPUtime=640.1 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 14889 0 0 0 63664 346 0 0 20 0 1 0 241652981 100720640 8510 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 24590 8510 2432 595 0 9257 0
Current children cumulated CPU time: 640.1 s
Current children cumulated vsize: 98360 KiB
Current children cumulated memory: 34040 KiB
[startup+675.826 s]
# the end of solver process 180504 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=669.882 s, system=3.65187 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+652.8 s]
/proc/loadavg: 4.08 3.72 2.22 5/266 180981
/proc/meminfo: memFree=129277172/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=98376 memory=34212 CPUtime=650.57 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 15261 0 0 0 64705 352 0 0 20 0 1 0 241652981 100737024 8553 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 24594 8553 2432 595 0 9261 0
Current children cumulated CPU time: 650.57 s
Current children cumulated vsize: 98376 KiB
Current children cumulated memory: 34212 KiB
[startup+665.6 s]
/proc/loadavg: 4.13 3.75 2.26 5/266 180981
/proc/meminfo: memFree=129289920/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=98460 memory=34296 CPUtime=663.33 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 15617 0 0 0 65973 360 0 0 20 0 1 0 241652981 100823040 8574 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 24615 8574 2432 595 0 9282 0
Current children cumulated CPU time: 663.33 s
Current children cumulated vsize: 98460 KiB
Current children cumulated memory: 34296 KiB
[startup+672 s]*
/proc/loadavg: 4.12 3.76 2.27 4/262 180990
/proc/meminfo: memFree=129350972/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=98524 memory=34360 CPUtime=669.71 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 15745 0 0 0 66608 363 0 0 20 0 1 0 241652981 100888576 8590 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 24631 8590 2432 595 0 9298 0
Current children cumulated CPU time: 669.71 s
Current children cumulated vsize: 98524 KiB
Current children cumulated memory: 34360 KiB
[startup+673.6 s]
/proc/loadavg: 4.12 3.76 2.27 5/266 181027
/proc/meminfo: memFree=129293700/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=98524 memory=34360 CPUtime=671.3 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 15745 0 0 0 66766 364 0 0 20 0 1 0 241652981 100888576 8590 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 24631 8590 2432 595 0 9298 0
Current children cumulated CPU time: 671.3 s
Current children cumulated vsize: 98524 KiB
Current children cumulated memory: 34360 KiB
[startup+675.2 s]
/proc/loadavg: 4.11 3.76 2.28 5/266 181027
/proc/meminfo: memFree=129293964/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=98584 memory=34420 CPUtime=672.9 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 15872 0 0 0 66925 365 0 0 20 0 1 0 241652981 100950016 8605 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 24646 8605 2432 595 0 9313 0
Current children cumulated CPU time: 672.9 s
Current children cumulated vsize: 98584 KiB
Current children cumulated memory: 34420 KiB
[startup+675.6 s]
/proc/loadavg: 4.11 3.76 2.28 5/266 181027
/proc/meminfo: memFree=129293964/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=98584 memory=34420 CPUtime=673.3 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 15872 0 0 0 66965 365 0 0 20 0 1 0 241652981 100950016 8605 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 24646 8605 2432 595 0 9313 0
Current children cumulated CPU time: 673.3 s
Current children cumulated vsize: 98584 KiB
Current children cumulated memory: 34420 KiB
[startup+675.8 s]
/proc/loadavg: 4.11 3.76 2.28 5/266 181027
/proc/meminfo: memFree=129293964/131250000 swapFree=33009904/33010684
[pid=180504] ppid=180501 vsize=98584 memory=34420 CPUtime=673.5 cores=1,3
/proc/180504/stat : 180504 (SynLSCD-PS) R 180501 180504 180330 0 -1 4194304 15872 0 0 0 66985 365 0 0 20 0 1 0 241652981 100950016 8605 18446744073709551615 94894578999296 94894581434713 140722887347504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94894581914872 94894581947904 94894617858048 140722887354749 140722887354887 140722887354887 140722887360491 0
/proc/180504/statm: 24646 8605 2432 595 0 9313 0
Current children cumulated CPU time: 673.5 s
Current children cumulated vsize: 98584 KiB
Current children cumulated memory: 34420 KiB
Child status: 20
Real time (s): 675.826
CPU time (s): 673.534
CPU user time (s): 669.882
CPU system time (s): 3.65187
CPU usage (%): 99.6609
Max. virtual memory (cumulated for all children) (KiB): 98780
Max. memory (cumulated for all children) (KiB): 34420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 669.882
system time used= 3.65187
maximum resident set size= 34808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15904
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= 142
involuntary context switches= 514
# summary of solver processes directly reported to runsolver:
# pid: 180504
# total CPU time (s): 673.534
# total CPU user time (s): 669.882
# total CPU system time (s): 3.65187
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.16718 second user time and 2.68975 second system time
The end
Begin job on nodeC027 at 2025-07-23 10:35:30
IDJOB=4546160
IDBENCH=147898
IDSOLVER=3422
FILE ID=nodeC027/4546160-1753259729
RUNJOBID= nodeC027-1753259701-180349
SLURM_JOB_ID= 9689182
Free space on /tmp= 432952 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559676.opb
COMMAND LINE= ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4546160-1753259729/watcher-4546160-1753259729 -o /tmp/evaluation-result-4546160-1753259729/solver-4546160-1753259729 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1753259701-180349 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546160-1753259729.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 95888c36dbc3e063e75763857563d2e5
RANDOM SEED=554905260
nodeC027 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 : 1198.115
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.29
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 : 3601.915
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.29
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 : 1195.145
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.29
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.646
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.29
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 : 1199.782
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.29
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.639
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.29
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 : 3700.000
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.29
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 : 3599.681
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129269144 kB
MemAvailable: 129250524 kB
Buffers: 1204 kB
Cached: 749836 kB
SwapCached: 8 kB
Active: 701476 kB
Inactive: 319028 kB
Active(anon): 248396 kB
Inactive(anon): 47292 kB
Active(file): 453080 kB
Inactive(file): 271736 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3840 kB
Writeback: 0 kB
AnonPages: 272660 kB
Mapped: 114884 kB
Shmem: 26224 kB
KReclaimable: 191204 kB
Slab: 286372 kB
SReclaimable: 191204 kB
SUnreclaim: 95168 kB
KernelStack: 4208 kB
PageTables: 3504 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 593044 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 65536 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432980 MiB
End job on nodeC027 at 2025-07-23 10:46:47