1422.40/1087.86 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1422.40/1087.86 c numVar: 2878950
1422.40/1087.86 c numCon: 128479
1422.40/1087.86 c numEqual: 0
1422.40/1087.86 c intSize: 6
1422.40/1087.86 c ls_time: 10.0, mip_time: 1074.0, exact_time: 2506.0
1422.40/1087.86 c ------------------- Paras list -------------------
1422.40/1087.86 c Name Type Now Default Comment
1422.40/1087.86 c timeout double 3600.000000 3600
1422.40/1087.86 c mip_time double 0.300000 0.5
1422.40/1087.86 c ls_time double 10.000000 10
1422.40/1087.86 c safe_mode int 2 2 1 trust; 2 feasible
1422.40/1087.86 c mip_emphasis int 5 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1422.40/1087.86 c random_seed int 0 0
1422.40/1087.86 c sample_size int 50 50
1422.40/1087.86 c sub_score int 1 1
1422.40/1087.86 c tabu_base int 3 3
1422.40/1087.86 c tabu_variation int 1 1
1422.40/1087.86 c sub_div int 4 4
1422.40/1087.86 c nbcore int 2 1
1422.40/1087.86 c memlimit int 31000 31744 memory limit in megabytes
1422.40/1087.86 c print_sol int 1 1
1422.40/1087.86 c tmpdir string . "."
1422.40/1087.86 c home string HOME "."
1422.40/1087.86 c benchname string HOME/instance-4542416-1753220192.opb ""
1422.40/1087.86 c --------------------------------------------------
1422.40/1087.86 c Local Search solver
1422.40/1087.86 c MIP solver
1422.40/1087.86 c use Exact solver
3600.04/3271.40 c receive signal 15, try to interrupt solver...
1422.47/3271.81 c Exact solver (PID 197696) interrupted gracefully.
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: 63794 MiB (61304 MiB free)
memory of node 1: 64507 MiB (61668 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542416-1753220192/watcher-4542416-1753220192 -o /tmp/evaluation-result-4542416-1753220192/solver-4542416-1753220192 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753220119-197390 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4542416-1753220192.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=197552, runsolver pid=197549
[startup+0.100069 s]*
/proc/loadavg: 5.00 3.28 3.60 7/256 197553
/proc/meminfo: memFree=125900600/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=88076 memory=45340 CPUtime=0.08 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 9315 0 0 0 5 3 0 0 20 0 1 0 237699096 90189824 11335 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 22019 11335 1152 6655 0 12254 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 88076 KiB
Current children cumulated memory: 45340 KiB
[startup+0.213332 s]*
/proc/loadavg: 5.00 3.28 3.60 7/256 197553
/proc/meminfo: memFree=125892536/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=103652 memory=60828 CPUtime=0.18 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 13186 0 0 0 14 4 0 0 20 0 1 0 237699096 106139648 15207 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 25913 15207 1152 6655 0 16148 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 103652 KiB
Current children cumulated memory: 60828 KiB
[startup+0.31322 s]*
/proc/loadavg: 5.00 3.28 3.60 7/256 197553
/proc/meminfo: memFree=125876408/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=117116 memory=74268 CPUtime=0.27 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 16548 0 0 0 22 5 0 0 20 0 1 0 237699096 119926784 18567 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 29279 18567 1152 6655 0 19514 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 117116 KiB
Current children cumulated memory: 74268 KiB
[startup+0.700224 s]
/proc/loadavg: 5.00 3.28 3.60 7/256 197553
/proc/meminfo: memFree=125843968/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=192488 memory=149788 CPUtime=0.62 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 35422 0 0 0 51 11 0 0 20 0 1 0 237699096 197107712 37447 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 48122 37447 1152 6655 0 38357 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 192488 KiB
Current children cumulated memory: 149788 KiB
[startup+1.50029 s]
/proc/loadavg: 5.00 3.28 3.60 7/256 197553
/proc/meminfo: memFree=125294112/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=863540 memory=828928 CPUtime=1.42 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 90232 0 0 0 107 35 0 0 20 0 1 0 237699096 884264960 207232 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 215885 207232 1152 6655 0 206120 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 863540 KiB
Current children cumulated memory: 828928 KiB
[startup+3.11313 s]
/proc/loadavg: 5.00 3.28 3.60 7/256 197553
/proc/meminfo: memFree=124374324/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=1664068 memory=1625300 CPUtime=3.03 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 271559 0 0 0 233 70 0 0 20 0 1 0 237699096 1704005632 406325 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 416017 406325 1152 6655 0 406252 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 1664068 KiB
Current children cumulated memory: 1625300 KiB
[startup+6.30034 s]
/proc/loadavg: 5.08 3.32 3.62 8/256 197553
/proc/meminfo: memFree=123662736/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=1961664 memory=1916700 CPUtime=6.2 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 338406 0 0 0 538 82 0 0 20 0 1 0 237699096 2008743936 479175 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 490416 479175 1152 6655 0 480651 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 1961664 KiB
Current children cumulated memory: 1916700 KiB
[startup+12.7003 s]
/proc/loadavg: 5.31 3.40 3.64 8/256 197553
/proc/meminfo: memFree=122429360/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=3215176 memory=3059268 CPUtime=12.57 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 441418 0 0 0 1144 113 0 0 20 0 2 0 237699096 3292340224 764817 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 803794 764817 2432 6655 0 777677 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 3215176 KiB
Current children cumulated memory: 3059268 KiB
[startup+25.5004 s]
/proc/loadavg: 5.62 3.56 3.69 8/257 197554
/proc/meminfo: memFree=118931496/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=6443600 memory=5457880 CPUtime=25.34 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 537947 0 0 0 2346 188 0 0 20 0 2 0 237699096 6598246400 1364470 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 1610900 1364470 2816 6655 0 1584783 0
[pid=197552/tid=197554] ppid=197549 vsize=6443600 memory=5324276 CPUtime=0 cores=5,7
/proc/197552/task/197554/stat : 197554 (LSIPExact) S 197549 197552 197377 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237700362 6598246400 1364470 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 6443600 KiB
Current children cumulated memory: 5457880 KiB
[startup+51.1141 s]
/proc/loadavg: 6.16 3.86 3.79 8/256 197555
/proc/meminfo: memFree=118725304/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=6759792 memory=5674436 CPUtime=50.85 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 627858 0 0 0 4842 243 0 0 20 0 2 0 237699096 6922027008 1418609 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 1689948 1418609 2816 6655 0 1663831 0
[pid=197552/tid=197554] ppid=197549 vsize=6759792 memory=16688 CPUtime=0 cores=5,7
/proc/197552/task/197554/stat : 197554 (LSIPExact) S 197549 197552 197377 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237700362 6922027008 1418609 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 6759792 KiB
Current children cumulated memory: 5674436 KiB
[startup+102.3 s]
/proc/loadavg: 6.63 4.34 3.96 7/256 197557
/proc/meminfo: memFree=118277252/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=6767184 memory=5682116 CPUtime=101.79 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 634862 0 0 0 9934 245 0 0 20 0 2 0 237699096 6929596416 1420529 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 1691796 1420529 2816 6655 0 1665679 0
[pid=197552/tid=197554] ppid=197549 vsize=6767184 memory=5680196 CPUtime=0 cores=5,7
/proc/197552/task/197554/stat : 197554 (LSIPExact) S 197549 197552 197377 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237700362 6929596416 1420529 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
Current children cumulated CPU time: 101.79 s
Current children cumulated vsize: 6767184 KiB
Current children cumulated memory: 5682116 KiB
[startup+162.3 s]
/proc/loadavg: 6.85 4.83 4.15 8/256 197559
/proc/meminfo: memFree=118230268/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=6784080 memory=5699140 CPUtime=161.53 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 643093 0 0 0 15904 249 0 0 20 0 2 0 237699096 6946897920 1424785 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 1696020 1424785 2816 6655 0 1669903 0
[pid=197552/tid=197554] ppid=197549 vsize=6784080 memory=16688 CPUtime=0 cores=5,7
/proc/197552/task/197554/stat : 197554 (LSIPExact) S 197549 197552 197377 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237700362 6946897920 1424785 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
Current children cumulated CPU time: 161.53 s
Current children cumulated vsize: 6784080 KiB
Current children cumulated memory: 5699140 KiB
[startup+222.3 s]
/proc/loadavg: 6.99 5.24 4.34 8/256 197561
/proc/meminfo: memFree=118353696/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=6798864 memory=5716216 CPUtime=221.27 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 651044 0 0 0 21875 252 0 0 20 0 2 0 237699096 6962036736 1429054 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 1699716 1429054 2816 6655 0 1673599 0
[pid=197552/tid=197554] ppid=197549 vsize=6798864 memory=16688 CPUtime=0 cores=5,7
/proc/197552/task/197554/stat : 197554 (LSIPExact) S 197549 197552 197377 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237700362 6962036736 1429054 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
Current children cumulated CPU time: 221.27 s
Current children cumulated vsize: 6798864 KiB
Current children cumulated memory: 5716216 KiB
[startup+282.3 s]
/proc/loadavg: 6.95 5.56 4.50 6/250 197573
/proc/meminfo: memFree=118822316/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=6812064 memory=5729528 CPUtime=281.04 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 660742 0 0 0 27849 255 0 0 20 0 2 0 237699096 6975553536 1432382 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 1703016 1432382 2816 6655 0 1676899 0
[pid=197552/tid=197554] ppid=197549 vsize=6812064 memory=5724152 CPUtime=0 cores=5,7
/proc/197552/task/197554/stat : 197554 (LSIPExact) S 197549 197552 197377 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237700362 6975553536 1432382 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
Current children cumulated CPU time: 281.04 s
Current children cumulated vsize: 6812064 KiB
Current children cumulated memory: 5729528 KiB
[startup+342.3 s]
/proc/loadavg: 6.44 5.67 4.61 7/254 197612
/proc/meminfo: memFree=114872732/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=6823548 memory=5741048 CPUtime=340.78 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 669415 0 0 0 33820 258 0 0 20 0 2 0 237699096 6987313152 1435262 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 1705887 1435262 2816 6655 0 1679770 0
[pid=197552/tid=197554] ppid=197549 vsize=6823548 memory=5734904 CPUtime=0 cores=5,7
/proc/197552/task/197554/stat : 197554 (LSIPExact) S 197549 197552 197377 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237700362 6987313152 1435262 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
Current children cumulated CPU time: 340.78 s
Current children cumulated vsize: 6823548 KiB
Current children cumulated memory: 5741048 KiB
[startup+402.3 s]
/proc/loadavg: 6.27 5.77 4.71 7/254 197613
/proc/meminfo: memFree=114638048/131382112 swapFree=33010416/33010684
################
# More data... #
################
/proc/197552/stat : 197552 (LSIPExact) S 197549 197552 197377 0 -1 4194304 1968208 0 0 0 141432 815 0 0 20 0 1 0 237699096 10274390016 2157199 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 2508396 2157199 3392 6655 0 2368696 0
[pid=197696] ppid=197552 vsize=19857488 memory=18872496 CPUtime=1769.55 cores=5,7
/proc/197696/stat : 197696 (Exact) R 197552 197696 197696 0 -1 4194304 2462066 0 0 0 176070 885 0 0 20 0 1 0 237807883 20334067712 4718124 18446744073709551615 4198400 8335837 140726098127664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24182784 140726098131129 140726098131483 140726098131483 140726098137039 0
/proc/197696/statm: 4964372 4718124 1088 1011 0 4963139 0
Current children cumulated CPU time: 3192.02 s
Current children cumulated vsize: 29891072 KiB
Current children cumulated memory: 27501292 KiB
[startup+2922.3 s]
/proc/loadavg: 7.08 6.60 6.13 8/253 199476
/proc/meminfo: memFree=86557572/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=10033584 memory=8632508 CPUtime=1422.47 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) S 197549 197552 197377 0 -1 4194304 1968208 0 0 0 141432 815 0 0 20 0 1 0 237699096 10274390016 2158127 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 2508396 2158127 3392 6655 0 2368696 0
[pid=197696] ppid=197552 vsize=19884784 memory=18930512 CPUtime=1829.4 cores=5,7
/proc/197696/stat : 197696 (Exact) R 197552 197696 197696 0 -1 4194304 2468100 0 0 0 182050 890 0 0 20 0 1 0 237807883 20362018816 4732628 18446744073709551615 4198400 8335837 140726098127664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24182784 140726098131129 140726098131483 140726098131483 140726098137039 0
/proc/197696/statm: 4971196 4732628 1088 1011 0 4969963 0
Current children cumulated CPU time: 3251.87 s
Current children cumulated vsize: 29918368 KiB
Current children cumulated memory: 27563020 KiB
[startup+2982.3 s]
/proc/loadavg: 7.36 6.75 6.21 8/253 199477
/proc/meminfo: memFree=86440064/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=10033584 memory=8634044 CPUtime=1422.47 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) S 197549 197552 197377 0 -1 4194304 1968208 0 0 0 141432 815 0 0 20 0 1 0 237699096 10274390016 2158511 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 2508396 2158511 3392 6655 0 2368696 0
[pid=197696] ppid=197552 vsize=19884784 memory=18940752 CPUtime=1889.24 cores=5,7
/proc/197696/stat : 197696 (Exact) R 197552 197696 197696 0 -1 4194304 2473242 0 0 0 188030 894 0 0 20 0 1 0 237807883 20362018816 4735188 18446744073709551615 4198400 8335837 140726098127664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24182784 140726098131129 140726098131483 140726098131483 140726098137039 0
/proc/197696/statm: 4971196 4735188 1088 1011 0 4969963 0
Current children cumulated CPU time: 3311.71 s
Current children cumulated vsize: 29918368 KiB
Current children cumulated memory: 27574796 KiB
[startup+3042.3 s]
/proc/loadavg: 7.67 6.96 6.32 8/254 199482
/proc/meminfo: memFree=86322456/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=10033584 memory=8634044 CPUtime=1422.47 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) S 197549 197552 197377 0 -1 4194304 1968208 0 0 0 141432 815 0 0 20 0 1 0 237699096 10274390016 2158511 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 2508396 2158511 3392 6655 0 2368696 0
[pid=197696] ppid=197552 vsize=19918844 memory=18993244 CPUtime=1949.09 cores=5,7
/proc/197696/stat : 197696 (Exact) R 197552 197696 197696 0 -1 4194304 2480747 0 0 0 194010 899 0 0 20 0 1 0 237807883 20396896256 4748311 18446744073709551615 4198400 8335837 140726098127664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24182784 140726098131129 140726098131483 140726098131483 140726098137039 0
/proc/197696/statm: 4979711 4748311 1088 1011 0 4978478 0
Current children cumulated CPU time: 3371.56 s
Current children cumulated vsize: 29952428 KiB
Current children cumulated memory: 27627288 KiB
[startup+3102.3 s]
/proc/loadavg: 7.41 7.02 6.38 8/254 199484
/proc/meminfo: memFree=86199300/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=10033584 memory=8634044 CPUtime=1422.47 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) S 197549 197552 197377 0 -1 4194304 1968208 0 0 0 141432 815 0 0 20 0 1 0 237699096 10274390016 2158511 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 2508396 2158511 3392 6655 0 2368696 0
[pid=197696] ppid=197552 vsize=19957568 memory=19062688 CPUtime=2008.92 cores=5,7
/proc/197696/stat : 197696 (Exact) R 197552 197696 197696 0 -1 4194304 2488247 0 0 0 199988 904 0 0 20 0 1 0 237807883 20436549632 4765672 18446744073709551615 4198400 8335837 140726098127664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24182784 140726098131129 140726098131483 140726098131483 140726098137039 0
/proc/197696/statm: 4989392 4765672 1088 1011 0 4988159 0
Current children cumulated CPU time: 3431.39 s
Current children cumulated vsize: 29991152 KiB
Current children cumulated memory: 27696732 KiB
[startup+3162.3 s]
/proc/loadavg: 6.90 6.94 6.39 8/254 199577
/proc/meminfo: memFree=99403684/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=10033584 memory=8635324 CPUtime=1422.47 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) S 197549 197552 197377 0 -1 4194304 1968208 0 0 0 141432 815 0 0 20 0 1 0 237699096 10274390016 2158831 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 2508396 2158831 3392 6655 0 2368696 0
[pid=197696] ppid=197552 vsize=20568948 memory=19735508 CPUtime=2068.76 cores=5,7
/proc/197696/stat : 197696 (Exact) R 197552 197696 197696 0 -1 4194304 2498669 0 0 0 205943 933 0 0 20 0 1 0 237807883 21062602752 4933877 18446744073709551615 4198400 8335837 140726098127664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24182784 140726098131129 140726098131483 140726098131483 140726098137039 0
/proc/197696/statm: 5142237 4933877 1088 1011 0 5141004 0
Current children cumulated CPU time: 3491.23 s
Current children cumulated vsize: 30602532 KiB
Current children cumulated memory: 28370832 KiB
[startup+3222.3 s]
/proc/loadavg: 7.01 6.97 6.44 8/254 199583
/proc/meminfo: memFree=100016340/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=10033584 memory=8635324 CPUtime=1422.47 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) S 197549 197552 197377 0 -1 4194304 1968208 0 0 0 141432 815 0 0 20 0 1 0 237699096 10274390016 2158831 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 2508396 2158831 3392 6655 0 2368696 0
[pid=197696] ppid=197552 vsize=20034708 memory=19201268 CPUtime=2128.6 cores=5,7
/proc/197696/stat : 197696 (Exact) R 197552 197696 197696 0 -1 4194304 2507571 0 0 0 211900 960 0 0 20 0 1 0 237807883 20515540992 4800317 18446744073709551615 4198400 8335837 140726098127664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24182784 140726098131129 140726098131483 140726098131483 140726098137039 0
/proc/197696/statm: 5008677 4800317 1088 1011 0 5007444 0
Current children cumulated CPU time: 3551.07 s
Current children cumulated vsize: 30068292 KiB
Current children cumulated memory: 27836592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3271.4 s]
/proc/loadavg: 7.05 6.99 6.47 8/254 199585
/proc/meminfo: memFree=99896868/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=10033584 memory=8635324 CPUtime=1422.47 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) S 197549 197552 197377 0 -1 4194304 1968208 0 0 0 141432 815 0 0 20 0 1 0 237699096 10274390016 2158831 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 2508396 2158831 3392 6655 0 2368696 0
[pid=197696] ppid=197552 vsize=20083520 memory=19250080 CPUtime=2177.57 cores=5,7
/proc/197696/stat : 197696 (Exact) R 197552 197696 197696 0 -1 4194304 2513321 0 0 0 216792 965 0 0 20 0 1 0 237807883 20565524480 4812520 18446744073709551615 4198400 8335837 140726098127664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24182784 140726098131129 140726098131483 140726098131483 140726098137039 0
/proc/197696/statm: 5020880 4812520 1088 1011 0 5019647 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 30117104 KiB
Current children cumulated memory: 27885404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3273.61 s]
# the end of solver process 197552 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3583.55 s, system=18.6164 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3272 s]*
/proc/loadavg: 7.05 6.99 6.47 8/253 199586
/proc/meminfo: memFree=119200172/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=9988600 memory=8590372 CPUtime=3600.56 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 2034860 2513459 0 0 141441 824 216793 998 20 0 1 0 237699096 10228326400 2147593 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 2497150 2147593 3392 6655 0 2357450 0
Current children cumulated CPU time: 3600.56 s
Current children cumulated vsize: 9988600 KiB
Current children cumulated memory: 8590372 KiB
[startup+3272.8 s]
/proc/loadavg: 7.05 6.99 6.47 8/253 199586
/proc/meminfo: memFree=119200172/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=9741188 memory=8342960 CPUtime=3601.34 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 2127507 2513459 0 0 141510 833 216793 998 20 0 1 0 237699096 9974976512 2085740 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 2435297 2085740 3392 6655 0 2295597 0
Current children cumulated CPU time: 3601.34 s
Current children cumulated vsize: 9741188 KiB
Current children cumulated memory: 8342960 KiB
[startup+3273.2 s]
/proc/loadavg: 7.05 6.99 6.47 8/253 199586
/proc/meminfo: memFree=119484164/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=9685924 memory=8297908 CPUtime=3601.74 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 2168542 2513459 0 0 141545 838 216793 998 20 0 1 0 237699096 9918386176 2074477 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 2421481 2074477 3392 6655 0 2281781 0
Current children cumulated CPU time: 3601.74 s
Current children cumulated vsize: 9685924 KiB
Current children cumulated memory: 8297908 KiB
[startup+3273.4 s]
/proc/loadavg: 7.05 6.99 6.47 8/253 199586
/proc/meminfo: memFree=119484164/131382112 swapFree=33010416/33010684
[pid=197552] ppid=197549 vsize=9685924 memory=8297908 CPUtime=3601.94 cores=5,7
/proc/197552/stat : 197552 (LSIPExact) R 197549 197552 197377 0 -1 4194304 2202832 2513459 0 0 141561 842 216793 998 20 0 1 0 237699096 9918386176 2074477 18446744073709551615 94731859251200 94731886507601 140737211363792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94731895010440 94731895442048 94731916832768 140737211369816 140737211369992 140737211369992 140737211375596 0
/proc/197552/statm: 2421481 2074477 3392 6655 0 2281781 0
Current children cumulated CPU time: 3601.94 s
Current children cumulated vsize: 9685924 KiB
Current children cumulated memory: 8297908 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3273.61
CPU time (s): 3602.17
CPU user time (s): 3583.55
CPU system time (s): 18.6164
CPU usage (%): 110.037
Max. virtual memory (cumulated for all children) (KiB): 31716648
Max. memory (cumulated for all children) (KiB): 29443988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.55
system time used= 18.6164
maximum resident set size= 20849624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4716321
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= 420
involuntary context switches= 23194
# summary of solver processes directly reported to runsolver:
# pid: 197552
# total CPU time (s): 3602.17
# total CPU user time (s): 3583.55
# total CPU system time (s): 18.6164
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0279 second user time and 32.8806 second system time
The end
Begin job on nodeC012 at 2025-07-22 23:36:34
IDJOB=4542416
IDBENCH=163926
IDSOLVER=3337
FILE ID=nodeC012/4542416-1753220192
RUNJOBID= nodeC012-1753220119-197390
SLURM_JOB_ID= 9687805
Free space on /tmp= 432704 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542416-1753220192/watcher-4542416-1753220192 -o /tmp/evaluation-result-4542416-1753220192/solver-4542416-1753220192 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753220119-197390 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4542416-1753220192.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7e0508be19eaed927bf3c4f26c43c105
RANDOM SEED=1628335279
nodeC012 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.487
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.39
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 : 3491.683
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.39
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 : 3591.713
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.39
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.556
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.39
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.420
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.39
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.39
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.784
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.39
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.152
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.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 125924540 kB
MemAvailable: 126971888 kB
Buffers: 2136 kB
Cached: 1813108 kB
SwapCached: 12 kB
Active: 4117392 kB
Inactive: 609536 kB
Active(anon): 2933136 kB
Inactive(anon): 4688 kB
Active(file): 1184256 kB
Inactive(file): 604848 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 115276 kB
Writeback: 0 kB
AnonPages: 2911032 kB
Mapped: 142564 kB
Shmem: 26140 kB
KReclaimable: 195360 kB
Slab: 287220 kB
SReclaimable: 195360 kB
SUnreclaim: 91860 kB
KernelStack: 4128 kB
PageTables: 9084 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3562168 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1128448 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432676 MiB
End job on nodeC012 at 2025-07-23 00:31:08