3492.32/1805.42 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3492.32/1805.42 c numVar: 1000400
3492.32/1805.42 c numCon: 2000307
3492.32/1805.42 c numEqual: 29707
3492.32/1805.42 c intSize: 38
3492.32/1805.42 c ls_time: 10.0, mip_time: 1790.0, exact_time: 1790.0
3492.32/1805.42 c ------------------- Paras list -------------------
3492.32/1805.42 c Name Type Now Default Comment
3492.32/1805.42 c timeout double 3600.000000 3600
3492.32/1805.42 c mip_time double 0.500000 0.5
3492.32/1805.42 c ls_time double 10.000000 10
3492.32/1805.42 c safe_mode int 2 2 1 trust; 2 feasible
3492.32/1805.42 c mip_emphasis int 2 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3492.32/1805.42 c random_seed int 0 0
3492.32/1805.42 c sample_size int 50 50
3492.32/1805.42 c sub_score int 1 1
3492.32/1805.42 c tabu_base int 3 3
3492.32/1805.42 c tabu_variation int 1 1
3492.32/1805.42 c sub_div int 4 4
3492.32/1805.42 c nbcore int 2 1
3492.32/1805.42 c memlimit int 31000 31744 memory limit in megabytes
3492.32/1805.42 c print_sol int 1 1
3492.32/1805.42 c tmpdir string . "."
3492.32/1805.42 c home string HOME "."
3492.32/1805.42 c benchname string HOME/instance-4505250-1751473630.opb ""
3492.32/1805.42 c --------------------------------------------------
3492.32/1805.42 c Local Search solver
3492.32/1805.42 c MIP solver
3492.32/1805.42 c use Exact solver
3600.09/1913.50 c receive signal 15, try to interrupt solver...
3492.33/1913.61 c Exact solver (PID 67204) interrupted gracefully.
3601.91/1915.47 s UNKNOWN
3601.91/1915.47 c Total time: 1915
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 (46356 MiB free)
memory of node 1: 64465 MiB (51836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505250-1751473630/watcher-4505250-1751473630 -o /tmp/evaluation-result-4505250-1751473630/solver-4505250-1751473630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751468815-65343 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4505250-1751473630.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=66973, runsolver pid=66970
[startup+0.100101 s]*
/proc/loadavg: 7.11 6.86 6.47 8/254 66974
/proc/meminfo: memFree=100440072/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=263012 memory=126092 CPUtime=0.09 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 22839 0 0 0 4 5 0 0 20 0 1 0 63042331 269324288 31491 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 65753 31491 1152 6655 0 55988 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 263012 KiB
Current children cumulated memory: 126092 KiB
[startup+0.213793 s]*
/proc/loadavg: 7.11 6.86 6.47 8/254 66974
/proc/meminfo: memFree=100310536/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=362276 memory=258060 CPUtime=0.21 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 47679 0 0 0 9 12 0 0 20 0 1 0 63042331 370970624 64515 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 90569 64515 1152 6655 0 80804 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 362276 KiB
Current children cumulated memory: 258060 KiB
[startup+0.313536 s]*
/proc/loadavg: 7.11 6.86 6.47 8/254 66974
/proc/meminfo: memFree=100189064/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=449924 memory=376460 CPUtime=0.31 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 69604 0 0 0 13 18 0 0 20 0 1 0 63042331 460722176 94115 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 112481 94115 1152 6655 0 102716 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 449924 KiB
Current children cumulated memory: 376460 KiB
[startup+0.70033 s]
/proc/loadavg: 7.11 6.86 6.47 8/254 66974
/proc/meminfo: memFree=100043400/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=550168 memory=507248 CPUtime=0.69 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 95246 0 0 0 43 26 0 0 20 0 1 0 63042331 563372032 126812 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 137542 126812 1152 6655 0 127777 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 550168 KiB
Current children cumulated memory: 507248 KiB
[startup+1.50034 s]
/proc/loadavg: 7.11 6.86 6.47 9/254 66974
/proc/meminfo: memFree=99932064/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=983252 memory=948572 CPUtime=1.48 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 146938 0 0 0 106 42 0 0 20 0 1 0 63042331 1006850048 237143 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 245813 237143 1152 6655 0 236048 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 983252 KiB
Current children cumulated memory: 948572 KiB
[startup+3.11344 s]
/proc/loadavg: 7.10 6.87 6.47 8/254 66974
/proc/meminfo: memFree=99310860/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=1297768 memory=1263196 CPUtime=3.08 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 225629 0 0 0 255 53 0 0 20 0 1 0 63042331 1328914432 315799 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 324442 315799 1152 6655 0 314677 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1297768 KiB
Current children cumulated memory: 1263196 KiB
[startup+6.30033 s]
/proc/loadavg: 7.10 6.87 6.47 8/254 66974
/proc/meminfo: memFree=98765592/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=1827636 memory=1793036 CPUtime=6.27 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 355836 0 0 0 552 75 0 0 20 0 1 0 63042331 1871499264 448259 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 456909 448259 1152 6655 0 447144 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1827636 KiB
Current children cumulated memory: 1793036 KiB
[startup+12.7003 s]
/proc/loadavg: 7.09 6.87 6.48 8/254 66974
/proc/meminfo: memFree=97584608/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=3156864 memory=3108312 CPUtime=12.64 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 542922 0 0 0 1148 116 0 0 20 0 1 0 63042331 3232628736 777078 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 789216 777078 2272 6655 0 779451 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 3156864 KiB
Current children cumulated memory: 3108312 KiB
[startup+25.5003 s]
/proc/loadavg: 7.07 6.88 6.49 8/255 66975
/proc/meminfo: memFree=96619720/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=4166068 memory=3831884 CPUtime=25.41 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 583715 0 0 0 2393 148 0 0 20 0 2 0 63042331 4266053632 957971 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 1041517 957971 2752 6655 0 1015400 0
[pid=66973/tid=66975] ppid=66970 vsize=4166068 memory=164 CPUtime=0 cores=5,7
/proc/66973/task/66975/stat : 66975 (LSIPExact) S 66970 66973 65327 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 63043752 4266053632 957971 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 4166068 KiB
Current children cumulated memory: 3831884 KiB
[startup+51.1139 s]
/proc/loadavg: 7.11 6.90 6.51 8/255 66976
/proc/meminfo: memFree=94588356/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=6540968 memory=5907732 CPUtime=52 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 769950 0 0 0 4959 241 0 0 20 0 2 0 63042331 6697951232 1476933 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 1635242 1476933 3104 6655 0 1623029 0
[pid=66973/tid=66975] ppid=66970 vsize=6540968 memory=5841836 CPUtime=1.33 cores=5,7
/proc/66973/task/66975/stat : 66975 (LSIPExact) S 66970 66973 65327 0 -1 4194368 13249 0 0 0 123 10 0 0 20 0 2 0 63043752 6697951232 1476965 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
Current children cumulated CPU time: 52 s
Current children cumulated vsize: 6540968 KiB
Current children cumulated memory: 5907732 KiB
[startup+102.3 s]
/proc/loadavg: 7.20 6.95 6.55 9/255 66978
/proc/meminfo: memFree=93588536/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=8617764 memory=7197644 CPUtime=117.18 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 970962 0 0 0 11374 344 0 0 20 0 2 0 63042331 8824590336 1799411 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 2154441 1799411 3264 6655 0 2123651 0
[pid=66973/tid=66975] ppid=66970 vsize=8617764 memory=14080 CPUtime=15.71 cores=5,7
/proc/66973/task/66975/stat : 66975 (LSIPExact) R 66970 66973 65327 0 -1 4194368 68419 0 0 0 1530 41 0 0 20 0 2 0 63043752 8824590336 1799411 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
Current children cumulated CPU time: 117.18 s
Current children cumulated vsize: 8617764 KiB
Current children cumulated memory: 7197644 KiB
[startup+162.3 s]
/proc/loadavg: 7.83 7.18 6.65 9/256 66981
/proc/meminfo: memFree=92993736/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=8871172 memory=7486216 CPUtime=236.13 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 996629 0 0 0 23250 363 0 0 20 0 2 0 63042331 9084080128 1871554 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 2217793 1871554 3328 6655 0 2188324 0
[pid=66973/tid=66975] ppid=66970 vsize=8871172 memory=7557492 CPUtime=74.94 cores=5,7
/proc/66973/task/66975/stat : 66975 (LSIPExact) R 66970 66973 65327 0 -1 4194368 81567 0 0 0 7448 46 0 0 20 0 2 0 63043752 9084080128 1871554 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
Current children cumulated CPU time: 236.13 s
Current children cumulated vsize: 8871172 KiB
Current children cumulated memory: 7486216 KiB
[startup+222.3 s]
/proc/loadavg: 7.51 7.22 6.70 8/255 66985
/proc/meminfo: memFree=92339636/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=8871828 memory=7486984 CPUtime=355.19 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 1015188 0 0 0 35148 371 0 0 20 0 2 0 63042331 9084751872 1871746 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 2217957 1871746 3328 6655 0 2188488 0
[pid=66973/tid=66975] ppid=66970 vsize=8871828 memory=7486700 CPUtime=134.23 cores=5,7
/proc/66973/task/66975/stat : 66975 (LSIPExact) R 66970 66973 65327 0 -1 4194368 81571 0 0 0 13375 48 0 0 20 0 2 0 63043752 9084751872 1871746 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
Current children cumulated CPU time: 355.19 s
Current children cumulated vsize: 8871828 KiB
Current children cumulated memory: 7486984 KiB
[startup+282.3 s]
/proc/loadavg: 7.24 7.19 6.73 8/254 67035
/proc/meminfo: memFree=94551480/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=8937364 memory=7560076 CPUtime=474.19 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 1083568 0 0 0 47028 391 0 0 20 0 2 0 63042331 9151860736 1890019 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 2234341 1890019 3328 6655 0 2188561 0
[pid=66973/tid=66975] ppid=66970 vsize=8937364 memory=14080 CPUtime=193.53 cores=5,7
/proc/66973/task/66975/stat : 66975 (LSIPExact) R 66970 66973 65327 0 -1 4194368 114385 0 0 0 19297 56 0 0 20 0 2 0 63043752 9151860736 1890019 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
Current children cumulated CPU time: 474.19 s
Current children cumulated vsize: 8937364 KiB
Current children cumulated memory: 7560076 KiB
[startup+342.3 s]
/proc/loadavg: 7.19 7.18 6.76 8/256 67039
/proc/meminfo: memFree=87638128/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=9462728 memory=8119612 CPUtime=593.09 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 1235078 0 0 0 58877 432 0 0 20 0 2 0 63042331 9689833472 2029903 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 2365682 2029903 3424 6655 0 2320539 0
[pid=66973/tid=66975] ppid=66970 vsize=9462728 memory=7495180 CPUtime=252.72 cores=5,7
/proc/66973/task/66975/stat : 66975 (LSIPExact) R 66970 66973 65327 0 -1 4194368 251389 0 0 0 25179 93 0 0 20 0 2 0 63043752 9689833472 2029903 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
Current children cumulated CPU time: 593.09 s
Current children cumulated vsize: 9462728 KiB
Current children cumulated memory: 8119612 KiB
[startup+402.3 s]
/proc/loadavg: 7.59 7.28 6.82 9/256 67041
################
# More data... #
################
[pid=66973/tid=66975] ppid=66970 vsize=12201688 memory=4252 CPUtime=1435.54 cores=5,7
/proc/66973/task/66975/stat : 66975 (LSIPExact) R 66970 66973 65327 0 -1 4194368 549656 0 0 0 143318 236 0 0 20 0 2 0 63043752 12494528512 2702157 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
Current children cumulated CPU time: 2970.57 s
Current children cumulated vsize: 12201688 KiB
Current children cumulated memory: 10808628 KiB
[startup+1602.3 s]
/proc/loadavg: 7.12 7.40 7.39 8/255 67194
/proc/meminfo: memFree=82444640/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=12203748 memory=10809464 CPUtime=3089.7 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 2258833 0 0 0 308187 783 0 0 20 0 2 0 63042331 12496637952 2702366 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 3050937 2702366 3424 6655 0 3015406 0
[pid=66973/tid=66975] ppid=66970 vsize=12203748 memory=10808628 CPUtime=1494.9 cores=5,7
/proc/66973/task/66975/stat : 66975 (LSIPExact) R 66970 66973 65327 0 -1 4194368 560328 0 0 0 149245 245 0 0 20 0 2 0 63043752 12496637952 2702366 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
Current children cumulated CPU time: 3089.7 s
Current children cumulated vsize: 12203748 KiB
Current children cumulated memory: 10809464 KiB
[startup+1662.3 s]
/proc/loadavg: 7.37 7.40 7.39 9/256 67198
/proc/meminfo: memFree=75433768/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=12203748 memory=10809500 CPUtime=3208.76 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 2286268 0 0 0 320085 791 0 0 20 0 2 0 63042331 12496637952 2702375 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 3050937 2702375 3424 6655 0 3015406 0
[pid=66973/tid=66975] ppid=66970 vsize=12203748 memory=10808628 CPUtime=1554.21 cores=5,7
/proc/66973/task/66975/stat : 66975 (LSIPExact) R 66970 66973 65327 0 -1 4194368 563599 0 0 0 155172 249 0 0 20 0 2 0 63043752 12496637952 2702375 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
Current children cumulated CPU time: 3208.76 s
Current children cumulated vsize: 12203748 KiB
Current children cumulated memory: 10809500 KiB
[startup+1722.3 s]
/proc/loadavg: 7.87 7.55 7.44 9/257 67201
/proc/meminfo: memFree=75202368/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=12205528 memory=10810248 CPUtime=3327.77 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 2317235 0 0 0 331974 803 0 0 20 0 2 0 63042331 12498460672 2702562 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 3051382 2702562 3424 6655 0 3015851 0
[pid=66973/tid=66975] ppid=66970 vsize=12205528 memory=10808628 CPUtime=1613.5 cores=5,7
/proc/66973/task/66975/stat : 66975 (LSIPExact) R 66970 66973 65327 0 -1 4194368 572403 0 0 0 161093 257 0 0 20 0 2 0 63043752 12498460672 2702562 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
Current children cumulated CPU time: 3327.77 s
Current children cumulated vsize: 12205528 KiB
Current children cumulated memory: 10810248 KiB
[startup+1782.3 s]
/proc/loadavg: 7.52 7.52 7.44 8/256 67203
/proc/meminfo: memFree=74746568/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=12206272 memory=10810552 CPUtime=3446.82 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 2356482 0 0 0 343869 813 0 0 20 0 2 0 63042331 12499222528 2702638 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 3051568 2702638 3424 6655 0 3016037 0
[pid=66973/tid=66975] ppid=66970 vsize=12206272 memory=10810552 CPUtime=1672.82 cores=5,7
/proc/66973/task/66975/stat : 66975 (LSIPExact) R 66970 66973 65327 0 -1 4194368 583452 0 0 0 167017 265 0 0 20 0 2 0 63043752 12499222528 2702638 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
Current children cumulated CPU time: 3446.82 s
Current children cumulated vsize: 12206272 KiB
Current children cumulated memory: 10810552 KiB
[startup+1842.3 s]
/proc/loadavg: 6.86 7.34 7.39 7/256 67210
/proc/meminfo: memFree=74073184/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=9561568 memory=8688688 CPUtime=3492.33 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) S 66970 66973 65327 0 -1 4194304 2572455 0 0 0 348400 833 0 0 20 0 1 0 63042331 9791045632 2172172 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 2390392 2172172 3456 6655 0 2354861 0
[pid=67204] ppid=66973 vsize=3253768 memory=3150800 CPUtime=36.75 cores=5,7
/proc/67204/stat : 67204 (Exact) R 66973 67204 67204 0 -1 4194304 283666 0 0 0 3548 127 0 0 20 0 1 0 63222873 3331858432 787700 18446744073709551615 4198400 8335837 140723536006848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43261952 140723536013499 140723536013853 140723536013853 140723536019407 0
/proc/67204/statm: 813442 787700 1088 1011 0 812209 0
Current children cumulated CPU time: 3529.08 s
Current children cumulated vsize: 12815336 KiB
Current children cumulated memory: 11839488 KiB
[startup+1902.3 s]
/proc/loadavg: 6.37 7.11 7.30 7/256 67212
/proc/meminfo: memFree=73981824/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=9561568 memory=8688688 CPUtime=3492.33 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) S 66970 66973 65327 0 -1 4194304 2572455 0 0 0 348400 833 0 0 20 0 1 0 63042331 9791045632 2172172 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 2390392 2172172 3456 6655 0 2354861 0
[pid=67204] ppid=66973 vsize=3466608 memory=3276488 CPUtime=96.58 cores=5,7
/proc/67204/stat : 67204 (Exact) R 66973 67204 67204 0 -1 4194304 303052 0 0 0 9523 135 0 0 20 0 1 0 63222873 3549806592 819122 18446744073709551615 4198400 8335837 140723536006848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43261952 140723536013499 140723536013853 140723536013853 140723536019407 0
/proc/67204/statm: 866652 819122 1088 1011 0 865419 0
Current children cumulated CPU time: 3588.91 s
Current children cumulated vsize: 13028176 KiB
Current children cumulated memory: 11965176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1913.5 s]
/proc/loadavg: 6.31 7.07 7.29 7/256 67212
/proc/meminfo: memFree=73950124/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=9561568 memory=8688688 CPUtime=3492.33 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) S 66970 66973 65327 0 -1 4194304 2572455 0 0 0 348400 833 0 0 20 0 1 0 63042331 9791045632 2172172 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 2390392 2172172 3456 6655 0 2354861 0
[pid=67204] ppid=66973 vsize=3466608 memory=3276488 CPUtime=107.76 cores=5,7
/proc/67204/stat : 67204 (Exact) R 66973 67204 67204 0 -1 4194304 303140 0 0 0 10640 136 0 0 20 0 1 0 63222873 3549806592 819122 18446744073709551615 4198400 8335837 140723536006848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43261952 140723536013499 140723536013853 140723536013853 140723536019407 0
/proc/67204/statm: 866652 819122 1088 1011 0 865419 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 13028176 KiB
Current children cumulated memory: 11965176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1915.61 s]
# the end of solver process 66973 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.01 s, system=10.1371 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1913.6 s]
/proc/loadavg: 6.31 7.07 7.29 7/256 67212
/proc/meminfo: memFree=73950124/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=9561568 memory=8688688 CPUtime=3492.33 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) S 66970 66973 65327 0 -1 4194304 2572455 135 0 0 348400 833 0 0 20 0 1 0 63042331 9791045632 2172172 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 16384 0 16386 1 0 0 17 7 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 2390392 2172172 3456 6655 0 2354861 0
Current children cumulated CPU time: 3492.33 s
Current children cumulated vsize: 9561568 KiB
Current children cumulated memory: 8688688 KiB
[startup+1914.4 s]
/proc/loadavg: 6.29 7.05 7.28 7/255 67213
/proc/meminfo: memFree=77223684/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=9514684 memory=8641800 CPUtime=3600.92 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 2696237 303275 0 0 348463 848 10641 140 20 0 1 0 63042331 9743036416 2160450 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 2378671 2160450 3456 6655 0 2343140 0
Current children cumulated CPU time: 3600.92 s
Current children cumulated vsize: 9514684 KiB
Current children cumulated memory: 8641800 KiB
[startup+1915.2 s]
/proc/loadavg: 6.29 7.05 7.28 7/255 67213
/proc/meminfo: memFree=77360900/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=9350556 memory=8477672 CPUtime=3601.71 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 2813052 303275 0 0 348537 853 10641 140 20 0 1 0 63042331 9574969344 2119418 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 2337639 2119418 3456 6655 0 2302108 0
Current children cumulated CPU time: 3601.71 s
Current children cumulated vsize: 9350556 KiB
Current children cumulated memory: 8477672 KiB
[startup+1915.4 s]
/proc/loadavg: 6.29 7.05 7.28 7/255 67213
/proc/meminfo: memFree=77360900/131382116 swapFree=33010160/33010684
[pid=66973] ppid=66970 vsize=9334928 memory=8462044 CPUtime=3601.91 cores=5,7
/proc/66973/stat : 66973 (LSIPExact) R 66970 66973 65327 0 -1 4194304 2903585 303275 0 0 348552 858 10641 140 20 0 1 0 63042331 9558966272 2115511 18446744073709551615 93894334988288 93894362244689 140730543099952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93894370747528 93894371179136 93894381850624 140730543106394 140730543106570 140730543106570 140730543112172 0
/proc/66973/statm: 2333732 2115511 3456 6655 0 2298201 0
Current children cumulated CPU time: 3601.91 s
Current children cumulated vsize: 9334928 KiB
Current children cumulated memory: 8462044 KiB
[startup+1915.5 s]*
/proc/loadavg: 6.29 7.05 7.28 7/255 67213
/proc/meminfo: memFree=78144764/131382116 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1915.61
CPU time (s): 3602.15
CPU user time (s): 3592.01
CPU system time (s): 10.1371
CPU usage (%): 188.042
Max. virtual memory (cumulated for all children) (KiB): 13316016
Max. memory (cumulated for all children) (KiB): 11965176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.01
system time used= 10.1371
maximum resident set size= 11379400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3222150
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= 398
involuntary context switches= 85621
# summary of solver processes directly reported to runsolver:
# pid: 66973
# total CPU time (s): 3602.15
# total CPU user time (s): 3592.01
# total CPU system time (s): 10.1371
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.3284 second user time and 9.26633 second system time
The end
Begin job on nodeC004 at 2025-07-02 18:27:11
IDJOB=4505250
IDBENCH=155751
IDSOLVER=3337
FILE ID=nodeC004/4505250-1751473630
RUNJOBID= nodeC004-1751468815-65343
SLURM_JOB_ID= 9598488
Free space on /tmp= 431252 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_4_ic.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505250-1751473630/watcher-4505250-1751473630 -o /tmp/evaluation-result-4505250-1751473630/solver-4505250-1751473630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751468815-65343 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4505250-1751473630.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ae39b89921d4a5c4d7dfc676c1859a2a
RANDOM SEED=1481531202
nodeC004 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 : 3497.987
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.74
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.663
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.74
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 : 3499.723
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.74
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 : 3491.867
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.74
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 : 3491.685
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.74
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 : 2694.120
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.74
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 : 3491.904
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.74
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.217
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.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 100549004 kB
MemAvailable: 106533404 kB
Buffers: 2720 kB
Cached: 6734152 kB
SwapCached: 20 kB
Active: 23681064 kB
Inactive: 6397472 kB
Active(anon): 23353432 kB
Inactive(anon): 6188 kB
Active(file): 327632 kB
Inactive(file): 6391284 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 144472 kB
Writeback: 4 kB
AnonPages: 23331692 kB
Mapped: 139492 kB
Shmem: 17956 kB
KReclaimable: 210224 kB
Slab: 296544 kB
SReclaimable: 210224 kB
SUnreclaim: 86320 kB
KernelStack: 4096 kB
PageTables: 49788 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 26458924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 15052800 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431040 MiB
End job on nodeC004 at 2025-07-02 18:59:07