2114.73/1084.50 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
2114.73/1084.50 c numVar: 100222
2114.73/1084.50 c numCon: 145826
2114.73/1084.50 c numEqual: 126
2114.73/1084.50 c intSize: 12
2114.73/1084.50 c ls_time: 10.0, mip_time: 1074.0, exact_time: 2506.0
2114.73/1084.50 c ------------------- Paras list -------------------
2114.73/1084.50 c Name Type Now Default Comment
2114.73/1084.50 c timeout double 3600.000000 3600
2114.73/1084.50 c mip_time double 0.300000 0.5
2114.73/1084.50 c ls_time double 10.000000 10
2114.73/1084.50 c safe_mode int 2 2 1 trust; 2 feasible
2114.73/1084.50 c mip_emphasis int 5 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
2114.73/1084.50 c random_seed int 0 0
2114.73/1084.50 c sample_size int 50 50
2114.73/1084.50 c sub_score int 1 1
2114.73/1084.50 c tabu_base int 3 3
2114.73/1084.50 c tabu_variation int 1 1
2114.73/1084.50 c sub_div int 4 4
2114.73/1084.50 c nbcore int 2 1
2114.73/1084.50 c memlimit int 31000 31744 memory limit in megabytes
2114.73/1084.50 c print_sol int 1 1
2114.73/1084.50 c tmpdir string . "."
2114.73/1084.50 c home string HOME "."
2114.73/1084.50 c benchname string HOME/instance-4545341-1753224618.opb ""
2114.73/1084.50 c --------------------------------------------------
2114.73/1084.50 c Local Search solver
2114.73/1084.50 c MIP solver
2114.73/1084.50 c use Exact solver
3600.08/2574.31 c receive signal 15, try to interrupt solver...
2114.89/2574.72 c Exact solver (PID 200121) interrupted gracefully.
3600.58/2574.98 s UNKNOWN
3600.58/2574.98 c Total time: 2574
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 (60403 MiB free)
memory of node 1: 64507 MiB (58079 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545341-1753224618/watcher-4545341-1753224618 -o /tmp/evaluation-result-4545341-1753224618/solver-4545341-1753224618 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753220119-197390 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4545341-1753224618.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
Current StackSize limit: 8192 KiB
Starting watchdog thread
solver pid=199911, runsolver pid=199908
[startup+0.10008 s]*
/proc/loadavg: 7.42 7.78 7.50 8/254 199912
/proc/meminfo: memFree=121294112/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=86084 memory=42632 CPUtime=0.1 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) R 199908 199911 197377 0 -1 4194304 8144 0 0 0 8 2 0 0 20 0 1 0 238141543 88150016 10658 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 21521 10658 1152 6655 0 11756 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 86084 KiB
Current children cumulated memory: 42632 KiB
[startup+0.214575 s]*
/proc/loadavg: 7.42 7.78 7.50 8/254 199912
/proc/meminfo: memFree=121270928/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=114816 memory=79792 CPUtime=0.22 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) R 199908 199911 197377 0 -1 4194304 15332 0 0 0 17 5 0 0 20 0 1 0 238141543 117571584 19948 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 28704 19948 1184 6655 0 18939 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 114816 KiB
Current children cumulated memory: 79792 KiB
[startup+0.314369 s]*
/proc/loadavg: 7.42 7.78 7.50 8/254 199912
/proc/meminfo: memFree=121246736/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=137116 memory=101808 CPUtime=0.32 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) R 199908 199911 197377 0 -1 4194304 20845 0 0 0 25 7 0 0 20 0 1 0 238141543 140406784 25452 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 34279 25452 1184 6655 0 24514 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 137116 KiB
Current children cumulated memory: 101808 KiB
[startup+0.700316 s]
/proc/loadavg: 7.42 7.78 7.50 9/254 199912
/proc/meminfo: memFree=121214232/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=189912 memory=154672 CPUtime=0.69 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) R 199908 199911 197377 0 -1 4194304 34073 0 0 0 59 10 0 0 20 0 1 0 238141543 194469888 38668 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 47478 38668 1184 6655 0 37713 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 189912 KiB
Current children cumulated memory: 154672 KiB
[startup+1.50033 s]
/proc/loadavg: 7.38 7.77 7.49 8/254 199912
/proc/meminfo: memFree=121171136/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=191092 memory=155824 CPUtime=1.48 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) R 199908 199911 197377 0 -1 4194304 34368 0 0 0 138 10 0 0 20 0 1 0 238141543 195678208 38956 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 47773 38956 1184 6655 0 38008 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 191092 KiB
Current children cumulated memory: 155824 KiB
[startup+3.11424 s]
/proc/loadavg: 7.38 7.77 7.49 8/254 199912
/proc/meminfo: memFree=121083844/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=191092 memory=155824 CPUtime=3.09 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) R 199908 199911 197377 0 -1 4194304 34375 0 0 0 299 10 0 0 20 0 1 0 238141543 195678208 38956 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 47773 38956 1184 6655 0 38008 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 191092 KiB
Current children cumulated memory: 155824 KiB
[startup+6.30031 s]
/proc/loadavg: 7.35 7.76 7.49 8/254 199912
/proc/meminfo: memFree=121108644/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=191092 memory=155824 CPUtime=6.26 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) R 199908 199911 197377 0 -1 4194304 34382 0 0 0 616 10 0 0 20 0 1 0 238141543 195678208 38956 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 47773 38956 1184 6655 0 38008 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 191092 KiB
Current children cumulated memory: 155824 KiB
[startup+12.7004 s]
/proc/loadavg: 7.41 7.76 7.49 8/255 199913
/proc/meminfo: memFree=120924356/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=586772 memory=445980 CPUtime=12.63 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) R 199908 199911 197377 0 -1 4194304 98275 0 0 0 1239 24 0 0 20 0 2 0 238141543 600854528 111495 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 146693 111495 2912 6655 0 120576 0
[pid=199911/tid=199913] ppid=199908 vsize=586772 memory=329528 CPUtime=0 cores=5,7
/proc/199911/task/199913/stat : 199913 (LSIPExact) S 199908 199911 197377 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 238142583 600854528 111495 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 586772 KiB
Current children cumulated memory: 445980 KiB
[startup+25.5003 s]
/proc/loadavg: 7.50 7.77 7.50 9/255 199913
/proc/meminfo: memFree=120330864/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=1057876 memory=928428 CPUtime=35.84 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) R 199908 199911 197377 0 -1 4194304 154491 0 0 0 3542 42 0 0 20 0 2 0 238141543 1083265024 232107 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 264469 232107 2912 6655 0 239075 0
[pid=199911/tid=199913] ppid=199908 vsize=1057876 memory=928428 CPUtime=11.14 cores=5,7
/proc/199911/task/199913/stat : 199913 (LSIPExact) R 199908 199911 197377 0 -1 4194368 19027 0 0 0 1107 7 0 0 20 0 2 0 238142583 1083265024 232107 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
Current children cumulated CPU time: 35.84 s
Current children cumulated vsize: 1057876 KiB
Current children cumulated memory: 928428 KiB
[startup+51.106 s]
/proc/loadavg: 7.63 7.78 7.51 9/255 199914
/proc/meminfo: memFree=120498024/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=810048 memory=754760 CPUtime=84.04 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) R 199908 199911 197377 0 -1 4194304 198160 0 0 0 8354 50 0 0 20 0 2 0 238141543 829489152 188690 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 202512 188690 3040 6655 0 190214 0
[pid=199911/tid=199913] ppid=199908 vsize=810048 memory=754760 CPUtime=34.55 cores=5,7
/proc/199911/task/199913/stat : 199913 (LSIPExact) R 199908 199911 197377 0 -1 4194368 26257 0 0 0 3447 8 0 0 20 0 2 0 238142583 829489152 188690 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
Current children cumulated CPU time: 84.04 s
Current children cumulated vsize: 810048 KiB
Current children cumulated memory: 754760 KiB
[startup+102.3 s]
/proc/loadavg: 7.82 7.80 7.53 9/254 199920
/proc/meminfo: memFree=119927272/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=1452904 memory=1324472 CPUtime=170.37 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) R 199908 199911 197377 0 -1 4194304 345517 0 0 0 16951 86 0 0 20 0 2 0 238141543 1487773696 331118 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 363226 331118 3520 6655 0 340094 0
[pid=199911/tid=199913] ppid=199908 vsize=1452904 memory=1123728 CPUtime=69.99 cores=5,7
/proc/199911/task/199913/stat : 199913 (LSIPExact) R 199908 199911 197377 0 -1 4194368 65545 0 0 0 6976 23 0 0 20 0 2 0 238142583 1487773696 331118 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
Current children cumulated CPU time: 170.37 s
Current children cumulated vsize: 1452904 KiB
Current children cumulated memory: 1324472 KiB
[startup+162.3 s]
/proc/loadavg: 8.00 7.85 7.57 9/254 199922
/proc/meminfo: memFree=119939584/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=1325480 memory=1228592 CPUtime=289.03 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) R 199908 199911 197377 0 -1 4194304 415083 0 0 0 28810 93 0 0 20 0 2 0 238141543 1357291520 307148 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 331370 307148 3520 6655 0 314089 0
[pid=199911/tid=199913] ppid=199908 vsize=1325480 memory=1225904 CPUtime=129.09 cores=5,7
/proc/199911/task/199913/stat : 199913 (LSIPExact) R 199908 199911 197377 0 -1 4194368 100173 0 0 0 12883 26 0 0 20 0 2 0 238142583 1357291520 307148 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
Current children cumulated CPU time: 289.03 s
Current children cumulated vsize: 1325480 KiB
Current children cumulated memory: 1228592 KiB
[startup+222.3 s]
/proc/loadavg: 8.00 7.88 7.60 9/253 199924
/proc/meminfo: memFree=119949560/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=1337336 memory=1241668 CPUtime=407.72 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) R 199908 199911 197377 0 -1 4194304 490415 0 0 0 40670 102 0 0 20 0 2 0 238141543 1369432064 310417 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 334334 310417 3520 6655 0 317053 0
[pid=199911/tid=199913] ppid=199908 vsize=1337336 memory=1241668 CPUtime=188.2 cores=5,7
/proc/199911/task/199913/stat : 199913 (LSIPExact) R 199908 199911 197377 0 -1 4194368 123383 0 0 0 18791 29 0 0 20 0 2 0 238142583 1369432064 310417 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
Current children cumulated CPU time: 407.72 s
Current children cumulated vsize: 1337336 KiB
Current children cumulated memory: 1241668 KiB
[startup+282.3 s]
/proc/loadavg: 7.56 7.79 7.59 8/253 199927
/proc/meminfo: memFree=111582132/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=1341660 memory=1254352 CPUtime=523.96 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) R 199908 199911 197377 0 -1 4194304 537319 0 0 0 52286 110 0 0 20 0 2 0 238141543 1373859840 313588 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 335415 313588 3520 6655 0 319906 0
[pid=199911/tid=199913] ppid=199908 vsize=1341660 memory=1240488 CPUtime=244.68 cores=5,7
/proc/199911/task/199913/stat : 199913 (LSIPExact) R 199908 199911 197377 0 -1 4194368 137024 0 0 0 24434 34 0 0 20 0 2 0 238142583 1373859840 313588 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
Current children cumulated CPU time: 523.96 s
Current children cumulated vsize: 1341660 KiB
Current children cumulated memory: 1254352 KiB
[startup+342.3 s]
/proc/loadavg: 7.26 7.66 7.55 8/253 199976
/proc/meminfo: memFree=124850020/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=1341660 memory=1280848 CPUtime=643.18 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) R 199908 199911 197377 0 -1 4194304 596976 0 0 0 64198 120 0 0 20 0 2 0 238141543 1373859840 320212 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 335415 320212 3520 6655 0 321858 0
[pid=199911/tid=199913] ppid=199908 vsize=1341660 memory=1240488 CPUtime=304.06 cores=5,7
/proc/199911/task/199913/stat : 199913 (LSIPExact) R 199908 199911 197377 0 -1 4194368 149392 0 0 0 30367 39 0 0 20 0 2 0 238142583 1373859840 320212 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
Current children cumulated CPU time: 643.18 s
Current children cumulated vsize: 1341660 KiB
Current children cumulated memory: 1280848 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/meminfo: memFree=111920300/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=1257700 memory=1217908 CPUtime=2114.89 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) S 199908 199911 197377 0 -1 4194304 1012450 0 0 0 211298 191 0 0 20 0 1 0 238141543 1287884800 304477 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 314425 304477 3552 6655 0 303443 0
[pid=200121] ppid=199911 vsize=15922600 memory=14190944 CPUtime=1054.54 cores=5,7
/proc/200121/stat : 200121 (Exact) R 199911 200121 200121 0 -1 4194304 2154881 0 0 0 104717 737 0 0 20 0 1 0 238249994 16304742400 3547736 18446744073709551615 4198400 8335837 140735106421040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 25051136 140735106422969 140735106423323 140735106423323 140735106428879 0
/proc/200121/statm: 3980650 3547736 1088 1011 0 3979417 0
Current children cumulated CPU time: 3169.43 s
Current children cumulated vsize: 17180300 KiB
Current children cumulated memory: 15408852 KiB
[startup+2202.3 s]
/proc/loadavg: 3.38 4.62 5.82 4/247 200252
/proc/meminfo: memFree=111894852/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=1257700 memory=1219956 CPUtime=2114.89 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) S 199908 199911 197377 0 -1 4194304 1012450 0 0 0 211298 191 0 0 20 0 1 0 238141543 1287884800 304989 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 314425 304989 3552 6655 0 303443 0
[pid=200121] ppid=199911 vsize=15922600 memory=14190944 CPUtime=1114.36 cores=5,7
/proc/200121/stat : 200121 (Exact) R 199911 200121 200121 0 -1 4194304 2156511 0 0 0 110697 739 0 0 20 0 1 0 238249994 16304742400 3547736 18446744073709551615 4198400 8335837 140735106421040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 25051136 140735106422969 140735106423323 140735106423323 140735106428879 0
/proc/200121/statm: 3980650 3547736 1088 1011 0 3979417 0
Current children cumulated CPU time: 3229.25 s
Current children cumulated vsize: 17180300 KiB
Current children cumulated memory: 15410900 KiB
[startup+2262.3 s]
/proc/loadavg: 3.24 4.35 5.65 4/246 200254
/proc/meminfo: memFree=111878616/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=1257700 memory=1219956 CPUtime=2114.89 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) S 199908 199911 197377 0 -1 4194304 1012450 0 0 0 211298 191 0 0 20 0 1 0 238141543 1287884800 304989 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 314425 304989 3552 6655 0 303443 0
[pid=200121] ppid=199911 vsize=15922600 memory=14191200 CPUtime=1174.18 cores=5,7
/proc/200121/stat : 200121 (Exact) R 199911 200121 200121 0 -1 4194304 2159854 0 0 0 116667 751 0 0 20 0 1 0 238249994 16304742400 3547800 18446744073709551615 4198400 8335837 140735106421040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 25051136 140735106422969 140735106423323 140735106423323 140735106428879 0
/proc/200121/statm: 3980650 3547800 1088 1011 0 3979417 0
Current children cumulated CPU time: 3289.07 s
Current children cumulated vsize: 17180300 KiB
Current children cumulated memory: 15411156 KiB
[startup+2322.3 s]
/proc/loadavg: 3.14 4.12 5.49 4/246 200256
/proc/meminfo: memFree=111871404/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=1257700 memory=1219956 CPUtime=2114.89 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) S 199908 199911 197377 0 -1 4194304 1012450 0 0 0 211298 191 0 0 20 0 1 0 238141543 1287884800 304989 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 314425 304989 3552 6655 0 303443 0
[pid=200121] ppid=199911 vsize=15922600 memory=14191200 CPUtime=1234 cores=5,7
/proc/200121/stat : 200121 (Exact) R 199911 200121 200121 0 -1 4194304 2161635 0 0 0 122649 751 0 0 20 0 1 0 238249994 16304742400 3547800 18446744073709551615 4198400 8335837 140735106421040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 25051136 140735106422969 140735106423323 140735106423323 140735106428879 0
/proc/200121/statm: 3980650 3547800 1088 1011 0 3979417 0
Current children cumulated CPU time: 3348.89 s
Current children cumulated vsize: 17180300 KiB
Current children cumulated memory: 15411156 KiB
[startup+2382.3 s]
/proc/loadavg: 2.94 3.89 5.32 3/239 200290
/proc/meminfo: memFree=113431388/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=1257700 memory=1219956 CPUtime=2114.89 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) S 199908 199911 197377 0 -1 4194304 1012450 0 0 0 211298 191 0 0 20 0 1 0 238141543 1287884800 304989 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 314425 304989 3552 6655 0 303443 0
[pid=200121] ppid=199911 vsize=15922600 memory=14191200 CPUtime=1293.81 cores=5,7
/proc/200121/stat : 200121 (Exact) R 199911 200121 200121 0 -1 4194304 2163581 0 0 0 128629 752 0 0 20 0 1 0 238249994 16304742400 3547800 18446744073709551615 4198400 8335837 140735106421040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 25051136 140735106422969 140735106423323 140735106423323 140735106428879 0
/proc/200121/statm: 3980650 3547800 1088 1011 0 3979417 0
Current children cumulated CPU time: 3408.7 s
Current children cumulated vsize: 17180300 KiB
Current children cumulated memory: 15411156 KiB
[startup+2442.3 s]
/proc/loadavg: 2.06 3.48 5.09 2/234 200326
/proc/meminfo: memFree=113503212/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=1257700 memory=1219956 CPUtime=2114.89 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) S 199908 199911 197377 0 -1 4194304 1012450 0 0 0 211298 191 0 0 20 0 1 0 238141543 1287884800 304989 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 314425 304989 3552 6655 0 303443 0
[pid=200121] ppid=199911 vsize=15959116 memory=14221812 CPUtime=1353.61 cores=5,7
/proc/200121/stat : 200121 (Exact) R 199911 200121 200121 0 -1 4194304 2170563 0 0 0 134606 755 0 0 20 0 1 0 238249994 16342134784 3555453 18446744073709551615 4198400 8335837 140735106421040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 25051136 140735106422969 140735106423323 140735106423323 140735106428879 0
/proc/200121/statm: 3989779 3555453 1088 1011 0 3988546 0
Current children cumulated CPU time: 3468.5 s
Current children cumulated vsize: 17216816 KiB
Current children cumulated memory: 15441768 KiB
[startup+2502.3 s]
/proc/loadavg: 1.43 3.04 4.84 2/234 200328
/proc/meminfo: memFree=113510888/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=1257700 memory=1219956 CPUtime=2114.89 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) S 199908 199911 197377 0 -1 4194304 1012450 0 0 0 211298 191 0 0 20 0 1 0 238141543 1287884800 304989 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 314425 304989 3552 6655 0 303443 0
[pid=200121] ppid=199911 vsize=15959116 memory=14223860 CPUtime=1413.42 cores=5,7
/proc/200121/stat : 200121 (Exact) R 199911 200121 200121 0 -1 4194304 2172978 0 0 0 140587 755 0 0 20 0 1 0 238249994 16342134784 3555965 18446744073709551615 4198400 8335837 140735106421040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 25051136 140735106422969 140735106423323 140735106423323 140735106428879 0
/proc/200121/statm: 3989779 3555965 1088 1011 0 3988546 0
Current children cumulated CPU time: 3528.31 s
Current children cumulated vsize: 17216816 KiB
Current children cumulated memory: 15443816 KiB
[startup+2562.3 s]
/proc/loadavg: 1.27 2.70 4.60 2/234 200330
/proc/meminfo: memFree=113505964/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=1257700 memory=1219956 CPUtime=2114.89 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) S 199908 199911 197377 0 -1 4194304 1012450 0 0 0 211298 191 0 0 20 0 1 0 238141543 1287884800 304989 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 314425 304989 3552 6655 0 303443 0
[pid=200121] ppid=199911 vsize=15959116 memory=14228084 CPUtime=1473.23 cores=5,7
/proc/200121/stat : 200121 (Exact) R 199911 200121 200121 0 -1 4194304 2175007 0 0 0 146567 756 0 0 20 0 1 0 238249994 16342134784 3557021 18446744073709551615 4198400 8335837 140735106421040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 25051136 140735106422969 140735106423323 140735106423323 140735106428879 0
/proc/200121/statm: 3989779 3557021 1088 1011 0 3988546 0
Current children cumulated CPU time: 3588.12 s
Current children cumulated vsize: 17216816 KiB
Current children cumulated memory: 15448040 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2574.3 s]
/proc/loadavg: 1.22 2.64 4.57 2/234 200330
/proc/meminfo: memFree=113506888/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=1257700 memory=1219956 CPUtime=2114.89 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) S 199908 199911 197377 0 -1 4194304 1012450 0 0 0 211298 191 0 0 20 0 1 0 238141543 1287884800 304989 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 314425 304989 3552 6655 0 303443 0
[pid=200121] ppid=199911 vsize=15959116 memory=14228212 CPUtime=1485.19 cores=5,7
/proc/200121/stat : 200121 (Exact) R 199911 200121 200121 0 -1 4194304 2176221 0 0 0 147763 756 0 0 20 0 1 0 238249994 16342134784 3557053 18446744073709551615 4198400 8335837 140735106421040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 25051136 140735106422969 140735106423323 140735106423323 140735106428879 0
/proc/200121/statm: 3989779 3557053 1088 1011 0 3988546 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 17216816 KiB
Current children cumulated memory: 15448168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2575.02 s]
# the end of solver process 199911 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.86 s, system=9.84584 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2574.41 s]
/proc/loadavg: 1.22 2.64 4.57 2/234 200330
/proc/meminfo: memFree=113506888/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=1257700 memory=1219956 CPUtime=2114.89 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) S 199908 199911 197377 0 -1 4194304 1012450 135 0 0 211298 191 0 0 20 0 1 0 238141543 1287884800 304989 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 16384 0 16386 1 0 0 17 7 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 314425 304989 3552 6655 0 303443 0
Current children cumulated CPU time: 2114.89 s
Current children cumulated vsize: 1257700 KiB
Current children cumulated memory: 1219956 KiB
[startup+2574.8 s]
/proc/loadavg: 1.22 2.64 4.57 2/234 200330
/proc/meminfo: memFree=113506888/131382112 swapFree=33010416/33010684
[pid=199911] ppid=199908 vsize=1257700 memory=1219956 CPUtime=3600.48 cores=5,7
/proc/199911/stat : 199911 (LSIPExact) R 199908 199911 197377 0 -1 4194304 1023547 2176428 0 0 211305 192 147765 786 20 0 1 0 238141543 1287884800 304989 18446744073709551615 93874218700800 93874245957201 140727283248432 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 93874254460040 93874254891648 93874272301056 140727283251544 140727283251720 140727283251720 140727283257324 0
/proc/199911/statm: 314425 304989 3552 6655 0 303443 0
Current children cumulated CPU time: 3600.48 s
Current children cumulated vsize: 1257700 KiB
Current children cumulated memory: 1219956 KiB
[startup+2575 s]*
/proc/loadavg: 1.22 2.64 4.57 2/233 200331
/proc/meminfo: memFree=128286128/131382112 swapFree=33010416/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): 2575.02
CPU time (s): 3600.71
CPU user time (s): 3590.86
CPU system time (s): 9.84584
CPU usage (%): 139.832
Max. virtual memory (cumulated for all children) (KiB): 18851476
Max. memory (cumulated for all children) (KiB): 16940380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.86
system time used= 9.84584
maximum resident set size= 15862120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3216555
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= 431
involuntary context switches= 45558
# summary of solver processes directly reported to runsolver:
# pid: 199911
# total CPU time (s): 3600.71
# total CPU user time (s): 3590.86
# total CPU system time (s): 9.84584
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6342 second user time and 20.9866 second system time
The end
Begin job on nodeC012 at 2025-07-23 00:50:18
IDJOB=4545341
IDBENCH=180847
IDSOLVER=3337
FILE ID=nodeC012/4545341-1753224618
RUNJOBID= nodeC012-1753220119-197390
SLURM_JOB_ID= 9687805
Free space on /tmp= 432740 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SolitairePattern-dec2-3-3-1.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545341-1753224618/watcher-4545341-1753224618 -o /tmp/evaluation-result-4545341-1753224618/solver-4545341-1753224618 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753220119-197390 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4545341-1753224618.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ecd2a3a27adff12226215cdbd4072e2c
RANDOM SEED=1307001177
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 : 3491.932
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 : 3574.297
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 : 3491.701
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 : 3491.831
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 : 3547.684
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 : 1197.286
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 : 3534.924
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.160
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: 121326116 kB
MemAvailable: 122342568 kB
Buffers: 2136 kB
Cached: 1781960 kB
SwapCached: 12 kB
Active: 8781644 kB
Inactive: 578388 kB
Active(anon): 7597388 kB
Inactive(anon): 4688 kB
Active(file): 1184256 kB
Inactive(file): 573700 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 51836 kB
Writeback: 4 kB
AnonPages: 7575160 kB
Mapped: 144932 kB
Shmem: 26140 kB
KReclaimable: 195860 kB
Slab: 287588 kB
SReclaimable: 195860 kB
SUnreclaim: 91728 kB
KernelStack: 4096 kB
PageTables: 18412 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 8384572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3985408 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= 432876 MiB
End job on nodeC012 at 2025-07-23 01:33:14