PB'25 competition WBO competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
OR-Tools CP-SAT 9.14.2	MSAT (TO)	3600.05	1838.44

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529469-1752571873/watcher-4529469-1752571873 -o /tmp/evaluation-result-4529469-1752571873/solver-4529469-1752571873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752571843-125777 --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-4529469-1752571873.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=125934, runsolver pid=125927

[startup+0.100065 s]*
/proc/loadavg: 2.83 0.77 0.32 7/268 125935
/proc/meminfo: memFree=128275664/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=44996 memory=35032 CPUtime=0.09 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) R 125927 125934 125759 0 -1 4194304 7804 0 0 0 8 1 0 0 20 0 1 0 172865270 46075904 8758 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 11282 8758 1088 2102 0 8822 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44996 KiB
Current children cumulated memory: 35032 KiB

[startup+0.20554 s]*
/proc/loadavg: 2.83 0.77 0.32 7/268 125935
/proc/meminfo: memFree=128231624/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=80120 memory=65896 CPUtime=0.2 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) R 125927 125934 125759 0 -1 4194304 13501 0 0 0 18 2 0 0 20 0 1 0 172865270 82042880 16474 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 20030 16474 1088 2102 0 17570 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80120 KiB
Current children cumulated memory: 65896 KiB

[startup+0.305643 s]*
/proc/loadavg: 2.83 0.77 0.32 7/268 125935
/proc/meminfo: memFree=128110664/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=178160 memory=171920 CPUtime=0.3 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) R 125927 125934 125759 0 -1 4194304 42362 0 0 0 23 7 0 0 20 0 1 0 172865270 182435840 42980 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 44540 42980 1280 2102 0 42080 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 178160 KiB
Current children cumulated memory: 171920 KiB

[startup+0.700198 s]
/proc/loadavg: 2.83 0.77 0.32 7/268 125935
/proc/meminfo: memFree=128018116/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=328100 memory=315108 CPUtime=0.68 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) R 125927 125934 125759 0 -1 4194304 70887 0 0 0 55 13 0 0 20 0 1 0 172865270 335974400 78777 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 82025 78777 1408 2102 0 79565 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 328100 KiB
Current children cumulated memory: 315108 KiB

[startup+1.50018 s]
/proc/loadavg: 2.83 0.77 0.32 7/268 125935
/proc/meminfo: memFree=127897024/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=350308 memory=337508 CPUtime=1.48 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) R 125927 125934 125759 0 -1 4194304 76425 0 0 0 134 14 0 0 20 0 1 0 172865270 358715392 84377 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 87577 84377 1472 2102 0 85117 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 350308 KiB
Current children cumulated memory: 337508 KiB

[startup+3.10541 s]
/proc/loadavg: 2.83 0.77 0.32 8/270 125937
/proc/meminfo: memFree=127366964/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=526404 memory=495696 CPUtime=3.08 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) R 125927 125934 125759 0 -1 4194304 99293 0 0 0 288 20 0 0 20 0 1 0 172865270 539037696 123924 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 131601 123924 1568 2102 0 129141 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 526404 KiB
Current children cumulated memory: 495696 KiB

[startup+6.30018 s]
/proc/loadavg: 3.16 0.87 0.35 8/270 125937
/proc/meminfo: memFree=127135324/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=542432 memory=510672 CPUtime=6.26 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) R 125927 125934 125759 0 -1 4194304 103083 0 0 0 605 21 0 0 20 0 1 0 172865270 555450368 127668 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 135608 127668 1568 2102 0 133148 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 542432 KiB
Current children cumulated memory: 510672 KiB

[startup+12.7002 s]
/proc/loadavg: 3.47 0.97 0.39 8/270 125937
/proc/meminfo: memFree=127057076/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=547332 memory=515664 CPUtime=12.64 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) R 125927 125934 125759 0 -1 4194304 104385 0 0 0 1242 22 0 0 20 0 1 0 172865270 560467968 128916 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 136833 128916 1568 2102 0 134373 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 547332 KiB
Current children cumulated memory: 515664 KiB

[startup+25.5002 s]
/proc/loadavg: 4.24 1.27 0.50 6/264 125945
/proc/meminfo: memFree=127344388/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=581496 memory=569692 CPUtime=25.4 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) R 125927 125934 125759 0 -1 4194304 112795 0 0 0 2512 28 0 0 20 0 1 0 172865270 595451904 142423 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 145374 142423 1856 2102 0 142914 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 581496 KiB
Current children cumulated memory: 569692 KiB

[startup+51.1055 s]
/proc/loadavg: 4.64 1.60 0.63 7/264 125971
/proc/meminfo: memFree=125539256/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=2956248 memory=2434400 CPUtime=55.5 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) R 125927 125934 125759 0 -1 4194304 321219 0 0 0 5461 89 0 0 20 0 3 0 172865270 3027197952 608600 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 739062 608600 2144 2102 0 713409 0
[pid=125934/tid=125970] ppid=125927 vsize=2956248 memory=784960 CPUtime=4.5 cores=4,6
/proc/125934/task/125970/stat : 125970 (cp_sat_runner) S 125927 125934 125759 0 -1 4194368 104297 0 0 0 423 27 0 0 20 0 3 0 172869914 3027197952 608600 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 1 0 0 -1 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
[pid=125934/tid=125971] ppid=125927 vsize=2956248 memory=515664 CPUtime=4.58 cores=4,6
/proc/125934/task/125971/stat : 125971 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 69480 0 0 0 439 19 0 0 20 0 3 0 172869914 3027197952 608600 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
Current children cumulated CPU time: 55.5 s
Current children cumulated vsize: 2956248 KiB
Current children cumulated memory: 2434400 KiB

[startup+102.3 s]
/proc/loadavg: 5.49 2.30 0.92 7/264 125972
/proc/meminfo: memFree=125103448/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=3035860 memory=2812944 CPUtime=156.81 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) S 125927 125934 125759 0 -1 4194304 632691 0 0 0 15503 178 0 0 20 0 3 0 172865270 3108720640 703236 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 758965 703236 2144 2102 0 739265 0
[pid=125934/tid=125970] ppid=125927 vsize=3035860 memory=16772 CPUtime=49.63 cores=4,6
/proc/125934/task/125970/stat : 125970 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 266396 0 0 0 4919 44 0 0 20 0 3 0 172869914 3108720640 703236 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
[pid=125934/tid=125971] ppid=125927 vsize=3035860 memory=2762524 CPUtime=54.88 cores=4,6
/proc/125934/task/125971/stat : 125971 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 218764 0 0 0 5397 91 0 0 20 0 3 0 172869914 3108720640 703236 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
Current children cumulated CPU time: 156.81 s
Current children cumulated vsize: 3035860 KiB
Current children cumulated memory: 2812944 KiB

[startup+162.3 s]
/proc/loadavg: 5.95 3.02 1.25 7/264 125974
/proc/meminfo: memFree=125065572/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=3153464 memory=2873940 CPUtime=275.44 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) S 125927 125934 125759 0 -1 4194304 778020 0 0 0 27283 261 0 0 20 0 3 0 172865270 3229147136 718485 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 788366 718485 2144 2102 0 755771 0
[pid=125934/tid=125970] ppid=125927 vsize=3153464 memory=2878628 CPUtime=106.81 cores=4,6
/proc/125934/task/125970/stat : 125970 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 331453 0 0 0 10632 49 0 0 20 0 3 0 172869914 3229147136 718485 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
[pid=125934/tid=125971] ppid=125927 vsize=3153464 memory=16772 CPUtime=113.78 cores=4,6
/proc/125934/task/125971/stat : 125971 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 298993 0 0 0 11210 168 0 0 20 0 3 0 172869914 3229147136 718485 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
Current children cumulated CPU time: 275.44 s
Current children cumulated vsize: 3153464 KiB
Current children cumulated memory: 2873940 KiB

[startup+222.3 s]
/proc/loadavg: 5.14 3.36 1.48 5/256 126006
/proc/meminfo: memFree=125113604/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=3166220 memory=2885988 CPUtime=394.12 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) S 125927 125934 125759 0 -1 4194304 931990 0 0 0 39060 352 0 0 20 0 3 0 172865270 3242209280 721497 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 791555 721497 2144 2102 0 771062 0
[pid=125934/tid=125970] ppid=125927 vsize=3166220 memory=2973952 CPUtime=163.2 cores=4,6
/proc/125934/task/125970/stat : 125970 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 395750 0 0 0 16261 59 0 0 20 0 3 0 172869914 3242209280 721497 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
[pid=125934/tid=125971] ppid=125927 vsize=3166220 memory=2876824 CPUtime=173.07 cores=4,6
/proc/125934/task/125971/stat : 125971 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 388627 0 0 0 17059 248 0 0 20 0 3 0 172869914 3242209280 721497 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
Current children cumulated CPU time: 394.12 s
Current children cumulated vsize: 3166220 KiB
Current children cumulated memory: 2885988 KiB

[startup+282.3 s]
/proc/loadavg: 4.46 3.49 1.65 5/256 126008
/proc/meminfo: memFree=125067220/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=3161404 memory=2920444 CPUtime=513.2 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) S 125927 125934 125759 0 -1 4194304 1036206 0 0 0 50883 437 0 0 20 0 3 0 172865270 3237277696 730111 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 790351 730111 2144 2102 0 769862 0
[pid=125934/tid=125970] ppid=125927 vsize=3161404 memory=3023720 CPUtime=222.55 cores=4,6
/proc/125934/task/125970/stat : 125970 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 400357 0 0 0 22194 61 0 0 20 0 3 0 172869914 3237277696 730111 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
[pid=125934/tid=125971] ppid=125927 vsize=3161404 memory=2997848 CPUtime=232.8 cores=4,6
/proc/125934/task/125971/stat : 125971 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 488188 0 0 0 22950 330 0 0 20 0 3 0 172869914 3237277696 730111 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
Current children cumulated CPU time: 513.2 s
Current children cumulated vsize: 3161404 KiB
Current children cumulated memory: 2920444 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 3.59 1.80 5/255 126011
/proc/meminfo: memFree=124826108/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=3428336 memory=3155740 CPUtime=631.42 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) S 125927 125934 125759 0 -1 4194304 1173934 0 0 0 62617 525 0 0 20 0 3 0 172865270 3510616064 788935 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 857084 788935 2144 2102 0 830541 0
[pid=125934/tid=125970] ppid=125927 vsize=3428336 memory=3102012 CPUtime=279.02 cores=4,6

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

Current children cumulated memory: 3251728 KiB

[startup+1302.3 s]
/proc/loadavg: 4.08 4.08 3.32 5/254 126061
/proc/meminfo: memFree=124732196/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=3510900 memory=3216320 CPUtime=2535.57 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) S 125927 125934 125759 0 -1 4194304 2255996 0 0 0 251910 1647 0 0 20 0 3 0 172865270 3595161600 804080 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 877725 804080 2144 2102 0 857257 0
[pid=125934/tid=125970] ppid=125927 vsize=3510900 memory=140144111821729 CPUtime=1225.59 cores=4,6
/proc/125934/task/125970/stat : 125970 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 1225297 0 0 0 122420 139 0 0 20 0 3 0 172869914 3595161600 804080 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
[pid=125934/tid=125971] ppid=125927 vsize=3510900 memory=3159820 CPUtime=1242.92 cores=4,6
/proc/125934/task/125971/stat : 125971 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 882613 0 0 0 122841 1451 0 0 20 0 3 0 172869914 3595161600 804080 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
Current children cumulated CPU time: 2535.57 s
Current children cumulated vsize: 3510900 KiB
Current children cumulated memory: 3216320 KiB

[startup+1362.3 s]
/proc/loadavg: 4.14 4.09 3.37 5/254 126063
/proc/meminfo: memFree=124745944/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=3486364 memory=3209064 CPUtime=2654.7 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) S 125927 125934 125759 0 -1 4194304 2305618 0 0 0 263752 1718 0 0 20 0 3 0 172865270 3570036736 802266 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 871591 802266 2144 2102 0 851123 0
[pid=125934/tid=125970] ppid=125927 vsize=3486364 memory=3151092 CPUtime=1284.95 cores=4,6
/proc/125934/task/125970/stat : 125970 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 1265760 0 0 0 128354 141 0 0 20 0 3 0 172869914 3570036736 802266 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
[pid=125934/tid=125971] ppid=125927 vsize=3486364 memory=3030808 CPUtime=1302.67 cores=4,6
/proc/125934/task/125971/stat : 125971 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 891759 0 0 0 128747 1520 0 0 20 0 3 0 172869914 3570036736 802266 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
Current children cumulated CPU time: 2654.7 s
Current children cumulated vsize: 3486364 KiB
Current children cumulated memory: 3209064 KiB

[startup+1422.3 s]
/proc/loadavg: 4.10 4.09 3.42 5/254 126065
/proc/meminfo: memFree=124683868/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=3500796 memory=3244488 CPUtime=2773.83 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) S 125927 125934 125759 0 -1 4194304 2354182 0 0 0 275598 1785 0 0 20 0 3 0 172865270 3584815104 811122 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 875199 811122 2144 2102 0 854731 0
[pid=125934/tid=125970] ppid=125927 vsize=3500796 memory=3151092 CPUtime=1344.31 cores=4,6
/proc/125934/task/125970/stat : 125970 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 1271287 0 0 0 134290 141 0 0 20 0 3 0 172869914 3584815104 811122 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
[pid=125934/tid=125971] ppid=125927 vsize=3500796 memory=16772 CPUtime=1362.41 cores=4,6
/proc/125934/task/125971/stat : 125971 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 934758 0 0 0 134657 1584 0 0 20 0 3 0 172869914 3584815104 811122 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
Current children cumulated CPU time: 2773.83 s
Current children cumulated vsize: 3500796 KiB
Current children cumulated memory: 3244488 KiB

[startup+1482.3 s]
/proc/loadavg: 4.15 4.10 3.47 5/254 126069
/proc/meminfo: memFree=124813300/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=3437060 memory=3127292 CPUtime=2892.95 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) S 125927 125934 125759 0 -1 4194304 2396216 0 0 0 287449 1846 0 0 20 0 3 0 172865270 3519549440 781823 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 859265 781823 2144 2102 0 838797 0
[pid=125934/tid=125970] ppid=125927 vsize=3437060 memory=16772 CPUtime=1403.68 cores=4,6
/proc/125934/task/125970/stat : 125970 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 1298256 0 0 0 140225 143 0 0 20 0 3 0 172869914 3519549440 781823 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
[pid=125934/tid=125971] ppid=125927 vsize=3437060 memory=3223692 CPUtime=1422.16 cores=4,6
/proc/125934/task/125971/stat : 125971 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 949802 0 0 0 140572 1644 0 0 20 0 3 0 172869914 3519549440 781823 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
Current children cumulated CPU time: 2892.95 s
Current children cumulated vsize: 3437060 KiB
Current children cumulated memory: 3127292 KiB

[startup+1542.3 s]
/proc/loadavg: 4.12 4.10 3.51 5/253 126071
/proc/meminfo: memFree=124704092/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=3300724 memory=3056704 CPUtime=3012.08 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) S 125927 125934 125759 0 -1 4194304 2438271 0 0 0 299287 1921 0 0 20 0 3 0 172865270 3379941376 764176 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 825181 764176 2144 2102 0 804713 0
[pid=125934/tid=125970] ppid=125927 vsize=3300724 memory=-7239108431578369127 CPUtime=1463.05 cores=4,6
/proc/125934/task/125970/stat : 125970 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 1329045 0 0 0 146159 146 0 0 20 0 3 0 172869914 3379941376 764176 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
[pid=125934/tid=125971] ppid=125927 vsize=3300724 memory=5632 CPUtime=1481.9 cores=4,6
/proc/125934/task/125971/stat : 125971 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 961037 0 0 0 146476 1714 0 0 20 0 3 0 172869914 3379941376 764176 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
Current children cumulated CPU time: 3012.08 s
Current children cumulated vsize: 3300724 KiB
Current children cumulated memory: 3056704 KiB

[startup+1602.3 s]
/proc/loadavg: 4.09 4.09 3.55 5/253 126074
/proc/meminfo: memFree=124716176/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=3491684 memory=3191556 CPUtime=3131.22 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) S 125927 125934 125759 0 -1 4194304 2472680 0 0 0 311130 1992 0 0 20 0 3 0 172865270 3575484416 797889 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 872921 797889 2144 2102 0 852453 0
[pid=125934/tid=125970] ppid=125927 vsize=3491684 memory=5632 CPUtime=1522.42 cores=4,6
/proc/125934/task/125970/stat : 125970 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 1353952 0 0 0 152093 149 0 0 20 0 3 0 172869914 3575484416 797889 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
[pid=125934/tid=125971] ppid=125927 vsize=3491684 memory=3204804 CPUtime=1541.65 cores=4,6
/proc/125934/task/125971/stat : 125971 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 970511 0 0 0 152382 1783 0 0 20 0 3 0 172869914 3575484416 797889 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
Current children cumulated CPU time: 3131.22 s
Current children cumulated vsize: 3491684 KiB
Current children cumulated memory: 3191556 KiB

[startup+1662.3 s]
/proc/loadavg: 4.13 4.10 3.59 5/256 126079
/proc/meminfo: memFree=124732008/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=3474916 memory=3185028 CPUtime=3250.34 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) S 125927 125934 125759 0 -1 4194304 2510276 0 0 0 322975 2059 0 0 20 0 3 0 172865270 3558313984 796257 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 868729 796257 2144 2102 0 848261 0
[pid=125934/tid=125970] ppid=125927 vsize=3474916 memory=5632 CPUtime=1581.79 cores=4,6
/proc/125934/task/125970/stat : 125970 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 1381165 0 0 0 158028 151 0 0 20 0 3 0 172869914 3558313984 796257 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
[pid=125934/tid=125971] ppid=125927 vsize=3474916 memory=3242908 CPUtime=1601.39 cores=4,6
/proc/125934/task/125971/stat : 125971 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 980858 0 0 0 158292 1847 0 0 20 0 3 0 172869914 3558313984 796257 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
Current children cumulated CPU time: 3250.34 s
Current children cumulated vsize: 3474916 KiB
Current children cumulated memory: 3185028 KiB

[startup+1722.3 s]
/proc/loadavg: 4.10 4.09 3.62 5/257 126082
/proc/meminfo: memFree=124681000/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=3494264 memory=3217476 CPUtime=3369.47 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) S 125927 125934 125759 0 -1 4194304 2554153 0 0 0 334816 2131 0 0 20 0 3 0 172865270 3578126336 804369 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 873566 804369 2144 2102 0 853098 0
[pid=125934/tid=125970] ppid=125927 vsize=3494264 memory=5632 CPUtime=1641.15 cores=4,6
/proc/125934/task/125970/stat : 125970 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 1414727 0 0 0 163962 153 0 0 20 0 3 0 172869914 3578126336 804369 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
[pid=125934/tid=125971] ppid=125927 vsize=3494264 memory=21120 CPUtime=1661.13 cores=4,6
/proc/125934/task/125971/stat : 125971 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 991166 0 0 0 164198 1915 0 0 20 0 3 0 172869914 3578126336 804369 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
Current children cumulated CPU time: 3369.47 s
Current children cumulated vsize: 3494264 KiB
Current children cumulated memory: 3217476 KiB

[startup+1782.3 s]
/proc/loadavg: 4.08 4.09 3.66 5/257 126084
/proc/meminfo: memFree=124762176/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=3387624 memory=3181628 CPUtime=3488.6 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) S 125927 125934 125759 0 -1 4194304 2593504 0 0 0 346665 2195 0 0 20 0 3 0 172865270 3468926976 795407 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 846906 795407 2144 2102 0 826438 0
[pid=125934/tid=125970] ppid=125927 vsize=3387624 memory=3094728 CPUtime=1700.52 cores=4,6
/proc/125934/task/125970/stat : 125970 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 1435388 0 0 0 169897 155 0 0 20 0 3 0 172869914 3468926976 795407 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
[pid=125934/tid=125971] ppid=125927 vsize=3387624 memory=6852 CPUtime=1720.86 cores=4,6
/proc/125934/task/125971/stat : 125971 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 1009831 0 0 0 170109 1977 0 0 20 0 3 0 172869914 3468926976 795407 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
Current children cumulated CPU time: 3488.6 s
Current children cumulated vsize: 3387624 KiB
Current children cumulated memory: 3181628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1838.4 s]
/proc/loadavg: 3.50 3.96 3.64 3/250 126135
/proc/meminfo: memFree=125544952/131249988 swapFree=33010160/33010684
[pid=125934] ppid=125927 vsize=3492492 memory=3217112 CPUtime=3600 cores=4,6
/proc/125934/stat : 125934 (cp_sat_runner) S 125927 125934 125759 0 -1 4194304 2620172 0 0 0 357741 2259 0 0 20 0 3 0 172865270 3576311808 804278 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
/proc/125934/statm: 873123 804278 2144 2102 0 852655 0
[pid=125934/tid=125970] ppid=125927 vsize=3492492 memory=3210968 CPUtime=1756.02 cores=4,6
/proc/125934/task/125970/stat : 125970 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 1446650 0 0 0 175443 159 0 0 20 0 3 0 172869914 3576311808 804278 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
[pid=125934/tid=125971] ppid=125927 vsize=3492492 memory=5276 CPUtime=1776.73 cores=4,6
/proc/125934/task/125971/stat : 125971 (cp_sat_runner) R 125927 125934 125759 0 -1 4194368 1025236 0 0 0 175636 2037 0 0 20 0 3 0 172869914 3576311808 804278 18446744073709551615 4198400 12806697 140725393329216 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 28680192 140725393332501 140725393332705 140725393332705 140725393338311 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3492492 KiB
Current children cumulated memory: 3217112 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3577.42 s, system=22.6293 s

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

Child status: 0

Real time (s): 1838.44
CPU time (s): 3600.05
CPU user time (s): 3577.42
CPU system time (s): 22.6293
CPU usage (%): 195.821
Max. virtual memory (cumulated for all children) (KiB): 3651972
Max. memory (cumulated for all children) (KiB): 3401256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.42
system time used= 22.6293
maximum resident set size= 3401256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2620177
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= 19671
involuntary context switches= 62237


# summary of solver processes directly reported to runsolver:
#   pid: 125934
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3577.42
#   total CPU system time (s): 22.6293

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.66061 second user time and 8.70093 second system time

The end

Begin job on nodeC020 at 2025-07-15 11:31:15
IDJOB=4529469
IDBENCH=143882
IDSOLVER=3387
FILE ID=nodeC020/4529469-1752571873
RUNJOBID= nodeC020-1752571843-125777
SLURM_JOB_ID= 9683889
Free space on /tmp= 432156 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14.2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub3_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-4529469-1752571873/watcher-4529469-1752571873 -o /tmp/evaluation-result-4529469-1752571873/solver-4529469-1752571873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752571843-125777 --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-4529469-1752571873.wbo

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 25adf5b940a77273e2a5bcad45fe6bb3
RANDOM SEED=482937223

nodeC020 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.086
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.79
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.892
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.79
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		: 3600.061
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.79
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.890
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.79
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		: 3595.652
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.79
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.731
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.79
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.882
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.79
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.898
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        128351016 kB
MemAvailable:   129294584 kB
Buffers:            2128 kB
Cached:          1732468 kB
SwapCached:            8 kB
Active:          1091812 kB
Inactive:        1161268 kB
Active(anon):     511980 kB
Inactive(anon):    24548 kB
Active(file):     579832 kB
Inactive(file):  1136720 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             35880 kB
Writeback:             0 kB
AnonPages:        520264 kB
Mapped:           124160 kB
Shmem:             18044 kB
KReclaimable:     132512 kB
Slab:             227332 kB
SReclaimable:     132512 kB
SUnreclaim:        94820 kB
KernelStack:        4272 kB
PageTables:         4036 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     900484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     90112 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432284 MiB
End job on nodeC020 at 2025-07-15 12:01:56

Name	PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub3_wcsp.wbo
MD5SUM	25adf5b940a77273e2a5bcad45fe6bb3
Bench Category	PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmark	MOPT
Best cost obtained on this benchmark	3079
Best CPU time to get the best result obtained on this benchmark	43.3589
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables	776
Total number of constraints	319436
Number of soft constraints	319418
Number of constraints which are clauses	319418
Number of constraints which are cardinality constraints (but not clauses)	18
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	44
Top cost	58724
Min constraint cost	1
Max constraint cost	1000
Sum of constraints costs	41665382
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	45
Number of bits of the biggest sum of numbers	6
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 4529469

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data