1307.41/727.01 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1307.41/727.01 c numVar: 103760
1307.41/727.01 c numCon: 89518
1307.41/727.01 c numEqual: 10040
1307.41/727.01 c intSize: 13
1307.41/727.01 c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1307.41/727.01 c ------------------- Paras list -------------------
1307.41/727.01 c Name Type Now Default Comment
1307.41/727.01 c timeout double 3600.000000 3600
1307.41/727.01 c mip_time double 0.200000 0.5
1307.41/727.01 c ls_time double 10.000000 10
1307.41/727.01 c safe_mode int 1 1 1 trust; 2 feasible
1307.41/727.01 c mip_emphasis int 5 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1307.41/727.01 c random_seed int 0 0
1307.41/727.01 c sample_size int 50 50
1307.41/727.01 c sub_score int 1 1
1307.41/727.01 c tabu_base int 3 3
1307.41/727.01 c tabu_variation int 1 1
1307.41/727.01 c sub_div int 4 4
1307.41/727.01 c nbcore int 2 1
1307.41/727.01 c memlimit int 31000 31744 memory limit in megabytes
1307.41/727.01 c print_sol int 1 1
1307.41/727.01 c tmpdir string . "."
1307.41/727.01 c home string HOME "."
1307.41/727.01 c benchname string HOME/instance-4545132-1753218966.opb ""
1307.41/727.01 c --------------------------------------------------
1307.41/727.01 c Local Search solver
1307.41/727.01 c MIP solver
1307.41/727.01 c use Exact solver
3600.00/3026.80 c receive signal 15, try to interrupt solver...
1307.43/3026.91 c Exact solver (PID 178858) interrupted gracefully.
3600.38/3027.33 s UNKNOWN
3600.38/3027.33 c Total time: 3027
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: 63665 MiB (37535 MiB free)
memory of node 1: 64507 MiB (60540 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545132-1753218966/watcher-4545132-1753218966 -o /tmp/evaluation-result-4545132-1753218966/solver-4545132-1753218966 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1753211081-176020 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4545132-1753218966.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=178669, runsolver pid=178666
[startup+0.100062 s]*
/proc/loadavg: 5.63 5.88 5.74 7/265 178670
/proc/meminfo: memFree=100373248/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=109004 memory=66136 CPUtime=0.09 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) R 178666 178669 176007 0 -1 4194304 15052 0 0 0 6 3 0 0 20 0 1 0 237574432 111620096 16534 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 27251 16534 1152 6655 0 17486 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109004 KiB
Current children cumulated memory: 66136 KiB
[startup+0.205745 s]*
/proc/loadavg: 5.63 5.88 5.74 7/265 178670
/proc/meminfo: memFree=100325872/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=164280 memory=129584 CPUtime=0.2 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) R 178666 178669 176007 0 -1 4194304 27850 0 0 0 15 5 0 0 20 0 1 0 237574432 168222720 32396 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 41070 32396 1152 6655 0 31305 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 164280 KiB
Current children cumulated memory: 129584 KiB
[startup+0.305773 s]*
/proc/loadavg: 5.63 5.88 5.74 7/265 178670
/proc/meminfo: memFree=100285552/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=202604 memory=167984 CPUtime=0.3 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) R 178666 178669 176007 0 -1 4194304 37424 0 0 0 23 7 0 0 20 0 1 0 237574432 207466496 41996 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 50651 41996 1152 6655 0 40886 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 202604 KiB
Current children cumulated memory: 167984 KiB
[startup+0.700179 s]
/proc/loadavg: 5.63 5.88 5.74 7/265 178670
/proc/meminfo: memFree=100213280/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=339440 memory=304304 CPUtime=0.69 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) R 178666 178669 176007 0 -1 4194304 71506 0 0 0 56 13 0 0 20 0 1 0 237574432 347586560 76076 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 84860 76076 1152 6655 0 75095 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 339440 KiB
Current children cumulated memory: 304304 KiB
[startup+1.50019 s]
/proc/loadavg: 5.66 5.88 5.74 7/265 178670
/proc/meminfo: memFree=100068128/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=467244 memory=431920 CPUtime=1.47 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) R 178666 178669 176007 0 -1 4194304 103419 0 0 0 130 17 0 0 20 0 1 0 237574432 478457856 107980 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 116811 107980 1152 6655 0 107046 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 467244 KiB
Current children cumulated memory: 431920 KiB
[startup+3.10565 s]
/proc/loadavg: 5.66 5.88 5.74 7/265 178670
/proc/meminfo: memFree=100028660/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=467244 memory=431920 CPUtime=3.08 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) R 178666 178669 176007 0 -1 4194304 103432 0 0 0 290 18 0 0 20 0 1 0 237574432 478457856 107980 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 116811 107980 1152 6655 0 107046 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 467244 KiB
Current children cumulated memory: 431920 KiB
[startup+6.30017 s]
/proc/loadavg: 5.69 5.89 5.74 7/265 178670
/proc/meminfo: memFree=100016928/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=467244 memory=431920 CPUtime=6.26 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) R 178666 178669 176007 0 -1 4194304 103446 0 0 0 608 18 0 0 20 0 1 0 237574432 478457856 107980 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 116811 107980 1152 6655 0 107046 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 467244 KiB
Current children cumulated memory: 431920 KiB
[startup+12.7002 s]
/proc/loadavg: 5.71 5.89 5.74 7/267 178673
/proc/meminfo: memFree=99651264/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=832488 memory=727048 CPUtime=12.64 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) R 178666 178669 176007 0 -1 4194304 138772 0 0 0 1236 28 0 0 20 0 2 0 237574432 852467712 181762 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 208122 181762 2848 6655 0 182005 0
[pid=178669/tid=178672] ppid=178666 vsize=832488 memory=726536 CPUtime=0 cores=5,7
/proc/178669/task/178672/stat : 178672 (LSIPExact) S 178666 178669 176007 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237575499 852467712 181762 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 832488 KiB
Current children cumulated memory: 727048 KiB
[startup+25.5002 s]
/proc/loadavg: 5.92 5.93 5.76 8/268 178674
/proc/meminfo: memFree=99076096/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=1376688 memory=1253444 CPUtime=30.23 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) R 178666 178669 176007 0 -1 4194304 246272 0 0 0 2959 64 0 0 20 0 2 0 237574432 1409728512 313361 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 344172 313361 3360 6655 0 322298 0
[pid=178669/tid=178672] ppid=178666 vsize=1376688 memory=1047220 CPUtime=4.85 cores=5,7
/proc/178669/task/178672/stat : 178672 (LSIPExact) R 178666 178669 176007 0 -1 4194368 33224 0 0 0 479 6 0 0 20 0 2 0 237575499 1409728512 313361 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
Current children cumulated CPU time: 30.23 s
Current children cumulated vsize: 1376688 KiB
Current children cumulated memory: 1253444 KiB
[startup+51.1057 s]
/proc/loadavg: 6.12 5.98 5.78 7/268 178675
/proc/meminfo: memFree=98922172/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=1377828 memory=1289536 CPUtime=68.95 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) R 178666 178669 176007 0 -1 4194304 270560 0 0 0 6828 67 0 0 20 0 2 0 237574432 1410895872 322384 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 344457 322384 3360 6655 0 330572 0
[pid=178669/tid=178672] ppid=178666 vsize=1377828 memory=1289536 CPUtime=18.09 cores=5,7
/proc/178669/task/178672/stat : 178672 (LSIPExact) S 178666 178669 176007 0 -1 4194368 51113 0 0 0 1800 9 0 0 20 0 2 0 237575499 1410895872 322384 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
Current children cumulated CPU time: 68.95 s
Current children cumulated vsize: 1377828 KiB
Current children cumulated memory: 1289536 KiB
[startup+102.3 s]
/proc/loadavg: 6.10 6.00 5.80 7/268 178677
/proc/meminfo: memFree=98845816/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=1385792 memory=1298256 CPUtime=119.93 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) R 178666 178669 176007 0 -1 4194304 287733 0 0 0 11924 69 0 0 20 0 2 0 237574432 1419051008 324564 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 346448 324564 3360 6655 0 332563 0
[pid=178669/tid=178672] ppid=178666 vsize=1385792 memory=1298256 CPUtime=18.09 cores=5,7
/proc/178669/task/178672/stat : 178672 (LSIPExact) S 178666 178669 176007 0 -1 4194368 51113 0 0 0 1800 9 0 0 20 0 2 0 237575499 1419051008 324564 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
Current children cumulated CPU time: 119.93 s
Current children cumulated vsize: 1385792 KiB
Current children cumulated memory: 1298256 KiB
[startup+162.3 s]
/proc/loadavg: 6.29 6.06 5.84 8/268 178678
/proc/meminfo: memFree=98510356/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=1651052 memory=1546816 CPUtime=187.73 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) R 178666 178669 176007 0 -1 4194304 382233 0 0 0 18681 92 0 0 20 0 2 0 237574432 1690677248 386704 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 412763 386704 3392 6655 0 398878 0
[pid=178669/tid=178672] ppid=178666 vsize=1651052 memory=1298256 CPUtime=26.13 cores=5,7
/proc/178669/task/178672/stat : 178672 (LSIPExact) R 178666 178669 176007 0 -1 4194368 64439 0 0 0 2603 10 0 0 20 0 2 0 237575499 1690677248 386704 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
Current children cumulated CPU time: 187.73 s
Current children cumulated vsize: 1651052 KiB
Current children cumulated memory: 1546816 KiB
[startup+222.3 s]
/proc/loadavg: 6.79 6.25 5.92 8/269 178681
/proc/meminfo: memFree=97852216/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=1665844 memory=1562164 CPUtime=306.69 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) R 178666 178669 176007 0 -1 4194304 428204 0 0 0 30571 98 0 0 20 0 2 0 237574432 1705824256 390541 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 416461 390541 3424 6655 0 402576 0
[pid=178669/tid=178672] ppid=178666 vsize=1665844 memory=14384 CPUtime=85.36 cores=5,7
/proc/178669/task/178672/stat : 178672 (LSIPExact) R 178666 178669 176007 0 -1 4194368 80357 0 0 0 8525 11 0 0 20 0 2 0 237575499 1705824256 390541 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
Current children cumulated CPU time: 306.69 s
Current children cumulated vsize: 1665844 KiB
Current children cumulated memory: 1562164 KiB
[startup+282.3 s]
/proc/loadavg: 7.04 6.42 6.00 8/270 178696
/proc/meminfo: memFree=97890172/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=1839372 memory=1730548 CPUtime=425.57 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) R 178666 178669 176007 0 -1 4194304 496896 0 0 0 42448 109 0 0 20 0 2 0 237574432 1883516928 432637 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 459843 432637 3424 6655 0 445958 0
[pid=178669/tid=178672] ppid=178666 vsize=1839372 memory=1562676 CPUtime=144.56 cores=5,7
/proc/178669/task/178672/stat : 178672 (LSIPExact) R 178666 178669 176007 0 -1 4194368 87555 0 0 0 14444 12 0 0 20 0 2 0 237575499 1883516928 432637 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
Current children cumulated CPU time: 425.57 s
Current children cumulated vsize: 1839372 KiB
Current children cumulated memory: 1730548 KiB
[startup+342.3 s]
/proc/loadavg: 7.08 6.54 6.07 8/269 178700
/proc/meminfo: memFree=102503560/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=1782740 memory=1675900 CPUtime=544.42 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) R 178666 178669 176007 0 -1 4194304 541674 0 0 0 54328 114 0 0 20 0 2 0 237574432 1825525760 418975 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 445685 418975 3424 6655 0 431800 0
[pid=178669/tid=178672] ppid=178666 vsize=1782740 memory=1562676 CPUtime=203.74 cores=5,7
/proc/178669/task/178672/stat : 178672 (LSIPExact) R 178666 178669 176007 0 -1 4194368 98597 0 0 0 20361 13 0 0 20 0 2 0 237575499 1825525760 418975 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
Current children cumulated CPU time: 544.42 s
Current children cumulated vsize: 1782740 KiB
Current children cumulated memory: 1675900 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/178858/statm: 166052 157059 1088 1011 0 164819 0
Current children cumulated CPU time: 3076.95 s
Current children cumulated vsize: 2267784 KiB
Current children cumulated memory: 2193556 KiB
[startup+2562.3 s]
/proc/loadavg: 3.11 3.58 4.61 4/260 179067
/proc/meminfo: memFree=124187836/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=1603576 memory=1565320 CPUtime=1307.43 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) S 178666 178669 176007 0 -1 4194304 857766 0 0 0 130583 160 0 0 20 0 1 0 237574432 1642061824 391330 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 400894 391330 3456 6655 0 391087 0
[pid=178858] ppid=178669 vsize=664208 memory=628236 CPUtime=1829.36 cores=5,7
/proc/178858/stat : 178858 (Exact) R 178669 178858 178858 0 -1 4194304 86454 0 0 0 182899 37 0 0 20 0 1 0 237647133 680148992 157059 18446744073709551615 4198400 8335837 140724231292304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 18526208 140724231297209 140724231297563 140724231297563 140724231303119 0
/proc/178858/statm: 166052 157059 1088 1011 0 164819 0
Current children cumulated CPU time: 3136.79 s
Current children cumulated vsize: 2267784 KiB
Current children cumulated memory: 2193556 KiB
[startup+2622.3 s]
/proc/loadavg: 3.10 3.49 4.52 4/260 179069
/proc/meminfo: memFree=124180200/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=1603576 memory=1565320 CPUtime=1307.43 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) S 178666 178669 176007 0 -1 4194304 857766 0 0 0 130583 160 0 0 20 0 1 0 237574432 1642061824 391330 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 400894 391330 3456 6655 0 391087 0
[pid=178858] ppid=178669 vsize=664208 memory=628236 CPUtime=1889.2 cores=5,7
/proc/178858/stat : 178858 (Exact) R 178669 178858 178858 0 -1 4194304 86519 0 0 0 188882 38 0 0 20 0 1 0 237647133 680148992 157059 18446744073709551615 4198400 8335837 140724231292304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 18526208 140724231297209 140724231297563 140724231297563 140724231303119 0
/proc/178858/statm: 166052 157059 1088 1011 0 164819 0
Current children cumulated CPU time: 3196.63 s
Current children cumulated vsize: 2267784 KiB
Current children cumulated memory: 2193556 KiB
[startup+2682.3 s]
/proc/loadavg: 3.12 3.43 4.43 4/262 179084
/proc/meminfo: memFree=124179636/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=1603576 memory=1565320 CPUtime=1307.43 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) S 178666 178669 176007 0 -1 4194304 857766 0 0 0 130583 160 0 0 20 0 1 0 237574432 1642061824 391330 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 400894 391330 3456 6655 0 391087 0
[pid=178858] ppid=178669 vsize=664208 memory=628236 CPUtime=1949.03 cores=5,7
/proc/178858/stat : 178858 (Exact) R 178669 178858 178858 0 -1 4194304 86552 0 0 0 194865 38 0 0 20 0 1 0 237647133 680148992 157059 18446744073709551615 4198400 8335837 140724231292304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 18526208 140724231297209 140724231297563 140724231297563 140724231303119 0
/proc/178858/statm: 166052 157059 1088 1011 0 164819 0
Current children cumulated CPU time: 3256.46 s
Current children cumulated vsize: 2267784 KiB
Current children cumulated memory: 2193556 KiB
[startup+2742.3 s]
/proc/loadavg: 3.08 3.36 4.34 4/262 179100
/proc/meminfo: memFree=124127664/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=1603576 memory=1565320 CPUtime=1307.43 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) S 178666 178669 176007 0 -1 4194304 857766 0 0 0 130583 160 0 0 20 0 1 0 237574432 1642061824 391330 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 400894 391330 3456 6655 0 391087 0
[pid=178858] ppid=178669 vsize=664208 memory=630300 CPUtime=2008.83 cores=5,7
/proc/178858/stat : 178858 (Exact) R 178669 178858 178858 0 -1 4194304 86672 0 0 0 200845 38 0 0 20 0 1 0 237647133 680148992 157575 18446744073709551615 4198400 8335837 140724231292304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 18526208 140724231297209 140724231297563 140724231297563 140724231303119 0
/proc/178858/statm: 166052 157575 1088 1011 0 164819 0
Current children cumulated CPU time: 3316.26 s
Current children cumulated vsize: 2267784 KiB
Current children cumulated memory: 2195620 KiB
[startup+2802.3 s]
/proc/loadavg: 3.08 3.31 4.26 4/262 179102
/proc/meminfo: memFree=124127420/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=1603576 memory=1565320 CPUtime=1307.43 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) S 178666 178669 176007 0 -1 4194304 857766 0 0 0 130583 160 0 0 20 0 1 0 237574432 1642061824 391330 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 400894 391330 3456 6655 0 391087 0
[pid=178858] ppid=178669 vsize=664208 memory=630556 CPUtime=2068.65 cores=5,7
/proc/178858/stat : 178858 (Exact) R 178669 178858 178858 0 -1 4194304 86834 0 0 0 206827 38 0 0 20 0 1 0 237647133 680148992 157639 18446744073709551615 4198400 8335837 140724231292304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 18526208 140724231297209 140724231297563 140724231297563 140724231303119 0
/proc/178858/statm: 166052 157639 1088 1011 0 164819 0
Current children cumulated CPU time: 3376.08 s
Current children cumulated vsize: 2267784 KiB
Current children cumulated memory: 2195876 KiB
[startup+2862.3 s]
/proc/loadavg: 3.14 3.28 4.19 3/256 179139
/proc/meminfo: memFree=124716564/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=1603576 memory=1565320 CPUtime=1307.43 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) S 178666 178669 176007 0 -1 4194304 857766 0 0 0 130583 160 0 0 20 0 1 0 237574432 1642061824 391330 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 400894 391330 3456 6655 0 391087 0
[pid=178858] ppid=178669 vsize=664208 memory=630556 CPUtime=2128.49 cores=5,7
/proc/178858/stat : 178858 (Exact) R 178669 178858 178858 0 -1 4194304 87005 0 0 0 212811 38 0 0 20 0 1 0 237647133 680148992 157639 18446744073709551615 4198400 8335837 140724231292304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 18526208 140724231297209 140724231297563 140724231297563 140724231303119 0
/proc/178858/statm: 166052 157639 1088 1011 0 164819 0
Current children cumulated CPU time: 3435.92 s
Current children cumulated vsize: 2267784 KiB
Current children cumulated memory: 2195876 KiB
[startup+2922.3 s]
/proc/loadavg: 2.48 3.06 4.05 3/256 179141
/proc/meminfo: memFree=124686220/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=1603576 memory=1565320 CPUtime=1307.43 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) S 178666 178669 176007 0 -1 4194304 857766 0 0 0 130583 160 0 0 20 0 1 0 237574432 1642061824 391330 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 400894 391330 3456 6655 0 391087 0
[pid=178858] ppid=178669 vsize=667472 memory=635044 CPUtime=2188.33 cores=5,7
/proc/178858/stat : 178858 (Exact) R 178669 178858 178858 0 -1 4194304 87445 0 0 0 218795 38 0 0 20 0 1 0 237647133 683491328 158761 18446744073709551615 4198400 8335837 140724231292304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 18526208 140724231297209 140724231297563 140724231297563 140724231303119 0
/proc/178858/statm: 166868 158761 1088 1011 0 165635 0
Current children cumulated CPU time: 3495.76 s
Current children cumulated vsize: 2271048 KiB
Current children cumulated memory: 2200364 KiB
[startup+2982.3 s]
/proc/loadavg: 2.17 2.86 3.92 3/253 179149
/proc/meminfo: memFree=124711432/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=1603576 memory=1565320 CPUtime=1307.43 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) S 178666 178669 176007 0 -1 4194304 857766 0 0 0 130583 160 0 0 20 0 1 0 237574432 1642061824 391330 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 400894 391330 3456 6655 0 391087 0
[pid=178858] ppid=178669 vsize=667472 memory=635044 CPUtime=2248.18 cores=5,7
/proc/178858/stat : 178858 (Exact) R 178669 178858 178858 0 -1 4194304 87541 0 0 0 224780 38 0 0 20 0 1 0 237647133 683491328 158761 18446744073709551615 4198400 8335837 140724231292304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 18526208 140724231297209 140724231297563 140724231297563 140724231303119 0
/proc/178858/statm: 166868 158761 1088 1011 0 165635 0
Current children cumulated CPU time: 3555.61 s
Current children cumulated vsize: 2271048 KiB
Current children cumulated memory: 2200364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3026.8 s]
/proc/loadavg: 2.13 2.77 3.84 3/253 179150
/proc/meminfo: memFree=124707416/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=1603576 memory=1565320 CPUtime=1307.43 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) S 178666 178669 176007 0 -1 4194304 857766 0 0 0 130583 160 0 0 20 0 1 0 237574432 1642061824 391330 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 400894 391330 3456 6655 0 391087 0
[pid=178858] ppid=178669 vsize=667472 memory=635812 CPUtime=2292.57 cores=5,7
/proc/178858/stat : 178858 (Exact) R 178669 178858 178858 0 -1 4194304 87743 0 0 0 229219 38 0 0 20 0 1 0 237647133 683491328 158953 18446744073709551615 4198400 8335837 140724231292304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 18526208 140724231297209 140724231297563 140724231297563 140724231303119 0
/proc/178858/statm: 166868 158953 1088 1011 0 165635 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2271048 KiB
Current children cumulated memory: 2201132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3027.36 s]
# the end of solver process 178669 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.4 s, system=2.0782 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3027.2 s]
/proc/loadavg: 2.12 2.76 3.83 3/252 179151
/proc/meminfo: memFree=125325120/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=1603576 memory=1565320 CPUtime=3600.28 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) R 178666 178669 176007 0 -1 4194304 910694 87887 0 0 130607 163 229220 38 20 0 1 0 237574432 1642061824 391330 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 400894 391330 3456 6655 0 391087 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 1603576 KiB
Current children cumulated memory: 1565320 KiB
[startup+3027.3 s]
/proc/loadavg: 2.12 2.76 3.83 3/252 179151
/proc/meminfo: memFree=125325120/131249996 swapFree=33010416/33010684
[pid=178669] ppid=178666 vsize=1603576 memory=1565320 CPUtime=3600.38 cores=5,7
/proc/178669/stat : 178669 (LSIPExact) R 178666 178669 176007 0 -1 4194304 931866 87887 0 0 130616 164 229220 38 20 0 1 0 237574432 1642061824 391330 18446744073709551615 94747613073408 94747640330577 140729106324048 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94747648832648 94747649264256 94747654524928 140729106331992 140729106332168 140729106332168 140729106337772 0
/proc/178669/statm: 400894 391330 3456 6655 0 391087 0
Current children cumulated CPU time: 3600.38 s
Current children cumulated vsize: 1603576 KiB
Current children cumulated memory: 1565320 KiB
Child status: 0
Real time (s): 3027.36
CPU time (s): 3600.47
CPU user time (s): 3598.4
CPU system time (s): 2.0782
CPU usage (%): 118.931
Max. virtual memory (cumulated for all children) (KiB): 2271048
Max. memory (cumulated for all children) (KiB): 2201132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.39
system time used= 2.0782
maximum resident set size= 1860132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1037860
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= 536
involuntary context switches= 22301
# summary of solver processes directly reported to runsolver:
# pid: 178669
# total CPU time (s): 3600.47
# total CPU user time (s): 3598.4
# total CPU system time (s): 2.0782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.05158 second user time and 14.2091 second system time
The end
Begin job on nodeC022 at 2025-07-22 23:16:07
IDJOB=4545132
IDBENCH=180714
IDSOLVER=3384
FILE ID=nodeC022/4545132-1753218966
RUNJOBID= nodeC022-1753211081-176020
SLURM_JOB_ID= 9687788
Free space on /tmp= 432576 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-AverageAvoiding-mini-40_c24.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545132-1753218966/watcher-4545132-1753218966 -o /tmp/evaluation-result-4545132-1753218966/solver-4545132-1753218966 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1753211081-176020 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4545132-1753218966.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e60f0e926bcd6b192a3b449cde285525
RANDOM SEED=1480704073
nodeC022 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 : 0xb00002a
cpu MHz : 3599.705
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44
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 : 0xb00002a
cpu MHz : 3599.595
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44
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 : 0xb00002a
cpu MHz : 3599.874
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44
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 : 0xb00002a
cpu MHz : 3599.755
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44
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 : 0xb00002a
cpu MHz : 3599.715
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44
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 : 0xb00002a
cpu MHz : 3641.772
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44
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 : 0xb00002a
cpu MHz : 3600.784
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44
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 : 0xb00002a
cpu MHz : 3599.805
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 100429732 kB
MemAvailable: 101852316 kB
Buffers: 2128 kB
Cached: 2172520 kB
SwapCached: 32 kB
Active: 28925880 kB
Inactive: 1030764 kB
Active(anon): 27806092 kB
Inactive(anon): 2124 kB
Active(file): 1119788 kB
Inactive(file): 1028640 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 72584 kB
Writeback: 28 kB
AnonPages: 27773024 kB
Mapped: 149812 kB
Shmem: 26220 kB
KReclaimable: 226392 kB
Slab: 322220 kB
SReclaimable: 226392 kB
SUnreclaim: 95828 kB
KernelStack: 4256 kB
PageTables: 58200 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 31349196 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16316416 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432688 MiB
End job on nodeC022 at 2025-07-23 00:06:34