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 (61421 MiB free)
memory of node 1: 64507 MiB (62266 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503520-1751139926/watcher-4503520-1751139926 -o /tmp/evaluation-result-4503520-1751139926/solver-4503520-1751139926 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751133631-11286 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4503520-1751139926.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=14270, runsolver pid=14267
[startup+0.100073 s]*
/proc/loadavg: 5.25 5.73 5.89 6/267 14271
/proc/meminfo: memFree=126589656/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=110992 memory=76360 CPUtime=0.09 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) R 14267 14270 11267 0 -1 4194304 15549 0 0 0 7 2 0 0 20 0 1 0 29671464 113655808 19090 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 27748 19090 1152 6655 0 17983 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 110992 KiB
Current children cumulated memory: 76360 KiB
[startup+0.205618 s]*
/proc/loadavg: 5.25 5.73 5.89 6/267 14271
/proc/meminfo: memFree=126557652/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=147892 memory=113096 CPUtime=0.19 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) R 14267 14270 11267 0 -1 4194304 24748 0 0 0 16 3 0 0 20 0 1 0 29671464 151441408 28274 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 36973 28274 1152 6655 0 27208 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 147892 KiB
Current children cumulated memory: 113096 KiB
[startup+0.30553 s]*
/proc/loadavg: 5.25 5.73 5.89 6/267 14271
/proc/meminfo: memFree=126533460/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=165032 memory=130248 CPUtime=0.3 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) R 14267 14270 11267 0 -1 4194304 29014 0 0 0 26 4 0 0 20 0 1 0 29671464 168992768 32562 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 41258 32562 1152 6655 0 31493 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 165032 KiB
Current children cumulated memory: 130248 KiB
[startup+0.700207 s]
/proc/loadavg: 5.25 5.73 5.89 6/267 14271
/proc/meminfo: memFree=126533208/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=165032 memory=130248 CPUtime=0.69 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) R 14267 14270 11267 0 -1 4194304 29014 0 0 0 65 4 0 0 20 0 1 0 29671464 168992768 32562 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 41258 32562 1152 6655 0 31493 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 165032 KiB
Current children cumulated memory: 130248 KiB
[startup+1.5002 s]
/proc/loadavg: 5.25 5.73 5.89 6/267 14272
/proc/meminfo: memFree=126533208/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=165032 memory=130248 CPUtime=1.48 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) R 14267 14270 11267 0 -1 4194304 29014 0 0 0 144 4 0 0 20 0 1 0 29671464 168992768 32562 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 41258 32562 1152 6655 0 31493 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 165032 KiB
Current children cumulated memory: 130248 KiB
[startup+3.10542 s]
/proc/loadavg: 5.25 5.73 5.89 6/267 14272
/proc/meminfo: memFree=126533208/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=165032 memory=130248 CPUtime=3.09 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) R 14267 14270 11267 0 -1 4194304 29019 0 0 0 305 4 0 0 20 0 1 0 29671464 168992768 32562 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 41258 32562 1152 6655 0 31493 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 165032 KiB
Current children cumulated memory: 130248 KiB
[startup+6.30019 s]
/proc/loadavg: 5.23 5.72 5.89 6/266 14272
/proc/meminfo: memFree=126533232/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=165032 memory=130248 CPUtime=6.27 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) R 14267 14270 11267 0 -1 4194304 29024 0 0 0 623 4 0 0 20 0 1 0 29671464 168992768 32562 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 41258 32562 1152 6655 0 31493 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 165032 KiB
Current children cumulated memory: 130248 KiB
[startup+12.7002 s]
/proc/loadavg: 5.21 5.71 5.89 6/267 14273
/proc/meminfo: memFree=126263000/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=693844 memory=636496 CPUtime=13.26 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) R 14267 14270 11267 0 -1 4194304 112847 0 0 0 1305 21 0 0 20 0 2 0 29671464 710496256 159124 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 173461 159124 3392 6655 0 163693 0
[pid=14270/tid=14273] ppid=14267 vsize=693844 memory=352576 CPUtime=0.61 cores=5,7
/proc/14270/task/14273/stat : 14273 (LSIPExact) R 14267 14270 11267 0 -1 4194368 13380 0 0 0 59 2 0 0 20 0 2 0 29672487 710496256 159124 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
Current children cumulated CPU time: 13.26 s
Current children cumulated vsize: 693844 KiB
Current children cumulated memory: 636496 KiB
[startup+25.5002 s]
/proc/loadavg: 5.38 5.72 5.89 7/267 14273
/proc/meminfo: memFree=125919924/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=813388 memory=718052 CPUtime=38.69 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) R 14267 14270 11267 0 -1 4194304 155373 0 0 0 3840 29 0 0 20 0 2 0 29671464 832909312 179513 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 203347 179513 3392 6655 0 183909 0
[pid=14270/tid=14273] ppid=14267 vsize=813388 memory=14444 CPUtime=13.28 cores=5,7
/proc/14270/task/14273/stat : 14273 (LSIPExact) R 14267 14270 11267 0 -1 4194368 34939 0 0 0 1320 8 0 0 20 0 2 0 29672487 832909312 179513 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
Current children cumulated CPU time: 38.69 s
Current children cumulated vsize: 813388 KiB
Current children cumulated memory: 718052 KiB
[startup+51.1055 s]
/proc/loadavg: 5.66 5.76 5.90 7/267 14273
/proc/meminfo: memFree=125748700/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=949072 memory=881832 CPUtime=89.54 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) R 14267 14270 11267 0 -1 4194304 211021 0 0 0 8918 36 0 0 20 0 2 0 29671464 971849728 220458 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 237268 220458 3392 6655 0 224155 0
[pid=14270/tid=14273] ppid=14267 vsize=949072 memory=752700 CPUtime=38.61 cores=5,7
/proc/14270/task/14273/stat : 14273 (LSIPExact) R 14267 14270 11267 0 -1 4194368 56328 0 0 0 3852 9 0 0 20 0 2 0 29672487 971849728 220458 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
Current children cumulated CPU time: 89.54 s
Current children cumulated vsize: 949072 KiB
Current children cumulated memory: 881832 KiB
[startup+102.3 s]
/proc/loadavg: 5.91 5.82 5.91 7/267 14275
/proc/meminfo: memFree=125698288/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=958044 memory=909124 CPUtime=191.23 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) R 14267 14270 11267 0 -1 4194304 332644 0 0 0 19076 47 0 0 20 0 2 0 29671464 981037056 227281 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 239511 227281 3456 6655 0 227404 0
[pid=14270/tid=14273] ppid=14267 vsize=958044 memory=856260 CPUtime=89.27 cores=5,7
/proc/14270/task/14273/stat : 14273 (LSIPExact) R 14267 14270 11267 0 -1 4194368 96549 0 0 0 8914 13 0 0 20 0 2 0 29672487 981037056 227281 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
Current children cumulated CPU time: 191.23 s
Current children cumulated vsize: 958044 KiB
Current children cumulated memory: 909124 KiB
[startup+162.3 s]
/proc/loadavg: 6.01 5.87 5.92 7/267 14277
/proc/meminfo: memFree=125682588/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=961956 memory=914468 CPUtime=310.43 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) R 14267 14270 11267 0 -1 4194304 364179 0 0 0 30993 50 0 0 20 0 2 0 29671464 985042944 228617 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 240489 228617 3456 6655 0 228382 0
[pid=14270/tid=14273] ppid=14267 vsize=961956 memory=914468 CPUtime=148.65 cores=5,7
/proc/14270/task/14273/stat : 14273 (LSIPExact) R 14267 14270 11267 0 -1 4194368 102714 0 0 0 14851 14 0 0 20 0 2 0 29672487 985042944 228617 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
Current children cumulated CPU time: 310.43 s
Current children cumulated vsize: 961956 KiB
Current children cumulated memory: 914468 KiB
[startup+222.3 s]
/proc/loadavg: 6.10 5.92 5.94 7/267 14279
/proc/meminfo: memFree=125663508/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=992048 memory=944620 CPUtime=429.62 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) R 14267 14270 11267 0 -1 4194304 415915 0 0 0 42907 55 0 0 20 0 2 0 29671464 1015857152 236155 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 248012 236155 3456 6655 0 235905 0
[pid=14270/tid=14273] ppid=14267 vsize=992048 memory=944620 CPUtime=208.03 cores=5,7
/proc/14270/task/14273/stat : 14273 (LSIPExact) R 14267 14270 11267 0 -1 4194368 116274 0 0 0 20787 16 0 0 20 0 2 0 29672487 1015857152 236155 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
Current children cumulated CPU time: 429.62 s
Current children cumulated vsize: 992048 KiB
Current children cumulated memory: 944620 KiB
[startup+282.3 s]
/proc/loadavg: 6.09 5.95 5.95 7/267 14281
/proc/meminfo: memFree=125620012/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=992048 memory=944620 CPUtime=548.86 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) R 14267 14270 11267 0 -1 4194304 417502 0 0 0 54831 55 0 0 20 0 2 0 29671464 1015857152 236155 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 248012 236155 3456 6655 0 235905 0
[pid=14270/tid=14273] ppid=14267 vsize=992048 memory=944620 CPUtime=267.43 cores=5,7
/proc/14270/task/14273/stat : 14273 (LSIPExact) R 14267 14270 11267 0 -1 4194368 117859 0 0 0 26727 16 0 0 20 0 2 0 29672487 1015857152 236155 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
Current children cumulated CPU time: 548.86 s
Current children cumulated vsize: 992048 KiB
Current children cumulated memory: 944620 KiB
[startup+342.3 s]
/proc/loadavg: 6.14 5.99 5.97 7/268 14286
/proc/meminfo: memFree=125618112/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=949968 memory=913128 CPUtime=667.92 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) R 14267 14270 11267 0 -1 4194304 468879 0 0 0 66727 65 0 0 20 0 2 0 29671464 972767232 228282 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 237492 228282 3456 6655 0 227412 0
[pid=14270/tid=14273] ppid=14267 vsize=949968 memory=913128 CPUtime=326.7 cores=5,7
/proc/14270/task/14273/stat : 14273 (LSIPExact) R 14267 14270 11267 0 -1 4194368 143598 0 0 0 32647 23 0 0 20 0 2 0 29672487 972767232 228282 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
Current children cumulated CPU time: 667.92 s
Current children cumulated vsize: 949968 KiB
Current children cumulated memory: 913128 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/14270/stat : 14270 (LSIPExact) S 14267 14270 11267 0 -1 4194304 618129 0 0 0 214091 82 0 0 20 0 1 0 29671464 923504640 197103 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 225465 197103 3488 6655 0 215589 0
[pid=14376] ppid=14270 vsize=265744 memory=239880 CPUtime=97.62 cores=5,7
/proc/14376/stat : 14376 (Exact) R 14270 14376 14376 0 -1 4194304 34911 0 0 0 9750 12 0 0 20 0 1 0 29779904 272121856 59970 18446744073709551615 4198400 8335837 140725900801584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24526848 140725900806331 140725900806685 140725900806685 140725900812239 0
/proc/14376/statm: 66436 59970 1088 1011 0 65203 0
Current children cumulated CPU time: 2239.35 s
Current children cumulated vsize: 1167604 KiB
Current children cumulated memory: 1028292 KiB
[startup+1242.3 s]
/proc/loadavg: 5.53 5.80 5.92 6/267 14389
/proc/meminfo: memFree=125553712/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=901860 memory=790332 CPUtime=2141.73 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) S 14267 14270 11267 0 -1 4194304 618129 0 0 0 214091 82 0 0 20 0 1 0 29671464 923504640 197583 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 225465 197583 3488 6655 0 215589 0
[pid=14376] ppid=14270 vsize=282144 memory=262404 CPUtime=157.46 cores=5,7
/proc/14376/stat : 14376 (Exact) R 14270 14376 14376 0 -1 4194304 37001 0 0 0 15734 12 0 0 20 0 1 0 29779904 288915456 65601 18446744073709551615 4198400 8335837 140725900801584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24526848 140725900806331 140725900806685 140725900806685 140725900812239 0
/proc/14376/statm: 70536 65601 1088 1011 0 69303 0
Current children cumulated CPU time: 2299.19 s
Current children cumulated vsize: 1184004 KiB
Current children cumulated memory: 1052736 KiB
[startup+1302.3 s]
/proc/loadavg: 5.36 5.70 5.88 7/268 14438
/proc/meminfo: memFree=126087812/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=901860 memory=792252 CPUtime=2141.73 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) S 14267 14270 11267 0 -1 4194304 618129 0 0 0 214091 82 0 0 20 0 1 0 29671464 923504640 198063 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 225465 198063 3488 6655 0 215589 0
[pid=14376] ppid=14270 vsize=287940 memory=272272 CPUtime=217.3 cores=5,7
/proc/14376/stat : 14376 (Exact) R 14270 14376 14376 0 -1 4194304 38473 0 0 0 21717 13 0 0 20 0 1 0 29779904 294850560 68068 18446744073709551615 4198400 8335837 140725900801584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24526848 140725900806331 140725900806685 140725900806685 140725900812239 0
/proc/14376/statm: 71985 68068 1088 1011 0 70752 0
Current children cumulated CPU time: 2359.03 s
Current children cumulated vsize: 1189800 KiB
Current children cumulated memory: 1064524 KiB
[startup+1362.3 s]
/proc/loadavg: 5.99 5.82 5.91 8/268 14487
/proc/meminfo: memFree=127857544/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=901860 memory=792252 CPUtime=2141.73 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) S 14267 14270 11267 0 -1 4194304 618129 0 0 0 214091 82 0 0 20 0 1 0 29671464 923504640 198063 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 225465 198063 3488 6655 0 215589 0
[pid=14376] ppid=14270 vsize=294792 memory=283376 CPUtime=277.13 cores=5,7
/proc/14376/stat : 14376 (Exact) R 14270 14376 14376 0 -1 4194304 39253 0 0 0 27698 15 0 0 20 0 1 0 29779904 301867008 70844 18446744073709551615 4198400 8335837 140725900801584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24526848 140725900806331 140725900806685 140725900806685 140725900812239 0
/proc/14376/statm: 73698 70844 1088 1011 0 72465 0
Current children cumulated CPU time: 2418.86 s
Current children cumulated vsize: 1196652 KiB
Current children cumulated memory: 1075628 KiB
[startup+1385.37 s]
# the end of solver process 14270 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2440.85 s, system=1.01619 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1369.6 s]
/proc/loadavg: 6.07 5.84 5.92 8/268 14487
/proc/meminfo: memFree=127851496/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=901860 memory=792252 CPUtime=2141.73 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) S 14267 14270 11267 0 -1 4194304 618129 0 0 0 214091 82 0 0 20 0 1 0 29671464 923504640 198063 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 225465 198063 3488 6655 0 215589 0
[pid=14376] ppid=14270 vsize=294792 memory=283376 CPUtime=284.41 cores=5,7
/proc/14376/stat : 14376 (Exact) R 14270 14376 14376 0 -1 4194304 39253 0 0 0 28426 15 0 0 20 0 1 0 29779904 301867008 70844 18446744073709551615 4198400 8335837 140725900801584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24526848 140725900806331 140725900806685 140725900806685 140725900812239 0
/proc/14376/statm: 73698 70844 1088 1011 0 72465 0
Current children cumulated CPU time: 2426.14 s
Current children cumulated vsize: 1196652 KiB
Current children cumulated memory: 1075628 KiB
[startup+1376 s]*
/proc/loadavg: 6.21 5.88 5.93 8/268 14487
/proc/meminfo: memFree=127847400/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=901860 memory=792252 CPUtime=2141.73 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) S 14267 14270 11267 0 -1 4194304 618129 0 0 0 214091 82 0 0 20 0 1 0 29671464 923504640 198063 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 225465 198063 3488 6655 0 215589 0
[pid=14376] ppid=14270 vsize=295880 memory=284272 CPUtime=290.79 cores=5,7
/proc/14376/stat : 14376 (Exact) R 14270 14376 14376 0 -1 4194304 39503 0 0 0 29064 15 0 0 20 0 1 0 29779904 302981120 71068 18446744073709551615 4198400 8335837 140725900801584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24526848 140725900806331 140725900806685 140725900806685 140725900812239 0
/proc/14376/statm: 73970 71068 1088 1011 0 72737 0
Current children cumulated CPU time: 2432.52 s
Current children cumulated vsize: 1197740 KiB
Current children cumulated memory: 1076524 KiB
[startup+1379.2 s]
/proc/loadavg: 6.21 5.88 5.93 8/268 14487
/proc/meminfo: memFree=127847400/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=901860 memory=792252 CPUtime=2141.73 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) S 14267 14270 11267 0 -1 4194304 618129 0 0 0 214091 82 0 0 20 0 1 0 29671464 923504640 198063 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 225465 198063 3488 6655 0 215589 0
[pid=14376] ppid=14270 vsize=295880 memory=284272 CPUtime=293.98 cores=5,7
/proc/14376/stat : 14376 (Exact) R 14270 14376 14376 0 -1 4194304 39503 0 0 0 29383 15 0 0 20 0 1 0 29779904 302981120 71068 18446744073709551615 4198400 8335837 140725900801584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24526848 140725900806331 140725900806685 140725900806685 140725900812239 0
/proc/14376/statm: 73970 71068 1088 1011 0 72737 0
Current children cumulated CPU time: 2435.71 s
Current children cumulated vsize: 1197740 KiB
Current children cumulated memory: 1076524 KiB
[startup+1382.4 s]
/proc/loadavg: 6.27 5.90 5.93 8/268 14487
/proc/meminfo: memFree=127847400/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=901860 memory=792252 CPUtime=2141.73 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) S 14267 14270 11267 0 -1 4194304 618129 0 0 0 214091 82 0 0 20 0 1 0 29671464 923504640 198063 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 225465 198063 3488 6655 0 215589 0
[pid=14376] ppid=14270 vsize=295880 memory=284272 CPUtime=297.16 cores=5,7
/proc/14376/stat : 14376 (Exact) R 14270 14376 14376 0 -1 4194304 39503 0 0 0 29701 15 0 0 20 0 1 0 29779904 302981120 71068 18446744073709551615 4198400 8335837 140725900801584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24526848 140725900806331 140725900806685 140725900806685 140725900812239 0
/proc/14376/statm: 73970 71068 1088 1011 0 72737 0
Current children cumulated CPU time: 2438.89 s
Current children cumulated vsize: 1197740 KiB
Current children cumulated memory: 1076524 KiB
[startup+1384 s]*
/proc/loadavg: 6.27 5.90 5.93 8/268 14488
/proc/meminfo: memFree=127853100/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=901860 memory=792252 CPUtime=2141.73 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) S 14267 14270 11267 0 -1 4194304 618129 0 0 0 214091 82 0 0 20 0 1 0 29671464 923504640 198063 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 225465 198063 3488 6655 0 215589 0
[pid=14376] ppid=14270 vsize=295880 memory=284272 CPUtime=298.76 cores=5,7
/proc/14376/stat : 14376 (Exact) R 14270 14376 14376 0 -1 4194304 39503 0 0 0 29861 15 0 0 20 0 1 0 29779904 302981120 71068 18446744073709551615 4198400 8335837 140725900801584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24526848 140725900806331 140725900806685 140725900806685 140725900812239 0
/proc/14376/statm: 73970 71068 1088 1011 0 72737 0
Current children cumulated CPU time: 2440.49 s
Current children cumulated vsize: 1197740 KiB
Current children cumulated memory: 1076524 KiB
[startup+1384.8 s]
/proc/loadavg: 6.27 5.90 5.93 8/268 14488
/proc/meminfo: memFree=127853100/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=901860 memory=792252 CPUtime=2141.73 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) S 14267 14270 11267 0 -1 4194304 618129 0 0 0 214091 82 0 0 20 0 1 0 29671464 923504640 198063 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 225465 198063 3488 6655 0 215589 0
[pid=14376] ppid=14270 vsize=295880 memory=284272 CPUtime=299.55 cores=5,7
/proc/14376/stat : 14376 (Exact) R 14270 14376 14376 0 -1 4194304 39503 0 0 0 29940 15 0 0 20 0 1 0 29779904 302981120 71068 18446744073709551615 4198400 8335837 140725900801584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24526848 140725900806331 140725900806685 140725900806685 140725900812239 0
/proc/14376/statm: 73970 71068 1088 1011 0 72737 0
Current children cumulated CPU time: 2441.28 s
Current children cumulated vsize: 1197740 KiB
Current children cumulated memory: 1076524 KiB
[startup+1385.2 s]
/proc/loadavg: 6.27 5.90 5.93 8/268 14488
/proc/meminfo: memFree=127853100/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=901860 memory=792252 CPUtime=2141.73 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) S 14267 14270 11267 0 -1 4194304 618129 0 0 0 214091 82 0 0 20 0 1 0 29671464 923504640 198063 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 225465 198063 3488 6655 0 215589 0
[pid=14376] ppid=14270 vsize=295880 memory=284272 CPUtime=299.95 cores=5,7
/proc/14376/stat : 14376 (Exact) R 14270 14376 14376 0 -1 4194304 39503 0 0 0 29980 15 0 0 20 0 1 0 29779904 302981120 71068 18446744073709551615 4198400 8335837 140725900801584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 24526848 140725900806331 140725900806685 140725900806685 140725900812239 0
/proc/14376/statm: 73970 71068 1088 1011 0 72737 0
Current children cumulated CPU time: 2441.68 s
Current children cumulated vsize: 1197740 KiB
Current children cumulated memory: 1076524 KiB
[startup+1385.3 s]
/proc/loadavg: 6.27 5.90 5.93 8/268 14488
/proc/meminfo: memFree=127853100/131249988 swapFree=33010684/33010684
[pid=14270] ppid=14267 vsize=901860 memory=792252 CPUtime=2441.79 cores=5,7
/proc/14270/stat : 14270 (LSIPExact) R 14267 14270 11267 0 -1 4194304 629003 39506 0 0 214098 83 29982 16 20 0 1 0 29671464 923504640 198063 18446744073709551615 94655139393536 94655166649937 140729027054880 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94655175152776 94655175584384 94655180148736 140729027062106 140729027062282 140729027062282 140729027067884 0
/proc/14270/statm: 225465 198063 3488 6655 0 215589 0
Current children cumulated CPU time: 2441.79 s
Current children cumulated vsize: 901860 KiB
Current children cumulated memory: 792252 KiB
Child status: 0
Real time (s): 1385.37
CPU time (s): 2441.86
CPU user time (s): 2440.85
CPU system time (s): 1.01619
CPU usage (%): 176.261
Max. virtual memory (cumulated for all children) (KiB): 1197740
Max. memory (cumulated for all children) (KiB): 1076524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2440.85
system time used= 1.01619
maximum resident set size= 944620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 684311
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= 359
involuntary context switches= 19468
# summary of solver processes directly reported to runsolver:
# pid: 14270
# total CPU time (s): 2441.86
# total CPU user time (s): 2440.85
# total CPU system time (s): 1.01619
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.79254 second user time and 6.59012 second system time
The end
Begin job on nodeC034 at 2025-06-28 21:45:26
IDJOB=4503520
IDBENCH=155520
IDSOLVER=3337
FILE ID=nodeC034/4503520-1751139926
RUNJOBID= nodeC034-1751133631-11286
SLURM_JOB_ID= 9587434
Free space on /tmp= 432896 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-73.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503520-1751139926/watcher-4503520-1751139926 -o /tmp/evaluation-result-4503520-1751139926/solver-4503520-1751139926 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751133631-11286 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4503520-1751139926.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f8b1a93d1916f081f91f241f6f5f832b
RANDOM SEED=1443311538
nodeC034 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.792
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.53
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.755
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.53
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 : 3628.944
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.53
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 : 3603.152
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.53
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.730
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.53
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.53
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 : 3599.747
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.53
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.902
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 126656940 kB
MemAvailable: 126428596 kB
Buffers: 3280 kB
Cached: 583028 kB
SwapCached: 0 kB
Active: 3608124 kB
Inactive: 374232 kB
Active(anon): 3414152 kB
Inactive(anon): 0 kB
Active(file): 193972 kB
Inactive(file): 374232 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 51900 kB
Writeback: 0 kB
AnonPages: 3393556 kB
Mapped: 148440 kB
Shmem: 18104 kB
KReclaimable: 84980 kB
Slab: 168056 kB
SReclaimable: 84980 kB
SUnreclaim: 83076 kB
KernelStack: 4304 kB
PageTables: 9908 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 3865684 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1730560 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432872 MiB
End job on nodeC034 at 2025-06-28 22:08:32