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 (45789 MiB free)
memory of node 1: 64465 MiB (62440 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515114-1751223888/watcher-4515114-1751223888 -o /tmp/evaluation-result-4515114-1751223888/solver-4515114-1751223888 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751219748-30468 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:801998398 --competition_mode --input HOME/instance-4515114-1751223888.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31955, runsolver pid=31952
[startup+0.100073 s]*
/proc/loadavg: 8.12 8.01 7.97 8/256 31956
/proc/meminfo: memFree=110827372/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=15964 memory=12920 CPUtime=0.1 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) R 31952 31955 30453 0 -1 4194304 1727 0 0 0 10 0 0 0 20 0 1 0 38067982 16347136 3230 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 3991 3230 1856 2102 0 1531 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15964 KiB
Current children cumulated memory: 12920 KiB
[startup+0.211006 s]*
/proc/loadavg: 8.12 8.01 7.97 8/256 31956
/proc/meminfo: memFree=110827372/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=16740 memory=13816 CPUtime=0.21 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) R 31952 31955 30453 0 -1 4194304 1926 0 0 0 21 0 0 0 20 0 1 0 38067982 17141760 3454 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 4185 3454 1888 2102 0 1725 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 16740 KiB
Current children cumulated memory: 13816 KiB
[startup+0.310778 s]*
/proc/loadavg: 8.12 8.01 7.97 9/258 31958
/proc/meminfo: memFree=110827372/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=164688 memory=16432 CPUtime=0.3 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) S 31952 31955 30453 0 -1 4194304 2601 0 0 0 29 1 0 0 20 0 3 0 38067982 168640512 4108 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 41172 4108 1920 2102 0 6464 0
[pid=31955/tid=31957] ppid=31952 vsize=164688 memory=-8183432475050284994 CPUtime=0.01 cores=0,2
/proc/31955/task/31957/stat : 31957 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 356 0 0 0 1 0 0 0 20 0 3 0 38068012 168640512 4108 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
[pid=31955/tid=31958] ppid=31952 vsize=164688 memory=0 CPUtime=0 cores=0,2
/proc/31955/task/31958/stat : 31958 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 104 0 0 0 0 0 0 0 20 0 3 0 38068012 168640512 4108 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 16432 KiB
[startup+0.700332 s]
/proc/loadavg: 8.12 8.01 7.97 9/258 31958
/proc/meminfo: memFree=110827372/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=164688 memory=22532 CPUtime=1.02 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) S 31952 31955 30453 0 -1 4194304 3944 0 0 0 101 1 0 0 20 0 3 0 38067982 168640512 5633 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 41172 5633 2176 2102 0 7723 0
[pid=31955/tid=31957] ppid=31952 vsize=164688 memory=17408 CPUtime=0.35 cores=0,2
/proc/31955/task/31957/stat : 31957 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 1101 0 0 0 35 0 0 0 20 0 3 0 38068012 168640512 5633 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
[pid=31955/tid=31958] ppid=31952 vsize=164688 memory=39484523 CPUtime=0.37 cores=0,2
/proc/31955/task/31958/stat : 31958 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 702 0 0 0 37 0 0 0 20 0 3 0 38068012 168640512 5633 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 22532 KiB
[startup+1.50029 s]
/proc/loadavg: 8.12 8.01 7.97 9/258 31958
/proc/meminfo: memFree=110827880/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=164688 memory=32260 CPUtime=2.6 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) S 31952 31955 30453 0 -1 4194304 8824 0 0 0 258 2 0 0 20 0 3 0 38067982 168640512 8065 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 41172 8065 2176 2102 0 10224 0
[pid=31955/tid=31957] ppid=31952 vsize=164688 memory=39484523 CPUtime=1.14 cores=0,2
/proc/31955/task/31957/stat : 31957 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 1760 0 0 0 114 0 0 0 20 0 3 0 38068012 168640512 8065 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
[pid=31955/tid=31958] ppid=31952 vsize=164688 memory=0 CPUtime=1.16 cores=0,2
/proc/31955/task/31958/stat : 31958 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 4898 0 0 0 115 1 0 0 20 0 3 0 38068012 168640512 8065 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 32260 KiB
[startup+3.10552 s]
/proc/loadavg: 8.11 8.01 7.97 9/258 31958
/proc/meminfo: memFree=110820572/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=164688 memory=32772 CPUtime=5.79 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) S 31952 31955 30453 0 -1 4194304 10111 0 0 0 577 2 0 0 20 0 3 0 38067982 168640512 8193 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 41172 8193 2176 2102 0 10407 0
[pid=31955/tid=31957] ppid=31952 vsize=164688 memory=0 CPUtime=2.72 cores=0,2
/proc/31955/task/31957/stat : 31957 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 2720 0 0 0 272 0 0 0 20 0 3 0 38068012 168640512 8193 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
[pid=31955/tid=31958] ppid=31952 vsize=164688 memory=14340 CPUtime=2.76 cores=0,2
/proc/31955/task/31958/stat : 31958 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 5217 0 0 0 275 1 0 0 20 0 3 0 38068012 168640512 8193 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
Current children cumulated CPU time: 5.79 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 32772 KiB
[startup+6.30024 s]
/proc/loadavg: 8.11 8.01 7.97 9/258 31958
/proc/meminfo: memFree=110820444/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=164688 memory=33540 CPUtime=12.13 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) S 31952 31955 30453 0 -1 4194304 17620 0 0 0 1210 3 0 0 20 0 3 0 38067982 168640512 8385 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 41172 8385 2176 2102 0 10595 0
[pid=31955/tid=31957] ppid=31952 vsize=164688 memory=14340 CPUtime=5.88 cores=0,2
/proc/31955/task/31957/stat : 31957 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 5438 0 0 0 588 0 0 0 20 0 3 0 38068012 168640512 8385 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
[pid=31955/tid=31958] ppid=31952 vsize=164688 memory=14340 CPUtime=5.94 cores=0,2
/proc/31955/task/31958/stat : 31958 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 9947 0 0 0 593 1 0 0 20 0 3 0 38068012 168640512 8385 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
Current children cumulated CPU time: 12.13 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 33540 KiB
[startup+12.7002 s]
/proc/loadavg: 8.16 8.03 7.98 9/258 31958
/proc/meminfo: memFree=110821848/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=164688 memory=34948 CPUtime=24.85 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) S 31952 31955 30453 0 -1 4194304 22415 0 0 0 2481 4 0 0 20 0 3 0 38067982 168640512 8737 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 41172 8737 2176 2102 0 10943 0
[pid=31955/tid=31957] ppid=31952 vsize=164688 memory=4760 CPUtime=12.22 cores=0,2
/proc/31955/task/31957/stat : 31957 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 7352 0 0 0 1221 1 0 0 20 0 3 0 38068012 168640512 8737 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
[pid=31955/tid=31958] ppid=31952 vsize=164688 memory=0 CPUtime=12.32 cores=0,2
/proc/31955/task/31958/stat : 31958 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 12801 0 0 0 1230 2 0 0 20 0 3 0 38068012 168640512 8737 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
Current children cumulated CPU time: 24.85 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 34948 KiB
[startup+25.5002 s]
/proc/loadavg: 8.14 8.03 7.98 9/258 31958
/proc/meminfo: memFree=110807376/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=164688 memory=38532 CPUtime=50.27 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) S 31952 31955 30453 0 -1 4194304 23386 0 0 0 5021 6 0 0 20 0 3 0 38067982 168640512 9633 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 41172 9633 2176 2102 0 11830 0
[pid=31955/tid=31957] ppid=31952 vsize=164688 memory=37764 CPUtime=24.88 cores=0,2
/proc/31955/task/31957/stat : 31957 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 8254 0 0 0 2486 2 0 0 20 0 3 0 38068012 168640512 9633 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
[pid=31955/tid=31958] ppid=31952 vsize=164688 memory=17408 CPUtime=25.07 cores=0,2
/proc/31955/task/31958/stat : 31958 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 12867 0 0 0 2505 2 0 0 20 0 3 0 38068012 168640512 9633 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
Current children cumulated CPU time: 50.27 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 38532 KiB
[startup+51.1054 s]
/proc/loadavg: 8.01 8.01 7.98 8/256 32006
/proc/meminfo: memFree=110815108/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=164688 memory=48772 CPUtime=101.12 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) S 31952 31955 30453 0 -1 4194304 37407 0 0 0 10101 11 0 0 20 0 3 0 38067982 168640512 12193 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 41172 12193 2176 2102 0 14348 0
[pid=31955/tid=31957] ppid=31952 vsize=164688 memory=43524 CPUtime=50.22 cores=0,2
/proc/31955/task/31957/stat : 31957 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 16966 0 0 0 5016 6 0 0 20 0 3 0 38068012 168640512 12193 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
[pid=31955/tid=31958] ppid=31952 vsize=164688 memory=46468 CPUtime=50.57 cores=0,2
/proc/31955/task/31958/stat : 31958 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 18098 0 0 0 5054 3 0 0 20 0 3 0 38068012 168640512 12193 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
Current children cumulated CPU time: 101.12 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 48772 KiB
[startup+102.3 s]
/proc/loadavg: 8.08 8.02 7.99 9/258 32009
/proc/meminfo: memFree=110097784/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=164688 memory=59268 CPUtime=202.82 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) S 31952 31955 30453 0 -1 4194304 55417 0 0 0 20263 19 0 0 20 0 3 0 38067982 168640512 14817 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 41172 14817 2176 2102 0 17002 0
[pid=31955/tid=31957] ppid=31952 vsize=164688 memory=14340 CPUtime=100.87 cores=0,2
/proc/31955/task/31957/stat : 31957 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 29522 0 0 0 10076 11 0 0 20 0 3 0 38068012 168640512 14817 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
[pid=31955/tid=31958] ppid=31952 vsize=164688 memory=59268 CPUtime=101.57 cores=0,2
/proc/31955/task/31958/stat : 31958 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 23462 0 0 0 10152 5 0 0 20 0 3 0 38068012 168640512 14817 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
Current children cumulated CPU time: 202.82 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 59268 KiB
[startup+120.198 s]
# the end of solver process 31955 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=238.13 s, system=0.230831 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 8.08 8.02 7.99 9/258 32009
/proc/meminfo: memFree=110097784/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=164688 memory=59268 CPUtime=203.01 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) S 31952 31955 30453 0 -1 4194304 55417 0 0 0 20282 19 0 0 20 0 3 0 38067982 168640512 14817 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 41172 14817 2176 2102 0 17002 0
[pid=31955/tid=31957] ppid=31952 vsize=164688 memory=14340 CPUtime=100.97 cores=0,2
/proc/31955/task/31957/stat : 31957 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 29522 0 0 0 10086 11 0 0 20 0 3 0 38068012 168640512 14817 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
[pid=31955/tid=31958] ppid=31952 vsize=164688 memory=11264 CPUtime=101.67 cores=0,2
/proc/31955/task/31958/stat : 31958 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 23462 0 0 0 10162 5 0 0 20 0 3 0 38068012 168640512 14817 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
Current children cumulated CPU time: 203.01 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 59268 KiB
[startup+108.8 s]
/proc/loadavg: 8.07 8.02 7.99 9/258 32010
/proc/meminfo: memFree=110063160/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=164688 memory=60932 CPUtime=215.72 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) S 31952 31955 30453 0 -1 4194304 55867 0 0 0 21553 19 0 0 20 0 3 0 38067982 168640512 15233 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 41172 15233 2176 2102 0 17445 0
[pid=31955/tid=31957] ppid=31952 vsize=164688 memory=59268 CPUtime=107.3 cores=0,2
/proc/31955/task/31957/stat : 31957 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 29956 0 0 0 10718 12 0 0 20 0 3 0 38068012 168640512 15233 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
[pid=31955/tid=31958] ppid=31952 vsize=164688 memory=5632 CPUtime=108.06 cores=0,2
/proc/31955/task/31958/stat : 31958 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 23478 0 0 0 10800 6 0 0 20 0 3 0 38068012 168640512 15233 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
Current children cumulated CPU time: 215.72 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 60932 KiB
[startup+115.2 s]
/proc/loadavg: 8.06 8.02 7.99 9/258 32010
/proc/meminfo: memFree=110049804/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=164688 memory=64516 CPUtime=228.43 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) S 31952 31955 30453 0 -1 4194304 56779 0 0 0 22821 22 0 0 20 0 3 0 38067982 168640512 16129 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 41172 16129 2176 2102 0 18382 0
[pid=31955/tid=31957] ppid=31952 vsize=164688 memory=4252 CPUtime=113.63 cores=0,2
/proc/31955/task/31957/stat : 31957 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 30853 0 0 0 11349 14 0 0 20 0 3 0 38068012 168640512 16129 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
[pid=31955/tid=31958] ppid=31952 vsize=164688 memory=5632 CPUtime=114.44 cores=0,2
/proc/31955/task/31958/stat : 31958 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 23493 0 0 0 11438 6 0 0 20 0 3 0 38068012 168640512 16129 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
Current children cumulated CPU time: 228.43 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 64516 KiB
[startup+118.4 s]
/proc/loadavg: 8.06 8.02 7.99 9/258 32010
/proc/meminfo: memFree=110033680/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=164688 memory=65668 CPUtime=234.79 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) S 31952 31955 30453 0 -1 4194304 59698 0 0 0 23457 22 0 0 20 0 3 0 38067982 168640512 16417 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 41172 16417 2176 2102 0 18760 0
[pid=31955/tid=31957] ppid=31952 vsize=164688 memory=4252 CPUtime=116.8 cores=0,2
/proc/31955/task/31957/stat : 31957 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 31156 0 0 0 11666 14 0 0 20 0 3 0 38068012 168640512 16417 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
[pid=31955/tid=31958] ppid=31952 vsize=164688 memory=0 CPUtime=117.62 cores=0,2
/proc/31955/task/31958/stat : 31958 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 26080 0 0 0 11756 6 0 0 20 0 3 0 38068012 168640512 16417 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
Current children cumulated CPU time: 234.79 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 65668 KiB
[startup+119.2 s]
/proc/loadavg: 8.06 8.02 7.99 9/258 32010
/proc/meminfo: memFree=110033680/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=164688 memory=65668 CPUtime=236.38 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) S 31952 31955 30453 0 -1 4194304 59704 0 0 0 23616 22 0 0 20 0 3 0 38067982 168640512 16417 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 41172 16417 2176 2102 0 18760 0
[pid=31955/tid=31957] ppid=31952 vsize=164688 memory=17408 CPUtime=117.59 cores=0,2
/proc/31955/task/31957/stat : 31957 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 31156 0 0 0 11745 14 0 0 20 0 3 0 38068012 168640512 16417 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
[pid=31955/tid=31958] ppid=31952 vsize=164688 memory=65668 CPUtime=118.42 cores=0,2
/proc/31955/task/31958/stat : 31958 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 26086 0 0 0 11836 6 0 0 20 0 3 0 38068012 168640512 16417 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
Current children cumulated CPU time: 236.38 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 65668 KiB
[startup+119.6 s]
/proc/loadavg: 8.06 8.02 7.99 9/258 32010
/proc/meminfo: memFree=110033680/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=164688 memory=65668 CPUtime=237.17 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) S 31952 31955 30453 0 -1 4194304 59708 0 0 0 23695 22 0 0 20 0 3 0 38067982 168640512 16417 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 41172 16417 2176 2102 0 18760 0
[pid=31955/tid=31957] ppid=31952 vsize=164688 memory=17408 CPUtime=117.99 cores=0,2
/proc/31955/task/31957/stat : 31957 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 31156 0 0 0 11785 14 0 0 20 0 3 0 38068012 168640512 16417 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
[pid=31955/tid=31958] ppid=31952 vsize=164688 memory=5632 CPUtime=118.82 cores=0,2
/proc/31955/task/31958/stat : 31958 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 26090 0 0 0 11876 6 0 0 20 0 3 0 38068012 168640512 16417 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
Current children cumulated CPU time: 237.17 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 65668 KiB
[startup+120 s]*
/proc/loadavg: 8.06 8.02 7.99 9/258 32010
/proc/meminfo: memFree=110031924/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=164688 memory=65668 CPUtime=237.97 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) S 31952 31955 30453 0 -1 4194304 59708 0 0 0 23775 22 0 0 20 0 3 0 38067982 168640512 16417 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 41172 16417 2176 2102 0 18760 0
[pid=31955/tid=31957] ppid=31952 vsize=164688 memory=-8183432496676050887 CPUtime=118.39 cores=0,2
/proc/31955/task/31957/stat : 31957 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 31156 0 0 0 11825 14 0 0 20 0 3 0 38068012 168640512 16417 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
[pid=31955/tid=31958] ppid=31952 vsize=164688 memory=2432 CPUtime=119.22 cores=0,2
/proc/31955/task/31958/stat : 31958 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 26090 0 0 0 11916 6 0 0 20 0 3 0 38068012 168640512 16417 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
Current children cumulated CPU time: 237.97 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 65668 KiB
[startup+120.106 s]
/proc/loadavg: 8.06 8.02 7.99 9/258 32010
/proc/meminfo: memFree=110031924/131382112 swapFree=33010684/33010684
[pid=31955] ppid=31952 vsize=164688 memory=65668 CPUtime=238.17 cores=0,2
/proc/31955/stat : 31955 (cp-sat-runner) S 31952 31955 30453 0 -1 4194304 59709 0 0 0 23795 22 0 0 20 0 3 0 38067982 168640512 16417 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
/proc/31955/statm: 41172 16417 2176 2102 0 18760 0
[pid=31955/tid=31957] ppid=31952 vsize=164688 memory=14340 CPUtime=118.49 cores=0,2
/proc/31955/task/31957/stat : 31957 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 31156 0 0 0 11835 14 0 0 20 0 3 0 38068012 168640512 16417 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
[pid=31955/tid=31958] ppid=31952 vsize=164688 memory=14340 CPUtime=119.32 cores=0,2
/proc/31955/task/31958/stat : 31958 (cp-sat-runner) R 31952 31955 30453 0 -1 4194368 26091 0 0 0 11926 6 0 0 20 0 3 0 38068012 168640512 16417 18446744073709551615 4198400 12805993 140723823302752 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 25300992 140723823307033 140723823307237 140723823307237 140723823312839 0
Current children cumulated CPU time: 238.17 s
Current children cumulated vsize: 164688 KiB
Current children cumulated memory: 65668 KiB
Child status: 10
Real time (s): 120.198
CPU time (s): 238.361
CPU user time (s): 238.13
CPU system time (s): 0.230831
CPU usage (%): 198.308
Max. virtual memory (cumulated for all children) (KiB): 164688
Max. memory (cumulated for all children) (KiB): 65668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 238.13
system time used= 0.230831
maximum resident set size= 65668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60621
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= 4021
involuntary context switches= 9229
# summary of solver processes directly reported to runsolver:
# pid: 31955
# total CPU time (s): 238.361
# total CPU user time (s): 238.13
# total CPU system time (s): 0.230831
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.285099 second user time and 0.606204 second system time
The end
Begin job on nodeC007 at 2025-06-29 21:04:48
IDJOB=4515114
IDBENCH=164171
IDSOLVER=3320
FILE ID=nodeC007/4515114-1751223888
RUNJOBID= nodeC007-1751219748-30468
SLURM_JOB_ID= 9587673
Free space on /tmp= 432544 MiB
SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-cvs16r70-62.0.s.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-4515114-1751223888/watcher-4515114-1751223888 -o /tmp/evaluation-result-4515114-1751223888/solver-4515114-1751223888 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751219748-30468 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:801998398 --competition_mode --input HOME/instance-4515114-1751223888.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e99b38fa81d8e2d96927a91dd0f6056
RANDOM SEED=801998398
nodeC007 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 : 3491.928
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.68
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 : 3591.611
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.68
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.816
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.68
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 : 3591.526
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.68
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 : 3542.794
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.68
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.599
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.68
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.892
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.68
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.602
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.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 110827248 kB
MemAvailable: 111298852 kB
Buffers: 3280 kB
Cached: 1281348 kB
SwapCached: 0 kB
Active: 18818744 kB
Inactive: 1036016 kB
Active(anon): 18588092 kB
Inactive(anon): 0 kB
Active(file): 230652 kB
Inactive(file): 1036016 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 12636 kB
Writeback: 0 kB
AnonPages: 18571504 kB
Mapped: 128812 kB
Shmem: 17960 kB
KReclaimable: 89128 kB
Slab: 171220 kB
SReclaimable: 89128 kB
SUnreclaim: 82092 kB
KernelStack: 4156 kB
PageTables: 40400 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 21249992 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149560 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 9576448 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432532 MiB
End job on nodeC007 at 2025-06-29 21:06:49