runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61924 MiB free)
memory of node 1: 64465 MiB (55791 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529507-1752571880/watcher-4529507-1752571880 -o /tmp/evaluation-result-4529507-1752571880/solver-4529507-1752571880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1752571843-181133 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:482937223 --competition_mode --input HOME/instance-4529507-1752571880.wbo
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
solver pid=181334, runsolver pid=181326
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 2.51 0.70 0.30 4/264 181335
/proc/meminfo: memFree=120510624/131249992 swapFree=33010160/33010684
[pid=181334] ppid=181326 vsize=51452 memory=41360 CPUtime=0.09 cores=1,3
/proc/181334/stat : 181334 (cp_sat_runner) R 181326 181334 181114 0 -1 4194304 8854 0 0 0 8 1 0 0 20 0 1 0 172866952 52686848 10340 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
/proc/181334/statm: 12863 10340 1088 2102 0 10403 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51452 KiB
Current children cumulated memory: 41360 KiB
[startup+0.205704 s]*
/proc/loadavg: 2.51 0.70 0.30 4/261 181336
/proc/meminfo: memFree=120431012/131249992 swapFree=33010160/33010684
[pid=181334] ppid=181326 vsize=107316 memory=98184 CPUtime=0.2 cores=1,3
/proc/181334/stat : 181334 (cp_sat_runner) R 181326 181334 181114 0 -1 4194304 24431 0 0 0 16 4 0 0 20 0 1 0 172866952 109891584 24546 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
/proc/181334/statm: 26829 24546 1344 2102 0 24369 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107316 KiB
Current children cumulated memory: 98184 KiB
[startup+0.30555 s]*
/proc/loadavg: 2.51 0.70 0.30 4/263 181338
/proc/meminfo: memFree=120398892/131249992 swapFree=33010160/33010684
[pid=181334] ppid=181326 vsize=153384 memory=142168 CPUtime=0.3 cores=1,3
/proc/181334/stat : 181334 (cp_sat_runner) R 181326 181334 181114 0 -1 4194304 33327 0 0 0 24 6 0 0 20 0 1 0 172866952 157065216 35542 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
/proc/181334/statm: 38346 35542 1408 2102 0 35886 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 153384 KiB
Current children cumulated memory: 142168 KiB
[startup+0.700136 s]
/proc/loadavg: 2.51 0.70 0.30 4/263 181339
/proc/meminfo: memFree=120379052/131249992 swapFree=33010160/33010684
[pid=181334] ppid=181326 vsize=181652 memory=165036 CPUtime=0.68 cores=1,3
/proc/181334/stat : 181334 (cp_sat_runner) R 181326 181334 181114 0 -1 4194304 35856 0 0 0 62 6 0 0 20 0 1 0 172866952 186011648 41259 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
/proc/181334/statm: 45413 41259 1536 2102 0 42953 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 181652 KiB
Current children cumulated memory: 165036 KiB
[startup+1.50018 s]
/proc/loadavg: 2.51 0.70 0.30 5/265 181344
/proc/meminfo: memFree=120310976/131249992 swapFree=33010160/33010684
[pid=181334] ppid=181326 vsize=287800 memory=271104 CPUtime=1.48 cores=1,3
/proc/181334/stat : 181334 (cp_sat_runner) R 181326 181334 181114 0 -1 4194304 55197 0 0 0 138 10 0 0 20 0 1 0 172866952 294707200 67776 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
/proc/181334/statm: 71950 67776 1888 2102 0 69490 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 287800 KiB
Current children cumulated memory: 271104 KiB
[startup+3.10575 s]
/proc/loadavg: 2.79 0.79 0.33 6/267 181346
/proc/meminfo: memFree=119863152/131249992 swapFree=33010160/33010684
[pid=181334] ppid=181326 vsize=316100 memory=297736 CPUtime=3.08 cores=1,3
/proc/181334/stat : 181334 (cp_sat_runner) R 181326 181334 181114 0 -1 4194304 59049 0 0 0 297 11 0 0 20 0 1 0 172866952 323686400 74434 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
/proc/181334/statm: 79025 74434 1920 2102 0 76565 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 316100 KiB
Current children cumulated memory: 297736 KiB
[startup+6.30016 s]
/proc/loadavg: 2.79 0.79 0.33 4/264 181354
/proc/meminfo: memFree=119991028/131249992 swapFree=33010160/33010684
[pid=181334] ppid=181326 vsize=400944 memory=375636 CPUtime=6.27 cores=1,3
/proc/181334/stat : 181334 (cp_sat_runner) R 181326 181334 181114 0 -1 4194304 78981 0 0 0 609 18 0 0 20 0 1 0 172866952 410566656 93909 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
/proc/181334/statm: 100236 93909 1920 2102 0 97776 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 400944 KiB
Current children cumulated memory: 375636 KiB
[startup+12.7002 s]
/proc/loadavg: 3.21 0.94 0.38 5/263 181369
/proc/meminfo: memFree=119268940/131249992 swapFree=33010160/33010684
[pid=181334] ppid=181326 vsize=1330140 memory=1183724 CPUtime=18.41 cores=1,3
/proc/181334/stat : 181334 (cp_sat_runner) S 181326 181334 181114 0 -1 4194304 267804 0 0 0 1789 52 0 0 20 0 3 0 172866952 1362063360 295931 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
/proc/181334/statm: 332535 295931 2176 2102 0 318077 0
[pid=181334/tid=181355] ppid=181326 vsize=1330140 memory=412824 CPUtime=5.75 cores=1,3
/proc/181334/task/181355/stat : 181355 (cp_sat_runner) R 181326 181334 181114 0 -1 4194368 92474 0 0 0 561 14 0 0 20 0 3 0 172867640 1362063360 295931 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
[pid=181334/tid=181356] ppid=181326 vsize=1330140 memory=1029200 CPUtime=5.72 cores=1,3
/proc/181334/task/181356/stat : 181356 (cp_sat_runner) R 181326 181334 181114 0 -1 4194368 88567 0 0 0 555 17 0 0 20 0 3 0 172867640 1362063360 295931 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
Current children cumulated CPU time: 18.41 s
Current children cumulated vsize: 1330140 KiB
Current children cumulated memory: 1183724 KiB
[startup+23.3567 s]
# the end of solver process 181334 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=38.6216 s, system=0.888624 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 3.21 0.94 0.38 5/263 181369
/proc/meminfo: memFree=119268940/131249992 swapFree=33010160/33010684
[pid=181334] ppid=181326 vsize=1330140 memory=1193708 CPUtime=18.61 cores=1,3
/proc/181334/stat : 181334 (cp_sat_runner) S 181326 181334 181114 0 -1 4194304 268266 0 0 0 1809 52 0 0 20 0 3 0 172866952 1362063360 298427 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
/proc/181334/statm: 332535 298427 2176 2102 0 318077 0
[pid=181334/tid=181355] ppid=181326 vsize=1330140 memory=0 CPUtime=5.85 cores=1,3
/proc/181334/task/181355/stat : 181355 (cp_sat_runner) R 181326 181334 181114 0 -1 4194368 92477 0 0 0 571 14 0 0 20 0 3 0 172867640 1362063360 298427 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
[pid=181334/tid=181356] ppid=181326 vsize=1330140 memory=20096 CPUtime=5.82 cores=1,3
/proc/181334/task/181356/stat : 181356 (cp_sat_runner) R 181326 181334 181114 0 -1 4194368 89026 0 0 0 565 17 0 0 20 0 3 0 172867640 1362063360 298427 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
Current children cumulated CPU time: 18.61 s
Current children cumulated vsize: 1330140 KiB
Current children cumulated memory: 1193708 KiB
[startup+19.2002 s]
/proc/loadavg: 3.43 1.03 0.41 7/269 181418
/proc/meminfo: memFree=119281504/131249992 swapFree=33010160/33010684
[pid=181334] ppid=181326 vsize=1390780 memory=1209328 CPUtime=31.32 cores=1,3
/proc/181334/stat : 181334 (cp_sat_runner) S 181326 181334 181114 0 -1 4194304 351389 0 0 0 3063 69 0 0 20 0 3 0 172866952 1424158720 302332 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
/proc/181334/statm: 347695 302332 2176 2102 0 325075 0
[pid=181334/tid=181355] ppid=181326 vsize=1390780 memory=1205744 CPUtime=12.18 cores=1,3
/proc/181334/task/181355/stat : 181355 (cp_sat_runner) R 181326 181334 181114 0 -1 4194368 107724 0 0 0 1202 16 0 0 20 0 3 0 172867640 1424158720 302332 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
[pid=181334/tid=181356] ppid=181326 vsize=1390780 memory=5632 CPUtime=12.2 cores=1,3
/proc/181334/task/181356/stat : 181356 (cp_sat_runner) R 181326 181334 181114 0 -1 4194368 156805 0 0 0 1188 32 0 0 20 0 3 0 172867640 1424158720 302332 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
Current children cumulated CPU time: 31.32 s
Current children cumulated vsize: 1390780 KiB
Current children cumulated memory: 1209328 KiB
[startup+20.8002 s]
/proc/loadavg: 3.43 1.03 0.41 8/273 181433
/proc/meminfo: memFree=119272088/131249992 swapFree=33010160/33010684
[pid=181334] ppid=181326 vsize=1393928 memory=1218968 CPUtime=34.49 cores=1,3
/proc/181334/stat : 181334 (cp_sat_runner) S 181326 181334 181114 0 -1 4194304 365016 0 0 0 3375 74 0 0 20 0 3 0 172866952 1427382272 304742 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
/proc/181334/statm: 348482 304742 2176 2102 0 325862 0
[pid=181334/tid=181355] ppid=181326 vsize=1393928 memory=1029200 CPUtime=13.77 cores=1,3
/proc/181334/task/181355/stat : 181355 (cp_sat_runner) R 181326 181334 181114 0 -1 4194368 115142 0 0 0 1360 17 0 0 20 0 3 0 172867640 1427382272 304742 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
[pid=181334/tid=181356] ppid=181326 vsize=1393928 memory=957564 CPUtime=13.79 cores=1,3
/proc/181334/task/181356/stat : 181356 (cp_sat_runner) R 181326 181334 181114 0 -1 4194368 163012 0 0 0 1342 37 0 0 20 0 3 0 172867640 1427382272 304742 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
Current children cumulated CPU time: 34.49 s
Current children cumulated vsize: 1393928 KiB
Current children cumulated memory: 1218968 KiB
[startup+22.4002 s]
/proc/loadavg: 3.80 1.14 0.45 7/272 181443
/proc/meminfo: memFree=119224692/131249992 swapFree=33010160/33010684
[pid=181334] ppid=181326 vsize=1393652 memory=1217412 CPUtime=37.68 cores=1,3
/proc/181334/stat : 181334 (cp_sat_runner) S 181326 181334 181114 0 -1 4194304 385632 0 0 0 3688 80 0 0 20 0 3 0 172866952 1427099648 304353 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
/proc/181334/statm: 348413 304353 2176 2102 0 325793 0
[pid=181334/tid=181355] ppid=181326 vsize=1393652 memory=14692 CPUtime=15.34 cores=1,3
/proc/181334/task/181355/stat : 181355 (cp_sat_runner) R 181326 181334 181114 0 -1 4194368 121872 0 0 0 1517 17 0 0 20 0 3 0 172867640 1427099648 304353 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
[pid=181334/tid=181356] ppid=181326 vsize=1393652 memory=140633738297169 CPUtime=15.35 cores=1,3
/proc/181334/task/181356/stat : 181356 (cp_sat_runner) R 181326 181334 181114 0 -1 4194368 174102 0 0 0 1494 41 0 0 20 0 3 0 172867640 1427099648 304353 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
Current children cumulated CPU time: 37.68 s
Current children cumulated vsize: 1393652 KiB
Current children cumulated memory: 1217412 KiB
[startup+22.8002 s]
/proc/loadavg: 3.80 1.14 0.45 7/272 181443
/proc/meminfo: memFree=119224692/131249992 swapFree=33010160/33010684
[pid=181334] ppid=181326 vsize=1397612 memory=1235816 CPUtime=38.47 cores=1,3
/proc/181334/stat : 181334 (cp_sat_runner) R 181326 181334 181114 0 -1 4194304 398887 0 0 0 3766 81 0 0 20 0 3 0 172866952 1431154688 308954 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
/proc/181334/statm: 349403 308954 2176 2102 0 330061 0
[pid=181334/tid=181355] ppid=181326 vsize=1397612 memory=3200 CPUtime=15.74 cores=1,3
/proc/181334/task/181355/stat : 181355 (cp_sat_runner) R 181326 181334 181114 0 -1 4194368 132039 0 0 0 1556 18 0 0 20 0 3 0 172867640 1431154688 308954 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
[pid=181334/tid=181356] ppid=181326 vsize=1397612 memory=-7240801653715341931 CPUtime=15.71 cores=1,3
/proc/181334/task/181356/stat : 181356 (cp_sat_runner) R 181326 181334 181114 0 -1 4194368 176501 0 0 0 1529 42 0 0 20 0 3 0 172867640 1431154688 308954 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
Current children cumulated CPU time: 38.47 s
Current children cumulated vsize: 1397612 KiB
Current children cumulated memory: 1235816 KiB
[startup+23.2002 s]
/proc/loadavg: 3.80 1.14 0.45 7/269 181443
/proc/meminfo: memFree=119215728/131249992 swapFree=33010160/33010684
[pid=181334] ppid=181326 vsize=1352124 memory=1190328 CPUtime=39.26 cores=1,3
/proc/181334/stat : 181334 (cp_sat_runner) S 181326 181334 181114 0 -1 4194304 405685 0 0 0 3843 83 0 0 20 0 3 0 172866952 1384574976 297582 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
/proc/181334/statm: 338031 297582 2176 2102 0 318689 0
[pid=181334/tid=181355] ppid=181326 vsize=1352124 memory=6516 CPUtime=16.14 cores=1,3
/proc/181334/task/181355/stat : 181355 (cp_sat_runner) R 181326 181334 181114 0 -1 4194368 132075 0 0 0 1596 18 0 0 20 0 3 0 172867640 1384574976 297582 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
[pid=181334/tid=181356] ppid=181326 vsize=1352124 memory=-7240801653715341931 CPUtime=16.1 cores=1,3
/proc/181334/task/181356/stat : 181356 (cp_sat_runner) R 181326 181334 181114 0 -1 4194368 183260 0 0 0 1566 44 0 0 20 0 3 0 172867640 1384574976 297582 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
Current children cumulated CPU time: 39.26 s
Current children cumulated vsize: 1352124 KiB
Current children cumulated memory: 1190328 KiB
[startup+23.3002 s]
/proc/loadavg: 3.80 1.14 0.45 7/269 181443
/proc/meminfo: memFree=119215728/131249992 swapFree=33010160/33010684
[pid=181334] ppid=181326 vsize=1256196 memory=1110556 CPUtime=39.44 cores=1,3
/proc/181334/stat : 181334 (cp_sat_runner) R 181326 181334 181114 0 -1 4194304 418791 0 0 0 3860 84 0 0 20 0 1 0 172866952 1286344704 277639 18446744073709551615 4198400 12806697 140726144181424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 28147712 140726144186645 140726144186849 140726144186849 140726144192455 0
/proc/181334/statm: 314049 277639 2176 2102 0 294707 0
Current children cumulated CPU time: 39.44 s
Current children cumulated vsize: 1256196 KiB
Current children cumulated memory: 1110556 KiB
Child status: 10
Real time (s): 23.3567
CPU time (s): 39.5102
CPU user time (s): 38.6216
CPU system time (s): 0.888624
CPU usage (%): 169.16
Max. virtual memory (cumulated for all children) (KiB): 1550464
Max. memory (cumulated for all children) (KiB): 1235816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.6216
system time used= 0.888624
maximum resident set size= 1235816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 432878
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= 531
involuntary context switches= 561
# summary of solver processes directly reported to runsolver:
# pid: 181334
# total CPU time (s): 39.5102
# total CPU user time (s): 38.6216
# total CPU system time (s): 0.888624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055516 second user time and 0.14266 second system time
The end
Begin job on nodeC025 at 2025-07-15 11:31:21
IDJOB=4529507
IDBENCH=143957
IDSOLVER=3387
FILE ID=nodeC025/4529507-1752571880
RUNJOBID= nodeC025-1752571843-181133
SLURM_JOB_ID= 9683894
Free space on /tmp= 433020 MiB
SOLVER NAME= OR-Tools CP-SAT 9.14.2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/driver/normalized-driverlog09_wcsp.wbo
COMMAND LINE= cp_sat_runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529507-1752571880/watcher-4529507-1752571880 -o /tmp/evaluation-result-4529507-1752571880/solver-4529507-1752571880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1752571843-181133 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:482937223 --competition_mode --input HOME/instance-4529507-1752571880.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a775ba4e40b6fa0cd8cccf00ddaf4c72
RANDOM SEED=482937223
nodeC025 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.827
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.67
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.833
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.67
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 : 3599.816
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.67
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.371
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.67
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.833
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.67
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.342
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.67
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 : 3599.833
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.67
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 : 3667.608
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 120541340 kB
MemAvailable: 129640604 kB
Buffers: 2128 kB
Cached: 9841392 kB
SwapCached: 200 kB
Active: 485620 kB
Inactive: 9483396 kB
Active(anon): 126296 kB
Inactive(anon): 17060 kB
Active(file): 359324 kB
Inactive(file): 9466336 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29700 kB
Writeback: 0 kB
AnonPages: 128460 kB
Mapped: 123272 kB
Shmem: 17856 kB
KReclaimable: 225684 kB
Slab: 326592 kB
SReclaimable: 225684 kB
SUnreclaim: 100908 kB
KernelStack: 4320 kB
PageTables: 3248 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 470372 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 63488 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC025 at 2025-07-15 11:31:45