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: 63837 MiB (57933 MiB free)
memory of node 1: 64465 MiB (63572 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522386-1751587668/watcher-4522386-1751587668 -o /tmp/evaluation-result-4522386-1751587668/solver-4522386-1751587668 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751585836-82997 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1925521548 --competition_mode --input HOME/instance-4522386-1751587668.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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=83438, runsolver pid=83435
[startup+0.100065 s]*
/proc/loadavg: 7.88 8.06 7.57 8/255 83439
/proc/meminfo: memFree=124476320/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=27332 memory=20860 CPUtime=0.1 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) R 83435 83438 82985 0 -1 4194304 5714 0 0 0 8 2 0 0 20 0 1 0 74445947 27987968 5215 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 6833 5215 1088 2102 0 4373 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27332 KiB
Current children cumulated memory: 20860 KiB
[startup+0.212783 s]*
/proc/loadavg: 7.88 8.06 7.57 8/255 83439
/proc/meminfo: memFree=124423708/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=52212 memory=45308 CPUtime=0.21 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) R 83435 83438 82985 0 -1 4194304 11834 0 0 0 18 3 0 0 20 0 1 0 74445947 53465088 11327 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 13053 11327 1088 2102 0 10593 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 52212 KiB
Current children cumulated memory: 45308 KiB
[startup+0.312779 s]*
/proc/loadavg: 7.88 8.06 7.57 8/255 83439
/proc/meminfo: memFree=124350364/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=73976 memory=66684 CPUtime=0.31 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) R 83435 83438 82985 0 -1 4194304 17174 0 0 0 26 5 0 0 20 0 1 0 74445947 75751424 16671 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 18494 16671 1088 2102 0 16034 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 73976 KiB
Current children cumulated memory: 66684 KiB
[startup+0.700244 s]
/proc/loadavg: 7.88 8.06 7.57 8/255 83439
/proc/meminfo: memFree=124392424/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=173008 memory=164508 CPUtime=0.68 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) R 83435 83438 82985 0 -1 4194304 38572 0 0 0 58 10 0 0 20 0 1 0 74445947 177160192 41127 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 43252 41127 1088 2102 0 40792 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 173008 KiB
Current children cumulated memory: 164508 KiB
[startup+1.50023 s]
/proc/loadavg: 7.88 8.06 7.57 8/255 83439
/proc/meminfo: memFree=124187396/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=372100 memory=353252 CPUtime=1.49 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) R 83435 83438 82985 0 -1 4194304 79423 0 0 0 130 19 0 0 20 0 1 0 74445947 381030400 88313 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 93025 88313 1344 2102 0 90565 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 372100 KiB
Current children cumulated memory: 353252 KiB
[startup+3.11245 s]
/proc/loadavg: 7.88 8.06 7.57 8/255 83439
/proc/meminfo: memFree=124053372/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=372100 memory=358500 CPUtime=3.09 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) R 83435 83438 82985 0 -1 4194304 80560 0 0 0 290 19 0 0 20 0 1 0 74445947 381030400 89625 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 93025 89625 1536 2102 0 90565 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 372100 KiB
Current children cumulated memory: 358500 KiB
[startup+6.30024 s]
/proc/loadavg: 7.81 8.04 7.56 8/255 83439
/proc/meminfo: memFree=123817352/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=581896 memory=556396 CPUtime=6.27 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) R 83435 83438 82985 0 -1 4194304 110346 0 0 0 597 30 0 0 20 0 1 0 74445947 595861504 139099 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 145474 139099 1856 2102 0 143014 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 581896 KiB
Current children cumulated memory: 556396 KiB
[startup+12.7002 s]
/proc/loadavg: 7.75 8.02 7.56 6/251 83439
/proc/meminfo: memFree=128699544/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=581896 memory=564600 CPUtime=12.65 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) R 83435 83438 82985 0 -1 4194304 110930 0 0 0 1233 32 0 0 20 0 1 0 74445947 595861504 141150 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 145474 141150 1856 2102 0 143014 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 581896 KiB
Current children cumulated memory: 564600 KiB
[startup+25.5003 s]
/proc/loadavg: 7.43 7.94 7.54 7/253 83531
/proc/meminfo: memFree=128130896/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=732968 memory=715300 CPUtime=25.36 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) R 83435 83438 82985 0 -1 4194304 124381 0 0 0 2491 45 0 0 20 0 1 0 74445947 750559232 178825 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 183242 178825 1952 2102 0 180782 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 732968 KiB
Current children cumulated memory: 715300 KiB
[startup+51.1053 s]
/proc/loadavg: 7.22 7.85 7.52 8/255 83534
/proc/meminfo: memFree=126037324/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=2814064 memory=2421500 CPUtime=72.01 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) S 83435 83438 82985 0 -1 4194304 367422 0 0 0 7100 101 0 0 20 0 3 0 74445947 2881601536 605375 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 703516 605375 2144 2102 0 665964 0
[pid=83438/tid=83532] ppid=83435 vsize=2814064 memory=2386676 CPUtime=21.24 cores=1,3
/proc/83438/task/83532/stat : 83532 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 77092 0 0 0 2101 23 0 0 20 0 3 0 74448914 2881601536 605375 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
[pid=83438/tid=83533] ppid=83435 vsize=2814064 memory=2386676 CPUtime=21.05 cores=1,3
/proc/83438/task/83533/stat : 83533 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 85753 0 0 0 2083 22 0 0 20 0 3 0 74448914 2881601536 605375 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
Current children cumulated CPU time: 72.01 s
Current children cumulated vsize: 2814064 KiB
Current children cumulated memory: 2421500 KiB
[startup+102.3 s]
/proc/loadavg: 7.71 7.89 7.55 9/257 83538
/proc/meminfo: memFree=124369484/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=3043204 memory=2596412 CPUtime=173.73 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) S 83435 83438 82985 0 -1 4194304 657399 0 0 0 17209 164 0 0 20 0 3 0 74445947 3116240896 649103 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 760801 649103 2144 2102 0 720721 0
[pid=83438/tid=83532] ppid=83435 vsize=3043204 memory=2553772 CPUtime=71.18 cores=1,3
/proc/83438/task/83532/stat : 83532 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 140905 0 0 0 7089 29 0 0 20 0 3 0 74448914 3116240896 649103 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
[pid=83438/tid=83533] ppid=83435 vsize=3043204 memory=2567552 CPUtime=71.08 cores=1,3
/proc/83438/task/83533/stat : 83533 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 256427 0 0 0 7032 76 0 0 20 0 3 0 74448914 3116240896 649103 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
Current children cumulated CPU time: 173.73 s
Current children cumulated vsize: 3043204 KiB
Current children cumulated memory: 2596412 KiB
[startup+162.3 s]
/proc/loadavg: 8.03 7.95 7.60 9/257 83540
/proc/meminfo: memFree=124337432/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=3043204 memory=2601108 CPUtime=292.88 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) S 83435 83438 82985 0 -1 4194304 1470830 0 0 0 28823 465 0 0 20 0 3 0 74445947 3116240896 650277 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 760801 650277 2144 2102 0 721553 0
[pid=83438/tid=83532] ppid=83435 vsize=3043204 memory=2586772 CPUtime=130.96 cores=1,3
/proc/83438/task/83532/stat : 83532 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 184885 0 0 0 12999 97 0 0 20 0 3 0 74448914 3116240896 650277 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
[pid=83438/tid=83533] ppid=83435 vsize=3043204 memory=2586772 CPUtime=130.45 cores=1,3
/proc/83438/task/83533/stat : 83533 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 1025802 0 0 0 12735 310 0 0 20 0 3 0 74448914 3116240896 650277 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
Current children cumulated CPU time: 292.88 s
Current children cumulated vsize: 3043204 KiB
Current children cumulated memory: 2601108 KiB
[startup+222.3 s]
/proc/loadavg: 8.09 8.00 7.64 9/257 83543
/proc/meminfo: memFree=124354980/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=3043204 memory=2616652 CPUtime=412.06 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) S 83435 83438 82985 0 -1 4194304 1855303 0 0 0 40563 643 0 0 20 0 3 0 74445947 3116240896 654163 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 760801 654163 2144 2102 0 725821 0
[pid=83438/tid=83532] ppid=83435 vsize=3043204 memory=2586772 CPUtime=190.32 cores=1,3
/proc/83438/task/83532/stat : 83532 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 234054 0 0 0 18857 175 0 0 20 0 3 0 74448914 3116240896 654163 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
[pid=83438/tid=83533] ppid=83435 vsize=3043204 memory=16248 CPUtime=190.25 cores=1,3
/proc/83438/task/83533/stat : 83533 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 1361053 0 0 0 18616 409 0 0 20 0 3 0 74448914 3116240896 654163 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
Current children cumulated CPU time: 412.06 s
Current children cumulated vsize: 3043204 KiB
Current children cumulated memory: 2616652 KiB
[startup+282.3 s]
/proc/loadavg: 8.14 8.02 7.67 9/258 83550
/proc/meminfo: memFree=124255884/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=3096160 memory=2670108 CPUtime=531.28 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) S 83435 83438 82985 0 -1 4194304 1998982 0 0 0 52435 693 0 0 20 0 3 0 74445947 3170467840 667527 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 774040 667527 2144 2102 0 739005 0
[pid=83438/tid=83532] ppid=83435 vsize=3096160 memory=2677728 CPUtime=249.76 cores=1,3
/proc/83438/task/83532/stat : 83532 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 350050 0 0 0 24756 220 0 0 20 0 3 0 74448914 3170467840 667527 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
[pid=83438/tid=83533] ppid=83435 vsize=3096160 memory=10496 CPUtime=247.76 cores=1,3
/proc/83438/task/83533/stat : 83533 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 1361441 0 0 0 24365 411 0 0 20 0 3 0 74448914 3170467840 667527 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
Current children cumulated CPU time: 531.28 s
Current children cumulated vsize: 3096160 KiB
Current children cumulated memory: 2670108 KiB
[startup+342.3 s]
/proc/loadavg: 8.11 8.03 7.70 9/258 83552
/proc/meminfo: memFree=123921376/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=3358304 memory=2886916 CPUtime=650.51 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) S 83435 83438 82985 0 -1 4194304 2083202 0 0 0 64335 716 0 0 20 0 3 0 74445947 3438903296 721729 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
################
# More data... #
################
/proc/83438/statm: 1413016 1309724 2144 2102 0 1380476 0
[pid=83438/tid=83532] ppid=83435 vsize=5652064 memory=5175120 CPUtime=1260.25 cores=1,3
/proc/83438/task/83532/stat : 83532 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 947306 0 0 0 125707 318 0 0 20 0 3 0 74448914 5787713536 1309724 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
[pid=83438/tid=83533] ppid=83435 vsize=5652064 memory=5175120 CPUtime=1261.56 cores=1,3
/proc/83438/task/83533/stat : 83533 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 3477512 0 0 0 125367 789 0 0 20 0 3 0 74448914 5787713536 1309724 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
Current children cumulated CPU time: 2558.06 s
Current children cumulated vsize: 5652064 KiB
Current children cumulated memory: 5238896 KiB
[startup+1362.3 s]
/proc/loadavg: 8.34 8.14 8.00 9/259 83690
/proc/meminfo: memFree=119939044/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=5783136 memory=5359560 CPUtime=2677.29 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) S 83435 83438 82985 0 -1 4194304 4930119 0 0 0 266525 1204 0 0 20 0 3 0 74445947 5921931264 1339890 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 1445784 1339890 2144 2102 0 1410642 0
[pid=83438/tid=83532] ppid=83435 vsize=5783136 memory=5175120 CPUtime=1319.59 cores=1,3
/proc/83438/task/83532/stat : 83532 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 969999 0 0 0 131640 319 0 0 20 0 3 0 74448914 5921931264 1339890 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
[pid=83438/tid=83533] ppid=83435 vsize=5783136 memory=5359560 CPUtime=1321.28 cores=1,3
/proc/83438/task/83533/stat : 83533 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 3579434 0 0 0 131319 809 0 0 20 0 3 0 74448914 5921931264 1339890 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
Current children cumulated CPU time: 2677.29 s
Current children cumulated vsize: 5783136 KiB
Current children cumulated memory: 5359560 KiB
[startup+1422.3 s]
/proc/loadavg: 8.18 8.13 8.00 9/259 83692
/proc/meminfo: memFree=119653880/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=5979744 memory=5543920 CPUtime=2796.51 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) S 83435 83438 82985 0 -1 4194304 5090455 0 0 0 278421 1230 0 0 20 0 3 0 74445947 6123257856 1385980 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 1494936 1385980 2144 2102 0 1456732 0
[pid=83438/tid=83532] ppid=83435 vsize=5979744 memory=16248 CPUtime=1378.98 cores=1,3
/proc/83438/task/83532/stat : 83532 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 1019563 0 0 0 137575 323 0 0 20 0 3 0 74448914 6123257856 1385980 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
[pid=83438/tid=83533] ppid=83435 vsize=5979744 memory=5514664 CPUtime=1381.11 cores=1,3
/proc/83438/task/83533/stat : 83533 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 3690196 0 0 0 137280 831 0 0 20 0 3 0 74448914 6123257856 1385980 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
Current children cumulated CPU time: 2796.51 s
Current children cumulated vsize: 5979744 KiB
Current children cumulated memory: 5543920 KiB
[startup+1482.3 s]
/proc/loadavg: 8.14 8.12 8.00 9/258 83694
/proc/meminfo: memFree=119495040/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=6045280 memory=5635720 CPUtime=2915.75 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) S 83435 83438 82985 0 -1 4194304 5305418 0 0 0 290319 1256 0 0 20 0 3 0 74445947 6190366720 1408930 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 1511320 1408930 2144 2102 0 1479682 0
[pid=83438/tid=83532] ppid=83435 vsize=6045280 memory=16248 CPUtime=1438.36 cores=1,3
/proc/83438/task/83532/stat : 83532 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 1043715 0 0 0 143511 325 0 0 20 0 3 0 74448914 6190366720 1408930 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
[pid=83438/tid=83533] ppid=83435 vsize=6045280 memory=5618036 CPUtime=1440.94 cores=1,3
/proc/83438/task/83533/stat : 83533 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 3880990 0 0 0 143240 854 0 0 20 0 3 0 74448914 6190366720 1408930 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
Current children cumulated CPU time: 2915.75 s
Current children cumulated vsize: 6045280 KiB
Current children cumulated memory: 5635720 KiB
[startup+1542.3 s]
/proc/loadavg: 8.11 8.11 8.00 9/258 83700
/proc/meminfo: memFree=119457352/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=6347084 memory=5829396 CPUtime=3034.97 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) S 83435 83438 82985 0 -1 4194304 5523835 0 0 0 302214 1283 0 0 20 0 3 0 74445947 6499414016 1457349 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 1586771 1457349 2144 2102 0 1551653 0
[pid=83438/tid=83532] ppid=83435 vsize=6347084 memory=5813012 CPUtime=1497.76 cores=1,3
/proc/83438/task/83532/stat : 83532 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 1057288 0 0 0 149449 327 0 0 20 0 3 0 74448914 6499414016 1457349 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
[pid=83438/tid=83533] ppid=83435 vsize=6347084 memory=16248 CPUtime=1500.77 cores=1,3
/proc/83438/task/83533/stat : 83533 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 4085814 0 0 0 149197 880 0 0 20 0 3 0 74448914 6499414016 1457349 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
Current children cumulated CPU time: 3034.97 s
Current children cumulated vsize: 6347084 KiB
Current children cumulated memory: 5829396 KiB
[startup+1602.3 s]
/proc/loadavg: 8.08 8.10 8.00 9/257 83702
/proc/meminfo: memFree=119344340/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=6307424 memory=5853760 CPUtime=3154.2 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) S 83435 83438 82985 0 -1 4194304 5794155 0 0 0 314107 1313 0 0 20 0 3 0 74445947 6458802176 1463440 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 1576856 1463440 2144 2102 0 1534192 0
[pid=83438/tid=83532] ppid=83435 vsize=6307424 memory=5829396 CPUtime=1557.12 cores=1,3
/proc/83438/task/83532/stat : 83532 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 1066360 0 0 0 155384 328 0 0 20 0 3 0 74448914 6458802176 1463440 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
[pid=83438/tid=83533] ppid=83435 vsize=6307424 memory=5853760 CPUtime=1560.47 cores=1,3
/proc/83438/task/83533/stat : 83533 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 4328729 0 0 0 155141 906 0 0 20 0 3 0 74448914 6458802176 1463440 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
Current children cumulated CPU time: 3154.2 s
Current children cumulated vsize: 6307424 KiB
Current children cumulated memory: 5853760 KiB
[startup+1662.3 s]
/proc/loadavg: 8.06 8.10 8.00 9/257 83704
/proc/meminfo: memFree=119203944/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=6477516 memory=5922696 CPUtime=3273.4 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) S 83435 83438 82985 0 -1 4194304 5993925 0 0 0 325998 1342 0 0 20 0 3 0 74445947 6632976384 1480674 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 1619379 1480674 2144 2102 0 1578562 0
[pid=83438/tid=83532] ppid=83435 vsize=6477516 memory=5829396 CPUtime=1616.51 cores=1,3
/proc/83438/task/83532/stat : 83532 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 1077678 0 0 0 161321 330 0 0 20 0 3 0 74448914 6632976384 1480674 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
[pid=83438/tid=83533] ppid=83435 vsize=6477516 memory=18304 CPUtime=1620.27 cores=1,3
/proc/83438/task/83533/stat : 83533 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 4517162 0 0 0 161094 933 0 0 20 0 3 0 74448914 6632976384 1480674 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
Current children cumulated CPU time: 3273.4 s
Current children cumulated vsize: 6477516 KiB
Current children cumulated memory: 5922696 KiB
[startup+1722.3 s]
/proc/loadavg: 8.00 8.06 8.00 9/257 83753
/proc/meminfo: memFree=118520612/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=6307424 memory=5867748 CPUtime=3392.46 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) S 83435 83438 82985 0 -1 4194304 6215597 0 0 0 337877 1369 0 0 20 0 3 0 74445947 6458802176 1466937 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 1576856 1466937 2144 2102 0 1537689 0
[pid=83438/tid=83532] ppid=83435 vsize=6307424 memory=5829396 CPUtime=1675.8 cores=1,3
/proc/83438/task/83532/stat : 83532 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 1085389 0 0 0 167247 333 0 0 20 0 3 0 74448914 6458802176 1466937 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
[pid=83438/tid=83533] ppid=83435 vsize=6307424 memory=16248 CPUtime=1680.04 cores=1,3
/proc/83438/task/83533/stat : 83533 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 4731103 0 0 0 167047 957 0 0 20 0 3 0 74448914 6458802176 1466937 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
Current children cumulated CPU time: 3392.46 s
Current children cumulated vsize: 6307424 KiB
Current children cumulated memory: 5867748 KiB
[startup+1782.3 s]
/proc/loadavg: 8.17 8.10 8.01 9/257 83755
/proc/meminfo: memFree=118244848/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=6383284 memory=5943608 CPUtime=3511.53 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) S 83435 83438 82985 0 -1 4194304 6410912 0 0 0 349762 1391 0 0 20 0 3 0 74445947 6536482816 1485902 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 1595821 1485902 2144 2102 0 1556654 0
[pid=83438/tid=83532] ppid=83435 vsize=6383284 memory=5867748 CPUtime=1735.08 cores=1,3
/proc/83438/task/83532/stat : 83532 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 1096316 0 0 0 173173 335 0 0 20 0 3 0 74448914 6536482816 1485902 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
[pid=83438/tid=83533] ppid=83435 vsize=6383284 memory=5867748 CPUtime=1739.8 cores=1,3
/proc/83438/task/83533/stat : 83533 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 4915480 0 0 0 173004 976 0 0 20 0 3 0 74448914 6536482816 1485902 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
Current children cumulated CPU time: 3511.53 s
Current children cumulated vsize: 6383284 KiB
Current children cumulated memory: 5943608 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1826.9 s]
/proc/loadavg: 8.20 8.11 8.02 9/258 83760
/proc/meminfo: memFree=118138812/131382120 swapFree=33010160/33010684
[pid=83438] ppid=83435 vsize=6307424 memory=5877172 CPUtime=3600.05 cores=1,3
/proc/83438/stat : 83438 (cp-sat-runner) S 83435 83438 82985 0 -1 4194304 6672770 0 0 0 358585 1420 0 0 20 0 3 0 74445947 6458802176 1469293 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
/proc/83438/statm: 1576856 1469293 2144 2102 0 1540045 0
[pid=83438/tid=83532] ppid=83435 vsize=6307424 memory=5868824 CPUtime=1779.13 cores=1,3
/proc/83438/task/83532/stat : 83532 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 1104856 0 0 0 177577 336 0 0 20 0 3 0 74448914 6458802176 1469293 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
[pid=83438/tid=83533] ppid=83435 vsize=6307424 memory=18304 CPUtime=1783.99 cores=1,3
/proc/83438/task/83533/stat : 83533 (cp-sat-runner) R 83435 83438 82985 0 -1 4194368 5168781 0 0 0 177396 1003 0 0 20 0 3 0 74448914 6458802176 1469293 18446744073709551615 4198400 12805993 140736377357424 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31576064 140736377362712 140736377362917 140736377362917 140736377368519 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 6307424 KiB
Current children cumulated memory: 5877172 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1827.03 s]
# the end of solver process 83438 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.86 s, system=14.3314 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1827 s]*
/proc/loadavg: 8.20 8.11 8.02 8/257 83760
/proc/meminfo: memFree=122252604/131382120 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1827.03
CPU time (s): 3600.19
CPU user time (s): 3585.86
CPU system time (s): 14.3314
CPU usage (%): 197.051
Max. virtual memory (cumulated for all children) (KiB): 6477944
Max. memory (cumulated for all children) (KiB): 6038268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.86
system time used= 14.3314
maximum resident set size= 6038268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6672773
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= 22910
involuntary context switches= 128970
# summary of solver processes directly reported to runsolver:
# pid: 83438
# total CPU time (s): 3600.19
# total CPU user time (s): 3585.86
# total CPU system time (s): 14.3314
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.14924 second user time and 7.97584 second system time
The end
Begin job on nodeC008 at 2025-07-04 02:07:48
IDJOB=4522386
IDBENCH=178803
IDSOLVER=3320
FILE ID=nodeC008/4522386-1751587668
RUNJOBID= nodeC008-1751585836-82997
SLURM_JOB_ID= 9598832
Free space on /tmp= 432672 MiB
SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-bab3.opb
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 --file-size-limit 102400 -w /tmp/evaluation-result-4522386-1751587668/watcher-4522386-1751587668 -o /tmp/evaluation-result-4522386-1751587668/solver-4522386-1751587668 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751585836-82997 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1925521548 --competition_mode --input HOME/instance-4522386-1751587668.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5650d49d55a36e62ab842bae231a0f3b
RANDOM SEED=1925521548
nodeC008 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 : 0xb00001f
cpu MHz : 3591.638
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1796.357
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3491.840
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.213
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3591.600
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3591.634
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3591.630
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3591.630
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 124470804 kB
MemAvailable: 124690956 kB
Buffers: 2128 kB
Cached: 1014716 kB
SwapCached: 16 kB
Active: 5834228 kB
Inactive: 495864 kB
Active(anon): 5294768 kB
Inactive(anon): 36400 kB
Active(file): 539460 kB
Inactive(file): 459464 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 76080 kB
Writeback: 4 kB
AnonPages: 5316372 kB
Mapped: 129876 kB
Shmem: 17920 kB
KReclaimable: 121708 kB
Slab: 206544 kB
SReclaimable: 121708 kB
SUnreclaim: 84836 kB
KernelStack: 4112 kB
PageTables: 13524 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 5927336 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2127872 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432664 MiB
End job on nodeC008 at 2025-07-04 02:38:16