3493.10/1805.64 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3493.10/1805.64 c numVar: 1000400
3493.10/1805.64 c numCon: 2000307
3493.10/1805.64 c numEqual: 29707
3493.10/1805.64 c intSize: 38
3493.10/1805.64 c ls_time: 10.0, mip_time: 1790.0, exact_time: 1790.0
3493.10/1805.64 c ------------------- Paras list -------------------
3493.10/1805.64 c Name Type Now Default Comment
3493.10/1805.64 c timeout double 3600.000000 3600
3493.10/1805.64 c mip_time double 0.500000 0.5
3493.10/1805.64 c ls_time double 10.000000 10
3493.10/1805.64 c safe_mode int 2 2 1 trust; 2 feasible
3493.10/1805.64 c mip_emphasis int 2 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3493.10/1805.64 c random_seed int 0 0
3493.10/1805.64 c sample_size int 50 50
3493.10/1805.64 c sub_score int 1 1
3493.10/1805.64 c tabu_base int 3 3
3493.10/1805.64 c tabu_variation int 1 1
3493.10/1805.64 c sub_div int 4 4
3493.10/1805.64 c nbcore int 2 1
3493.10/1805.64 c memlimit int 31000 31744 memory limit in megabytes
3493.10/1805.64 c print_sol int 1 1
3493.10/1805.64 c tmpdir string . "."
3493.10/1805.64 c home string HOME "."
3493.10/1805.64 c benchname string HOME/instance-4505342-1751474584.opb ""
3493.10/1805.64 c --------------------------------------------------
3493.10/1805.64 c Local Search solver
3493.10/1805.64 c MIP solver
3493.10/1805.64 c use Exact solver
3600.01/1912.80 c receive signal 15, try to interrupt solver...
3493.14/1912.91 c Exact solver (PID 67355) 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: 63837 MiB (48742 MiB free)
memory of node 1: 64465 MiB (41104 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505342-1751474584/watcher-4505342-1751474584 -o /tmp/evaluation-result-4505342-1751474584/solver-4505342-1751474584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751468815-65341 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4505342-1751474584.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=67114, runsolver pid=67111
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 7.43 7.74 7.32 8/255 67115
/proc/meminfo: memFree=91942764/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=244004 memory=101068 CPUtime=0.1 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 18103 0 0 0 3 7 0 0 20 0 1 0 63137708 249860096 25235 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 61034 25267 1184 6655 0 51269 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 244004 KiB
Current children cumulated memory: 101068 KiB
[startup+0.213543 s]*
/proc/loadavg: 7.43 7.74 7.32 8/255 67115
/proc/meminfo: memFree=91764968/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=374552 memory=274508 CPUtime=0.2 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 50735 0 0 0 7 13 0 0 20 0 1 0 63137708 383541248 68595 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 93638 68627 1184 6655 0 83873 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 374552 KiB
Current children cumulated memory: 274508 KiB
[startup+0.312061 s]*
/proc/loadavg: 7.43 7.74 7.32 8/255 67115
/proc/meminfo: memFree=91667816/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=442928 memory=365388 CPUtime=0.3 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 67839 0 0 0 11 19 0 0 20 0 1 0 63137708 453558272 91347 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 110732 91347 1184 6655 0 100967 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 442928 KiB
Current children cumulated memory: 365388 KiB
[startup+0.700281 s]
/proc/loadavg: 7.43 7.74 7.32 8/255 67115
/proc/meminfo: memFree=91522152/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=550168 memory=507312 CPUtime=0.68 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 95247 0 0 0 40 28 0 0 20 0 1 0 63137708 563372032 126828 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 137542 126828 1184 6655 0 127777 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 550168 KiB
Current children cumulated memory: 507312 KiB
[startup+1.50031 s]
/proc/loadavg: 7.43 7.74 7.32 8/255 67115
/proc/meminfo: memFree=91522168/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=891248 memory=856604 CPUtime=1.48 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 123935 0 0 0 107 41 0 0 20 0 1 0 63137708 912637952 214151 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 222812 214151 1184 6655 0 213047 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 891248 KiB
Current children cumulated memory: 856604 KiB
[startup+3.11321 s]
/proc/loadavg: 7.43 7.74 7.32 8/255 67115
/proc/meminfo: memFree=90825456/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=1251004 memory=1216412 CPUtime=3.08 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 213900 0 0 0 249 59 0 0 20 0 1 0 63137708 1281028096 304103 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 312751 304103 1184 6655 0 302986 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1251004 KiB
Current children cumulated memory: 1216412 KiB
[startup+6.30034 s]
/proc/loadavg: 7.40 7.73 7.32 8/255 67115
/proc/meminfo: memFree=90224496/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=1827636 memory=1793076 CPUtime=6.26 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 354806 0 0 0 544 82 0 0 20 0 1 0 63137708 1871499264 448269 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 456909 448269 1184 6655 0 447144 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1827636 KiB
Current children cumulated memory: 1793076 KiB
[startup+12.7003 s]
/proc/loadavg: 7.37 7.72 7.32 8/255 67115
/proc/meminfo: memFree=89346412/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=3221256 memory=3143148 CPUtime=12.63 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 540735 0 0 0 1137 126 0 0 20 0 1 0 63137708 3298566144 785787 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 805314 785787 2304 6655 0 795549 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 3221256 KiB
Current children cumulated memory: 3143148 KiB
[startup+25.5004 s]
/proc/loadavg: 7.36 7.70 7.32 8/256 67116
/proc/meminfo: memFree=88116404/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=4166068 memory=3832968 CPUtime=25.39 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 579945 0 0 0 2377 162 0 0 20 0 2 0 63137708 4266053632 958242 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 1041517 958242 2848 6655 0 1015400 0
[pid=67114/tid=67116] ppid=67111 vsize=4166068 memory=164 CPUtime=0 cores=4,6
/proc/67114/task/67116/stat : 67116 (LSIPExact) S 67111 67114 65327 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 63139149 4266053632 958242 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 4166068 KiB
Current children cumulated memory: 3832968 KiB
[startup+51.1137 s]
/proc/loadavg: 7.24 7.64 7.31 8/256 67116
/proc/meminfo: memFree=85981844/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=6664128 memory=5938924 CPUtime=51.98 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 759864 0 0 0 4949 249 0 0 20 0 2 0 63137708 6824067072 1484731 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 1666032 1484731 3200 6655 0 1653819 0
[pid=67114/tid=67116] ppid=67111 vsize=6664128 memory=5830856 CPUtime=1.37 cores=4,6
/proc/67114/task/67116/stat : 67116 (LSIPExact) S 67111 67114 65327 0 -1 4194368 13630 0 0 0 127 10 0 0 20 0 2 0 63139149 6824067072 1484731 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
Current children cumulated CPU time: 51.98 s
Current children cumulated vsize: 6664128 KiB
Current children cumulated memory: 5938924 KiB
[startup+102.3 s]
/proc/loadavg: 7.37 7.60 7.31 9/256 67118
/proc/meminfo: memFree=85533268/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=8425452 memory=6798820 CPUtime=116.82 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 946563 0 0 0 11339 343 0 0 20 0 2 0 63137708 8627662848 1699705 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 2106363 1699705 3232 6655 0 2075549 0
[pid=67114/tid=67116] ppid=67111 vsize=8425452 memory=14080 CPUtime=15.46 cores=4,6
/proc/67114/task/67116/stat : 67116 (LSIPExact) R 67111 67114 65327 0 -1 4194368 67554 0 0 0 1508 38 0 0 20 0 2 0 63139149 8627662848 1700217 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
Current children cumulated CPU time: 116.82 s
Current children cumulated vsize: 8425452 KiB
Current children cumulated memory: 6798820 KiB
[startup+162.3 s]
/proc/loadavg: 7.88 7.71 7.37 9/256 67120
/proc/meminfo: memFree=84515540/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=8871364 memory=7486828 CPUtime=235.73 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 973872 0 0 0 23203 370 0 0 20 0 2 0 63137708 9084276736 1871707 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 2217841 1871707 3392 6655 0 2188372 0
[pid=67114/tid=67116] ppid=67111 vsize=8871364 memory=7557628 CPUtime=74.67 cores=4,6
/proc/67114/task/67116/stat : 67116 (LSIPExact) R 67111 67114 65327 0 -1 4194368 71478 0 0 0 7426 41 0 0 20 0 2 0 63139149 9084276736 1871707 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
Current children cumulated CPU time: 235.73 s
Current children cumulated vsize: 8871364 KiB
Current children cumulated memory: 7486828 KiB
[startup+222.3 s]
/proc/loadavg: 8.01 7.78 7.42 9/255 67122
/proc/meminfo: memFree=84485496/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=8871364 memory=7487200 CPUtime=354.69 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 995603 0 0 0 35094 375 0 0 20 0 2 0 63137708 9084276736 1871800 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 2217841 1871800 3392 6655 0 2188372 0
[pid=67114/tid=67116] ppid=67111 vsize=8871364 memory=7487200 CPUtime=133.91 cores=4,6
/proc/67114/task/67116/stat : 67116 (LSIPExact) R 67111 67114 65327 0 -1 4194368 71481 0 0 0 13350 41 0 0 20 0 2 0 63139149 9084276736 1871800 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
Current children cumulated CPU time: 354.69 s
Current children cumulated vsize: 8871364 KiB
Current children cumulated memory: 7487200 KiB
[startup+282.3 s]
/proc/loadavg: 8.12 7.85 7.47 9/255 67129
/proc/meminfo: memFree=83823956/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=9490520 memory=8158648 CPUtime=473.5 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 1166864 0 0 0 46935 415 0 0 20 0 2 0 63137708 9718292480 2039662 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 2372630 2039662 3488 6655 0 2328520 0
[pid=67114/tid=67116] ppid=67111 vsize=9490520 memory=8048304 CPUtime=193.06 cores=4,6
/proc/67114/task/67116/stat : 67116 (LSIPExact) R 67111 67114 65327 0 -1 4194368 237289 0 0 0 19225 81 0 0 20 0 2 0 63139149 9718292480 2039662 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
Current children cumulated CPU time: 473.5 s
Current children cumulated vsize: 9490520 KiB
Current children cumulated memory: 8158648 KiB
[startup+342.3 s]
/proc/loadavg: 8.11 7.90 7.51 9/254 67131
/proc/meminfo: memFree=83662196/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=9662844 memory=8275956 CPUtime=592.31 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 1213168 0 0 0 58802 429 0 0 20 0 2 0 63137708 9894752256 2068989 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 2415711 2068989 3488 6655 0 2369584 0
[pid=67114/tid=67116] ppid=67111 vsize=9662844 memory=8048304 CPUtime=252.22 cores=4,6
/proc/67114/task/67116/stat : 67116 (LSIPExact) R 67111 67114 65327 0 -1 4194368 272568 0 0 0 25128 94 0 0 20 0 2 0 63139149 9894752256 2068989 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
Current children cumulated CPU time: 592.31 s
Current children cumulated vsize: 9662844 KiB
Current children cumulated memory: 8275956 KiB
[startup+402.3 s]
/proc/loadavg: 7.48 7.76 7.48 8/254 67134
/proc/meminfo: memFree=83571620/131382116 swapFree=33010160/33010684
################
# More data... #
################
/proc/loadavg: 6.21 6.38 6.82 8/254 67338
/proc/meminfo: memFree=61045756/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=12320372 memory=10790076 CPUtime=2851.73 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 2156754 0 0 0 284434 739 0 0 20 0 2 0 63137708 12616060928 2697519 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 3080093 2697519 3488 6655 0 3043732 0
[pid=67114/tid=67116] ppid=67111 vsize=12320372 memory=10790056 CPUtime=1376.76 cores=4,6
/proc/67114/task/67116/stat : 67116 (LSIPExact) R 67111 67114 65327 0 -1 4194368 648487 0 0 0 137459 217 0 0 20 0 2 0 63139149 12616060928 2697519 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
Current children cumulated CPU time: 2851.73 s
Current children cumulated vsize: 12320372 KiB
Current children cumulated memory: 10790076 KiB
[startup+1542.3 s]
/proc/loadavg: 6.81 6.54 6.84 8/254 67345
/proc/meminfo: memFree=55160452/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=12322096 memory=10790728 CPUtime=2970.77 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 2185207 0 0 0 296333 744 0 0 20 0 2 0 63137708 12617826304 2697682 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 3080524 2697682 3488 6655 0 3044163 0
[pid=67114/tid=67116] ppid=67111 vsize=12322096 memory=10790728 CPUtime=1436.06 cores=4,6
/proc/67114/task/67116/stat : 67116 (LSIPExact) R 67111 67114 65327 0 -1 4194368 667022 0 0 0 143386 220 0 0 20 0 2 0 63139149 12617826304 2697682 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
Current children cumulated CPU time: 2970.77 s
Current children cumulated vsize: 12322096 KiB
Current children cumulated memory: 10790728 KiB
[startup+1602.3 s]
/proc/loadavg: 6.58 6.54 6.83 7/254 67347
/proc/meminfo: memFree=57431460/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=12322096 memory=10790748 CPUtime=3089.88 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 2209573 0 0 0 308240 748 0 0 20 0 2 0 63137708 12617826304 2697687 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 3080524 2697687 3488 6655 0 3044163 0
[pid=67114/tid=67116] ppid=67111 vsize=12322096 memory=17920 CPUtime=1495.43 cores=4,6
/proc/67114/task/67116/stat : 67116 (LSIPExact) R 67111 67114 65327 0 -1 4194368 672662 0 0 0 149322 221 0 0 20 0 2 0 63139149 12617826304 2697687 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
Current children cumulated CPU time: 3089.88 s
Current children cumulated vsize: 12322096 KiB
Current children cumulated memory: 10790748 KiB
[startup+1662.3 s]
/proc/loadavg: 6.33 6.47 6.78 7/254 67349
/proc/meminfo: memFree=57424132/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=12324120 memory=10793548 CPUtime=3209.04 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 2244031 0 0 0 320150 754 0 0 20 0 2 0 63137708 12619898880 2698387 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 3081030 2698387 3488 6655 0 3044669 0
[pid=67114/tid=67116] ppid=67111 vsize=12324120 memory=17920 CPUtime=1554.81 cores=4,6
/proc/67114/task/67116/stat : 67116 (LSIPExact) R 67111 67114 65327 0 -1 4194368 690222 0 0 0 155255 226 0 0 20 0 2 0 63139149 12619898880 2698387 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
Current children cumulated CPU time: 3209.04 s
Current children cumulated vsize: 12324120 KiB
Current children cumulated memory: 10793548 KiB
[startup+1722.3 s]
/proc/loadavg: 6.47 6.46 6.76 8/254 67351
/proc/meminfo: memFree=50372916/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=12324456 memory=10799124 CPUtime=3328.15 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 2277137 0 0 0 332052 763 0 0 20 0 2 0 63137708 12620242944 2699781 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 3081114 2699781 3488 6655 0 3044753 0
[pid=67114/tid=67116] ppid=67111 vsize=12324456 memory=17920 CPUtime=1614.16 cores=4,6
/proc/67114/task/67116/stat : 67116 (LSIPExact) R 67111 67114 65327 0 -1 4194368 705057 0 0 0 161186 230 0 0 20 0 2 0 63139149 12620242944 2699781 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
Current children cumulated CPU time: 3328.15 s
Current children cumulated vsize: 12324456 KiB
Current children cumulated memory: 10799124 KiB
[startup+1782.3 s]
/proc/loadavg: 6.81 6.56 6.78 8/254 67353
/proc/meminfo: memFree=48669624/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=12325468 memory=10800144 CPUtime=3447.22 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 2302210 0 0 0 343954 768 0 0 20 0 2 0 63137708 12621279232 2700036 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 3081367 2700036 3488 6655 0 3045006 0
[pid=67114/tid=67116] ppid=67111 vsize=12325468 memory=17920 CPUtime=1673.47 cores=4,6
/proc/67114/task/67116/stat : 67116 (LSIPExact) R 67111 67114 65327 0 -1 4194368 720120 0 0 0 167112 235 0 0 20 0 2 0 63139149 12621279232 2700036 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
Current children cumulated CPU time: 3447.22 s
Current children cumulated vsize: 12325468 KiB
Current children cumulated memory: 10800144 KiB
[startup+1842.3 s]
/proc/loadavg: 6.59 6.56 6.77 7/253 67356
/proc/meminfo: memFree=47887120/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=8971160 memory=8212412 CPUtime=3493.14 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) S 67111 67114 65327 0 -1 4194304 2513487 0 0 0 348528 786 0 0 20 0 1 0 63137708 9186467840 2053103 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 2242790 2053103 3520 6655 0 2207409 0
[pid=67355] ppid=67114 vsize=3267468 memory=3172600 CPUtime=36.53 cores=4,6
/proc/67355/stat : 67355 (Exact) R 67114 67355 67355 0 -1 4194304 282461 0 0 0 3522 131 0 0 20 0 1 0 63318272 3345887232 793150 18446744073709551615 4198400 8335837 140723170863008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 18710528 140723170871483 140723170871837 140723170871837 140723170877391 0
/proc/67355/statm: 816867 793150 1088 1011 0 815634 0
Current children cumulated CPU time: 3529.67 s
Current children cumulated vsize: 12238628 KiB
Current children cumulated memory: 11385012 KiB
[startup+1902.3 s]
/proc/loadavg: 6.27 6.47 6.72 7/254 67361
/proc/meminfo: memFree=47802784/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=8971160 memory=8212412 CPUtime=3493.14 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) S 67111 67114 65327 0 -1 4194304 2513487 0 0 0 348528 786 0 0 20 0 1 0 63137708 9186467840 2053103 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 2242790 2053103 3520 6655 0 2207409 0
[pid=67355] ppid=67114 vsize=3395596 memory=3216604 CPUtime=96.4 cores=4,6
/proc/67355/stat : 67355 (Exact) R 67114 67355 67355 0 -1 4194304 284897 0 0 0 9504 136 0 0 20 0 1 0 63318272 3477090304 804151 18446744073709551615 4198400 8335837 140723170863008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 18710528 140723170871483 140723170871837 140723170871837 140723170877391 0
/proc/67355/statm: 848899 804151 1088 1011 0 847666 0
Current children cumulated CPU time: 3589.54 s
Current children cumulated vsize: 12366756 KiB
Current children cumulated memory: 11429016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1912.8 s]
/proc/loadavg: 6.22 6.46 6.71 7/254 67362
/proc/meminfo: memFree=47762168/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=8971160 memory=8212412 CPUtime=3493.14 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) S 67111 67114 65327 0 -1 4194304 2513487 0 0 0 348528 786 0 0 20 0 1 0 63137708 9186467840 2053103 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 2242790 2053103 3520 6655 0 2207409 0
[pid=67355] ppid=67114 vsize=3395596 memory=3220700 CPUtime=106.87 cores=4,6
/proc/67355/stat : 67355 (Exact) R 67114 67355 67355 0 -1 4194304 284903 0 0 0 10551 136 0 0 20 0 1 0 63318272 3477090304 805175 18446744073709551615 4198400 8335837 140723170863008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 18710528 140723170871483 140723170871837 140723170871837 140723170877391 0
/proc/67355/statm: 848899 805175 1088 1011 0 847666 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 12366756 KiB
Current children cumulated memory: 11433112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1915.06 s]
# the end of solver process 67114 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3592.41 s, system=9.8116 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1913.6 s]
/proc/loadavg: 6.22 6.46 6.71 7/253 67363
/proc/meminfo: memFree=50976428/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=8924276 memory=8165532 CPUtime=3600.75 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 2634805 285037 0 0 348576 805 10553 141 20 0 1 0 63137708 9138458624 2041383 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 2231069 2041383 3520 6655 0 2195688 0
Current children cumulated CPU time: 3600.75 s
Current children cumulated vsize: 8924276 KiB
Current children cumulated memory: 8165532 KiB
[startup+1914.4 s]
/proc/loadavg: 6.22 6.46 6.71 7/253 67363
/proc/meminfo: memFree=51019724/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=8924276 memory=8165532 CPUtime=3601.55 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 2645327 285037 0 0 348654 807 10553 141 20 0 1 0 63137708 9138458624 2041383 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 2231069 2041383 3520 6655 0 2195688 0
Current children cumulated CPU time: 3601.55 s
Current children cumulated vsize: 8924276 KiB
Current children cumulated memory: 8165532 KiB
[startup+1914.8 s]
/proc/loadavg: 6.22 6.46 6.71 7/253 67363
/proc/meminfo: memFree=51019724/131382116 swapFree=33010160/33010684
[pid=67114] ppid=67111 vsize=8814860 memory=8056112 CPUtime=3601.94 cores=4,6
/proc/67114/stat : 67114 (LSIPExact) R 67111 67114 65327 0 -1 4194304 2710623 285037 0 0 348687 813 10553 141 20 0 1 0 63137708 9026416640 2014028 18446744073709551615 94113429467136 94113456723537 140731986390272 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94113465226376 94113465657984 94113498869760 140731986393434 140731986393610 140731986393610 140731986399212 0
/proc/67114/statm: 2203715 2014028 3520 6655 0 2168334 0
Current children cumulated CPU time: 3601.94 s
Current children cumulated vsize: 8814860 KiB
Current children cumulated memory: 8056112 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1915.06
CPU time (s): 3602.23
CPU user time (s): 3592.41
CPU system time (s): 9.8116
CPU usage (%): 188.1
Max. virtual memory (cumulated for all children) (KiB): 13440888
Max. memory (cumulated for all children) (KiB): 11433112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.41
system time used= 9.8116
maximum resident set size= 11392752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2995700
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= 391
involuntary context switches= 43681
# summary of solver processes directly reported to runsolver:
# pid: 67114
# total CPU time (s): 3602.23
# total CPU user time (s): 3592.41
# total CPU system time (s): 9.8116
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45211 second user time and 10.4662 second system time
The end
Begin job on nodeC004 at 2025-07-02 18:43:05
IDJOB=4505342
IDBENCH=155755
IDSOLVER=3337
FILE ID=nodeC004/4505342-1751474584
RUNJOBID= nodeC004-1751468815-65341
SLURM_JOB_ID= 9598488
Free space on /tmp= 431204 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_1_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-4505342-1751474584/watcher-4505342-1751474584 -o /tmp/evaluation-result-4505342-1751474584/solver-4505342-1751474584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751468815-65341 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4505342-1751474584.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ccba1baa4116ac35f164630a81450a8f
RANDOM SEED=1049739263
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 : 3491.847
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.803
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 : 3491.872
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.697
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 : 3492.398
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 : 3491.917
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 : 1197.217
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 : 3492.023
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: 92003136 kB
MemAvailable: 98043896 kB
Buffers: 2720 kB
Cached: 6790512 kB
SwapCached: 20 kB
Active: 32093200 kB
Inactive: 6453832 kB
Active(anon): 31765568 kB
Inactive(anon): 6188 kB
Active(file): 327632 kB
Inactive(file): 6447644 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 144468 kB
Writeback: 0 kB
AnonPages: 31748240 kB
Mapped: 139060 kB
Shmem: 17956 kB
KReclaimable: 210224 kB
Slab: 296572 kB
SReclaimable: 210224 kB
SUnreclaim: 86348 kB
KernelStack: 4112 kB
PageTables: 66620 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 35894308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 21094400 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= 430800 MiB
End job on nodeC004 at 2025-07-02 19:15:01