10.30/10.32 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
10.30/10.32 c numVar: 2480
10.30/10.32 c numCon: 3681
10.30/10.32 c numEqual: 1280
10.30/10.32 c intSize: 41
10.30/10.32 c ls_time: 10.0, mip_time: 1074.0, exact_time: 2506.0
10.30/10.32 c ------------------- Paras list -------------------
10.30/10.32 c Name Type Now Default Comment
10.30/10.32 c timeout double 3600.000000 3600
10.30/10.32 c mip_time double 0.300000 0.5
10.30/10.32 c ls_time double 10.000000 10
10.30/10.32 c safe_mode int 2 2 1 trust; 2 feasible
10.30/10.32 c mip_emphasis int 5 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
10.30/10.32 c random_seed int 0 0
10.30/10.32 c sample_size int 50 50
10.30/10.32 c sub_score int 1 1
10.30/10.32 c tabu_base int 3 3
10.30/10.32 c tabu_variation int 1 1
10.30/10.32 c sub_div int 4 4
10.30/10.32 c nbcore int 2 1
10.30/10.32 c memlimit int 31000 31744 memory limit in megabytes
10.30/10.32 c print_sol int 1 1
10.30/10.32 c tmpdir string . "."
10.30/10.32 c home string HOME "."
10.30/10.32 c benchname string HOME/instance-4541792-1753202006.opb ""
10.30/10.32 c --------------------------------------------------
10.30/10.32 c Local Search solver
10.30/10.32 c MIP solver
10.30/10.32 c Branch and Bound solver find optimal solution
10.30/10.32 c failed: constraint #12 not satisfied. calculated value: 0, constant: 1, >=
10.30/10.32 c MIP solver objective value: 0
10.30/10.32 c failed: constraint #12 not satisfied. calculated value: 0, constant: 1, >=
10.30/10.32 c use Exact solver
2500.97/2508.92 s UNKNOWN
2500.97/2508.92 c Total time: 2508
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 (62524 MiB free)
memory of node 1: 64465 MiB (63114 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541792-1753202006/watcher-4541792-1753202006 -o /tmp/evaluation-result-4541792-1753202006/solver-4541792-1753202006 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1753198970-164298 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4541792-1753202006.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=164692, runsolver pid=164689
[startup+0.1001 s]*
/proc/loadavg: 4.30 4.20 4.02 6/254 164693
/proc/meminfo: memFree=128653440/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=42732 memory=8320 CPUtime=0.1 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) R 164689 164692 164278 0 -1 4194304 1051 0 0 0 10 0 0 0 20 0 1 0 235879753 43757568 2080 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 10683 2080 1184 6655 0 918 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42732 KiB
Current children cumulated memory: 8320 KiB
[startup+0.213137 s]*
/proc/loadavg: 4.30 4.20 4.02 6/254 164693
/proc/meminfo: memFree=128653440/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=42732 memory=8320 CPUtime=0.21 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) R 164689 164692 164278 0 -1 4194304 1051 0 0 0 21 0 0 0 20 0 1 0 235879753 43757568 2080 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 10683 2080 1184 6655 0 918 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42732 KiB
Current children cumulated memory: 8320 KiB
[startup+0.312793 s]*
/proc/loadavg: 4.30 4.20 4.02 6/254 164693
/proc/meminfo: memFree=128653440/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=42732 memory=8320 CPUtime=0.31 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) R 164689 164692 164278 0 -1 4194304 1051 0 0 0 31 0 0 0 20 0 1 0 235879753 43757568 2080 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 10683 2080 1184 6655 0 918 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42732 KiB
Current children cumulated memory: 8320 KiB
[startup+0.700254 s]
/proc/loadavg: 4.30 4.20 4.02 6/254 164693
/proc/meminfo: memFree=128653440/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=42732 memory=8320 CPUtime=0.69 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) R 164689 164692 164278 0 -1 4194304 1051 0 0 0 69 0 0 0 20 0 1 0 235879753 43757568 2080 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 10683 2080 1184 6655 0 918 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42732 KiB
Current children cumulated memory: 8320 KiB
[startup+1.50028 s]
/proc/loadavg: 4.30 4.20 4.02 6/254 164693
/proc/meminfo: memFree=128655384/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=42732 memory=8320 CPUtime=1.49 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) R 164689 164692 164278 0 -1 4194304 1052 0 0 0 149 0 0 0 20 0 1 0 235879753 43757568 2080 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 10683 2080 1184 6655 0 918 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42732 KiB
Current children cumulated memory: 8320 KiB
[startup+3.11246 s]
/proc/loadavg: 4.30 4.20 4.02 6/254 164693
/proc/meminfo: memFree=128655564/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=42732 memory=8320 CPUtime=3.09 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) R 164689 164692 164278 0 -1 4194304 1052 0 0 0 309 0 0 0 20 0 1 0 235879753 43757568 2080 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 10683 2080 1184 6655 0 918 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 42732 KiB
Current children cumulated memory: 8320 KiB
[startup+6.30026 s]
/proc/loadavg: 4.44 4.23 4.04 6/254 164693
/proc/meminfo: memFree=128647140/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=42732 memory=8320 CPUtime=6.28 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) R 164689 164692 164278 0 -1 4194304 1052 0 0 0 628 0 0 0 20 0 1 0 235879753 43757568 2080 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 10683 2080 1184 6655 0 918 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 42732 KiB
Current children cumulated memory: 8320 KiB
[startup+12.7003 s]
/proc/loadavg: 4.48 4.24 4.04 6/256 164700
/proc/meminfo: memFree=128609968/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=34324 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 8581 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 8581 3456 6655 0 7536 0
[pid=164695] ppid=164692 vsize=38296 memory=22452 CPUtime=2.33 cores=5,7
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 3741 0 0 0 232 1 0 0 20 0 1 0 235880785 39215104 5613 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 9574 5613 1120 1011 0 8341 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 170100 KiB
Current children cumulated memory: 56776 KiB
[startup+25.5004 s]
/proc/loadavg: 4.82 4.33 4.07 7/256 164700
/proc/meminfo: memFree=128580716/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=34324 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 8581 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 8581 3456 6655 0 7536 0
[pid=164695] ppid=164692 vsize=43316 memory=35468 CPUtime=15.1 cores=5,7
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 4978 0 0 0 1504 6 0 0 20 0 1 0 235880785 44355584 8867 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 10829 8867 1120 1011 0 9596 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 175120 KiB
Current children cumulated memory: 69792 KiB
[startup+51.113 s]
/proc/loadavg: 5.30 4.48 4.13 7/256 164701
/proc/meminfo: memFree=128556288/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=34324 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 8581 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 8581 3456 6655 0 7536 0
[pid=164695] ppid=164692 vsize=46508 memory=38668 CPUtime=40.63 cores=5,7
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 5782 0 0 0 4049 14 0 0 20 0 1 0 235880785 47624192 9667 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 11627 9667 1120 1011 0 10394 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 178312 KiB
Current children cumulated memory: 72992 KiB
[startup+102.3 s]
/proc/loadavg: 5.77 4.73 4.24 7/256 164703
/proc/meminfo: memFree=128526608/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=34324 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 8581 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 8581 3456 6655 0 7536 0
[pid=164695] ppid=164692 vsize=49764 memory=41996 CPUtime=91.67 cores=5,7
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 6632 0 0 0 9139 28 0 0 20 0 1 0 235880785 50958336 10499 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 12441 10499 1120 1011 0 11208 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 181568 KiB
Current children cumulated memory: 76320 KiB
[startup+162.3 s]
/proc/loadavg: 5.97 4.98 4.35 7/256 164705
/proc/meminfo: memFree=128464608/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=34324 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 8581 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 8581 3456 6655 0 7536 0
[pid=164695] ppid=164692 vsize=52764 memory=47536 CPUtime=151.48 cores=5,7
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 7510 0 0 0 15104 44 0 0 20 0 1 0 235880785 54030336 11884 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 13191 11884 1120 1011 0 11958 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 184568 KiB
Current children cumulated memory: 81860 KiB
[startup+222.3 s]
/proc/loadavg: 6.06 5.18 4.47 7/256 164707
/proc/meminfo: memFree=128395368/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=34708 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 8677 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 8677 3456 6655 0 7536 0
[pid=164695] ppid=164692 vsize=70640 memory=60384 CPUtime=211.32 cores=5,7
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 8897 0 0 0 21073 59 0 0 20 0 1 0 235880785 72335360 15096 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 17660 15096 1120 1011 0 16427 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 202444 KiB
Current children cumulated memory: 95092 KiB
[startup+282.3 s]
/proc/loadavg: 5.57 5.21 4.52 6/255 164709
/proc/meminfo: memFree=128381168/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=37524 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 9381 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 9381 3456 6655 0 7536 0
[pid=164695] ppid=164692 vsize=72004 memory=63200 CPUtime=271.13 cores=5,7
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 9266 0 0 0 27035 78 0 0 20 0 1 0 235880785 73732096 15800 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 18001 15800 1120 1011 0 16768 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 203808 KiB
Current children cumulated memory: 100724 KiB
[startup+342.3 s]
/proc/loadavg: 5.26 5.18 4.56 6/253 164712
/proc/meminfo: memFree=128339180/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=37524 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 9381 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 9381 3456 6655 0 7536 0
################
# More data... #
################
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 34855 0 0 0 224028 465 0 0 20 0 1 0 235880785 245084160 54762 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 59835 54762 1120 1011 0 58602 0
Current children cumulated CPU time: 2255.25 s
Current children cumulated vsize: 371144 KiB
Current children cumulated memory: 256572 KiB
[startup+2322.3 s]
/proc/loadavg: 4.04 4.13 4.17 5/253 164812
/proc/meminfo: memFree=127592180/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=37524 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 9381 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 9381 3456 6655 0 7536 0
[pid=164695] ppid=164692 vsize=239340 memory=219048 CPUtime=2304.71 cores=5,7
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 34892 0 0 0 229997 474 0 0 20 0 1 0 235880785 245084160 54762 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 59835 54762 1120 1011 0 58602 0
Current children cumulated CPU time: 2315.03 s
Current children cumulated vsize: 371144 KiB
Current children cumulated memory: 256572 KiB
[startup+2382.3 s]
/proc/loadavg: 4.11 4.13 4.17 5/253 164814
/proc/meminfo: memFree=127591988/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=37524 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 9381 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 9381 3456 6655 0 7536 0
[pid=164695] ppid=164692 vsize=239340 memory=219048 CPUtime=2364.48 cores=5,7
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 34931 0 0 0 235967 481 0 0 20 0 1 0 235880785 245084160 54762 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 59835 54762 1120 1011 0 58602 0
Current children cumulated CPU time: 2374.8 s
Current children cumulated vsize: 371144 KiB
Current children cumulated memory: 256572 KiB
[startup+2442.3 s]
/proc/loadavg: 4.09 4.12 4.17 5/254 164819
/proc/meminfo: memFree=127556920/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=37524 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 9381 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 9381 3456 6655 0 7536 0
[pid=164695] ppid=164692 vsize=244844 memory=229288 CPUtime=2424.26 cores=5,7
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 36178 0 0 0 241939 487 0 0 20 0 1 0 235880785 250720256 57322 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 61211 57322 1120 1011 0 59978 0
Current children cumulated CPU time: 2434.58 s
Current children cumulated vsize: 376648 KiB
Current children cumulated memory: 266812 KiB
[startup+2502.3 s]
/proc/loadavg: 4.14 4.13 4.17 5/254 164825
/proc/meminfo: memFree=127510772/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=37524 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 9381 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 9381 3456 6655 0 7536 0
[pid=164695] ppid=164692 vsize=253388 memory=239400 CPUtime=2484.07 cores=5,7
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 38148 0 0 0 247911 496 0 0 20 0 1 0 235880785 259469312 59850 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 63347 59850 1120 1011 0 62114 0
Current children cumulated CPU time: 2494.39 s
Current children cumulated vsize: 385192 KiB
Current children cumulated memory: 276924 KiB
[startup+2508.92 s]
# the end of solver process 164692 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2496.03 s, system=4.98683 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2502.4 s]
/proc/loadavg: 4.14 4.13 4.17 5/254 164825
/proc/meminfo: memFree=127510772/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=37524 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 9381 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 9381 3456 6655 0 7536 0
[pid=164695] ppid=164692 vsize=253388 memory=239400 CPUtime=2484.17 cores=5,7
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 38148 0 0 0 247921 496 0 0 20 0 1 0 235880785 259469312 59850 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 63347 59850 1120 1011 0 62114 0
Current children cumulated CPU time: 2494.49 s
Current children cumulated vsize: 385192 KiB
Current children cumulated memory: 276924 KiB
[startup+2505.6 s]
/proc/loadavg: 4.13 4.12 4.17 5/254 164825
/proc/meminfo: memFree=127502708/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=37524 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 9381 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 9381 3456 6655 0 7536 0
[pid=164695] ppid=164692 vsize=253868 memory=239912 CPUtime=2487.36 cores=5,7
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 38254 0 0 0 248239 497 0 0 20 0 1 0 235880785 259960832 59978 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 63467 59978 1120 1011 0 62234 0
Current children cumulated CPU time: 2497.68 s
Current children cumulated vsize: 385672 KiB
Current children cumulated memory: 277436 KiB
[startup+2507.2 s]
/proc/loadavg: 4.13 4.12 4.17 5/254 164825
/proc/meminfo: memFree=127502960/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=37524 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 9381 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 9381 3456 6655 0 7536 0
[pid=164695] ppid=164692 vsize=253868 memory=239912 CPUtime=2488.95 cores=5,7
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 38265 0 0 0 248398 497 0 0 20 0 1 0 235880785 259960832 59978 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 63467 59978 1120 1011 0 62234 0
Current children cumulated CPU time: 2499.27 s
Current children cumulated vsize: 385672 KiB
Current children cumulated memory: 277436 KiB
[startup+2508 s]*
/proc/loadavg: 4.13 4.12 4.17 5/254 164825
/proc/meminfo: memFree=127502960/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=37524 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 9381 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 9381 3456 6655 0 7536 0
[pid=164695] ppid=164692 vsize=254060 memory=239912 CPUtime=2489.76 cores=5,7
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 38275 0 0 0 248479 497 0 0 20 0 1 0 235880785 260157440 59978 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 63515 59978 1120 1011 0 62282 0
Current children cumulated CPU time: 2500.08 s
Current children cumulated vsize: 385864 KiB
Current children cumulated memory: 277436 KiB
[startup+2508.4 s]
/proc/loadavg: 4.13 4.12 4.17 5/254 164825
/proc/meminfo: memFree=127502960/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=37524 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 9381 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 9381 3456 6655 0 7536 0
[pid=164695] ppid=164692 vsize=254060 memory=239912 CPUtime=2490.15 cores=5,7
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 38275 0 0 0 248518 497 0 0 20 0 1 0 235880785 260157440 59978 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 63515 59978 1120 1011 0 62282 0
Current children cumulated CPU time: 2500.47 s
Current children cumulated vsize: 385864 KiB
Current children cumulated memory: 277436 KiB
[startup+2508.8 s]
/proc/loadavg: 4.13 4.12 4.17 5/254 164825
/proc/meminfo: memFree=127502960/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=37524 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 9381 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 9381 3456 6655 0 7536 0
[pid=164695] ppid=164692 vsize=254060 memory=239912 CPUtime=2490.55 cores=5,7
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 38279 0 0 0 248558 497 0 0 20 0 1 0 235880785 260157440 59978 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 63515 59978 1120 1011 0 62282 0
Current children cumulated CPU time: 2500.87 s
Current children cumulated vsize: 385864 KiB
Current children cumulated memory: 277436 KiB
[startup+2508.9 s]
/proc/loadavg: 4.13 4.12 4.17 5/254 164825
/proc/meminfo: memFree=127502960/131382120 swapFree=33010160/33010684
[pid=164692] ppid=164689 vsize=131804 memory=37524 CPUtime=10.32 cores=5,7
/proc/164692/stat : 164692 (LSIPExact) S 164689 164692 164278 0 -1 4194304 5473 0 0 0 1032 0 0 0 20 0 1 0 235879753 134967296 9381 18446744073709551615 94823561441280 94823588697681 140729814098672 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94823597200520 94823597632128 94823607095296 140729814100312 140729814100488 140729814100488 140729814106092 0
/proc/164692/statm: 32951 9381 3456 6655 0 7536 0
[pid=164695] ppid=164692 vsize=254060 memory=239912 CPUtime=2490.65 cores=5,7
/proc/164695/stat : 164695 (Exact) R 164692 164695 164695 0 -1 4194304 38279 0 0 0 248568 497 0 0 20 0 1 0 235880785 260157440 59978 18446744073709551615 4198400 8335837 140725733149296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33501184 140725733157049 140725733157403 140725733157403 140725733162959 0
/proc/164695/statm: 63515 59978 1120 1011 0 62282 0
Current children cumulated CPU time: 2500.97 s
Current children cumulated vsize: 385864 KiB
Current children cumulated memory: 277436 KiB
Child status: 0
Real time (s): 2508.92
CPU time (s): 2501.02
CPU user time (s): 2496.03
CPU system time (s): 4.98683
CPU usage (%): 99.6848
Max. virtual memory (cumulated for all children) (KiB): 385864
Max. memory (cumulated for all children) (KiB): 277436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2496.03
system time used= 4.98683
maximum resident set size= 240168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43783
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= 363
involuntary context switches= 14527
# summary of solver processes directly reported to runsolver:
# pid: 164692
# total CPU time (s): 2501.02
# total CPU user time (s): 2496.03
# total CPU system time (s): 4.98683
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4773 second user time and 24.844 second system time
The end
Begin job on nodeC008 at 2025-07-22 18:33:26
IDJOB=4541792
IDBENCH=163468
IDSOLVER=3337
FILE ID=nodeC008/4541792-1753202006
RUNJOBID= nodeC008-1753198970-164298
SLURM_JOB_ID= 9687741
Free space on /tmp= 432560 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/array_comm/arraycomm_teq/normalized-20arraycomm_teq_less.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4541792-1753202006/watcher-4541792-1753202006 -o /tmp/evaluation-result-4541792-1753202006/solver-4541792-1753202006 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1753198970-164298 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4541792-1753202006.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 68f7bc0686d678a8453a91094299b359
RANDOM SEED=359947374
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 : 3661.663
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 : 3591.624
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 : 1197.306
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 : 3591.654
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 : 3660.695
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 : 3700.000
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 : 1197.580
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 : 1197.211
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: 128654196 kB
MemAvailable: 129628964 kB
Buffers: 2128 kB
Cached: 1747192 kB
SwapCached: 24 kB
Active: 1343916 kB
Inactive: 730964 kB
Active(anon): 320104 kB
Inactive(anon): 31576 kB
Active(file): 1023812 kB
Inactive(file): 699388 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 81284 kB
Writeback: 4 kB
AnonPages: 326616 kB
Mapped: 149348 kB
Shmem: 26120 kB
KReclaimable: 182388 kB
Slab: 272880 kB
SReclaimable: 182388 kB
SUnreclaim: 90492 kB
KernelStack: 4096 kB
PageTables: 3776 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 699044 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 100352 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= 432516 MiB
End job on nodeC008 at 2025-07-22 19:15:16