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: 63708 MiB (62855 MiB free)
memory of node 1: 64465 MiB (61590 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488849-1751322602/watcher-4488849-1751322602 -o /tmp/evaluation-result-4488849-1751322602/solver-4488849-1751322602 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751315214-41923 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4488849-1751322602.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=45029, runsolver pid=45026
[startup+0.100056 s]*
/proc/loadavg: 7.87 8.08 8.08 8/267 45030
/proc/meminfo: memFree=127432380/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=42508 memory=8064 CPUtime=0.09 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 980 0 0 0 9 0 0 0 20 0 1 0 47937690 43528192 2016 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+0.205398 s]*
/proc/loadavg: 7.87 8.08 8.08 8/267 45030
/proc/meminfo: memFree=127432380/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=42508 memory=8064 CPUtime=0.2 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 980 0 0 0 20 0 0 0 20 0 1 0 47937690 43528192 2016 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+0.304733 s]*
/proc/loadavg: 7.87 8.08 8.08 8/267 45030
/proc/meminfo: memFree=127432380/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=42508 memory=8064 CPUtime=0.29 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 980 0 0 0 29 0 0 0 20 0 1 0 47937690 43528192 2016 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+0.700108 s]
/proc/loadavg: 7.87 8.08 8.08 8/267 45030
/proc/meminfo: memFree=127432380/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=42508 memory=8064 CPUtime=0.68 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 980 0 0 0 68 0 0 0 20 0 1 0 47937690 43528192 2016 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+1.50011 s]
/proc/loadavg: 7.87 8.08 8.08 8/267 45030
/proc/meminfo: memFree=127424072/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=42508 memory=8064 CPUtime=1.48 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 980 0 0 0 148 0 0 0 20 0 1 0 47937690 43528192 2016 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+3.10483 s]
/proc/loadavg: 7.87 8.08 8.08 8/267 45030
/proc/meminfo: memFree=127412288/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=42508 memory=8064 CPUtime=3.08 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 980 0 0 0 308 0 0 0 20 0 1 0 47937690 43528192 2016 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+6.3001 s]
/proc/loadavg: 7.80 8.07 8.07 8/267 45030
/proc/meminfo: memFree=127411280/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=42508 memory=8064 CPUtime=6.27 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 980 0 0 0 627 0 0 0 20 0 1 0 47937690 43528192 2016 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+12.7002 s]
/proc/loadavg: 7.73 8.05 8.07 9/268 45031
/proc/meminfo: memFree=127378076/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=137884 memory=43664 CPUtime=15.21 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 7431 0 0 0 1520 1 0 0 20 0 2 0 47937690 141193216 10916 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 34471 10916 3392 6655 0 9678 0
[pid=45029/tid=45031] ppid=45026 vsize=137884 memory=43280 CPUtime=2.55 cores=0,2
/proc/45029/task/45031/stat : 45031 (LSIPExact) R 45026 45029 41913 0 -1 4194368 1352 0 0 0 255 0 0 0 20 0 2 0 47938692 141193216 10916 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
Current children cumulated CPU time: 15.21 s
Current children cumulated vsize: 137884 KiB
Current children cumulated memory: 43664 KiB
[startup+25.5002 s]
/proc/loadavg: 7.86 8.06 8.07 9/267 45031
/proc/meminfo: memFree=127343224/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=138808 memory=51856 CPUtime=40.64 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 21733 0 0 0 4061 3 0 0 20 0 2 0 47937690 142139392 12964 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 34702 12964 3392 6655 0 11311 0
[pid=45029/tid=45031] ppid=45026 vsize=138808 memory=51856 CPUtime=15.21 cores=0,2
/proc/45029/task/45031/stat : 45031 (LSIPExact) R 45026 45029 41913 0 -1 4194368 6320 0 0 0 1520 1 0 0 20 0 2 0 47938692 142139392 12964 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
Current children cumulated CPU time: 40.64 s
Current children cumulated vsize: 138808 KiB
Current children cumulated memory: 51856 KiB
[startup+51.1053 s]
/proc/loadavg: 7.84 8.04 8.06 9/267 45032
/proc/meminfo: memFree=127288180/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=150388 memory=64476 CPUtime=89.53 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 32085 0 0 0 8948 5 0 0 20 0 2 0 47937690 153997312 16119 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 37597 16119 3392 6655 0 14984 0
[pid=45029/tid=45031] ppid=45026 vsize=150388 memory=61456 CPUtime=38.56 cores=0,2
/proc/45029/task/45031/stat : 45031 (LSIPExact) R 45026 45029 41913 0 -1 4194368 10154 0 0 0 3854 2 0 0 20 0 2 0 47938692 153997312 16119 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
Current children cumulated CPU time: 89.53 s
Current children cumulated vsize: 150388 KiB
Current children cumulated memory: 64476 KiB
[startup+102.3 s]
/proc/loadavg: 7.60 7.95 8.03 9/267 45129
/proc/meminfo: memFree=129692660/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=150388 memory=65116 CPUtime=191.14 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 41547 0 0 0 19103 11 0 0 20 0 2 0 47937690 153997312 16279 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 37597 16279 3392 6655 0 15106 0
[pid=45029/tid=45031] ppid=45026 vsize=150388 memory=17664 CPUtime=89.18 cores=0,2
/proc/45029/task/45031/stat : 45031 (LSIPExact) R 45026 45029 41913 0 -1 4194368 15452 0 0 0 8911 7 0 0 20 0 2 0 47938692 153997312 16279 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
Current children cumulated CPU time: 191.14 s
Current children cumulated vsize: 150388 KiB
Current children cumulated memory: 65116 KiB
[startup+162.3 s]
/proc/loadavg: 7.91 7.98 8.03 9/266 45131
/proc/meminfo: memFree=129508596/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=194428 memory=125564 CPUtime=306.62 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 65102 0 0 0 30646 16 0 0 20 0 2 0 47937690 199094272 31391 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 48607 31391 3392 6655 0 30495 0
[pid=45029/tid=45031] ppid=45026 vsize=194428 memory=121468 CPUtime=146.29 cores=0,2
/proc/45029/task/45031/stat : 45031 (LSIPExact) R 45026 45029 41913 0 -1 4194368 24013 0 0 0 14619 10 0 0 20 0 2 0 47938692 199094272 31391 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
Current children cumulated CPU time: 306.62 s
Current children cumulated vsize: 194428 KiB
Current children cumulated memory: 125564 KiB
[startup+222.3 s]
/proc/loadavg: 8.01 8.00 8.03 9/267 45134
/proc/meminfo: memFree=129432700/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=194428 memory=125948 CPUtime=425.76 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 67575 0 0 0 42559 17 0 0 20 0 2 0 47937690 199094272 31487 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 48607 31487 3392 6655 0 30495 0
[pid=45029/tid=45031] ppid=45026 vsize=194428 memory=125564 CPUtime=205.62 cores=0,2
/proc/45029/task/45031/stat : 45031 (LSIPExact) R 45026 45029 41913 0 -1 4194368 24608 0 0 0 20552 10 0 0 20 0 2 0 47938692 199094272 31487 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
Current children cumulated CPU time: 425.76 s
Current children cumulated vsize: 194428 KiB
Current children cumulated memory: 125948 KiB
[startup+282.3 s]
/proc/loadavg: 8.11 8.03 8.04 9/267 45136
/proc/meminfo: memFree=129344452/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=194428 memory=126460 CPUtime=545.02 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 70905 0 0 0 54485 17 0 0 20 0 2 0 47937690 199094272 31615 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 48607 31615 3392 6655 0 30495 0
[pid=45029/tid=45031] ppid=45026 vsize=194428 memory=126460 CPUtime=265.05 cores=0,2
/proc/45029/task/45031/stat : 45031 (LSIPExact) R 45026 45029 41913 0 -1 4194368 27451 0 0 0 26495 10 0 0 20 0 2 0 47938692 199094272 31615 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
Current children cumulated CPU time: 545.02 s
Current children cumulated vsize: 194428 KiB
Current children cumulated memory: 126460 KiB
[startup+342.3 s]
/proc/loadavg: 8.10 8.04 8.04 9/268 45145
/proc/meminfo: memFree=129322260/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=194428 memory=126460 CPUtime=664.28 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 72384 0 0 0 66410 18 0 0 20 0 2 0 47937690 199094272 31615 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 48607 31615 3392 6655 0 30495 0
[pid=45029/tid=45031] ppid=45026 vsize=194428 memory=14848 CPUtime=324.49 cores=0,2
/proc/45029/task/45031/stat : 45031 (LSIPExact) R 45026 45029 41913 0 -1 4194368 28764 0 0 0 32439 10 0 0 20 0 2 0 47938692 199094272 31615 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
Current children cumulated CPU time: 664.28 s
Current children cumulated vsize: 194428 KiB
Current children cumulated memory: 126460 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/45029/task/45031/stat : 45031 (LSIPExact) R 45026 45029 41913 0 -1 4194368 156462 0 0 0 133449 55 0 0 20 0 2 0 47938692 1128579072 256590 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
Current children cumulated CPU time: 2691.75 s
Current children cumulated vsize: 1102128 KiB
Current children cumulated memory: 1026360 KiB
[startup+1422.3 s]
/proc/loadavg: 8.10 8.09 8.07 9/268 45192
/proc/meminfo: memFree=126311800/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=1136200 memory=1087800 CPUtime=2811.04 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 342922 0 0 0 280999 105 0 0 20 0 2 0 47937690 1163468800 271950 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 284050 271950 3392 6655 0 271168 0
[pid=45029/tid=45031] ppid=45026 vsize=1136200 memory=946376 CPUtime=1394.49 cores=0,2
/proc/45029/task/45031/stat : 45031 (LSIPExact) R 45026 45029 41913 0 -1 4194368 165597 0 0 0 139390 59 0 0 20 0 2 0 47938692 1163468800 271950 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
Current children cumulated CPU time: 2811.04 s
Current children cumulated vsize: 1136200 KiB
Current children cumulated memory: 1087800 KiB
[startup+1482.3 s]
/proc/loadavg: 8.11 8.09 8.07 9/266 45194
/proc/meminfo: memFree=126161124/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=1227000 memory=1140408 CPUtime=2930.31 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 357957 0 0 0 292923 108 0 0 20 0 2 0 47937690 1256448000 285102 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 306750 285102 3392 6655 0 284205 0
[pid=45029/tid=45031] ppid=45026 vsize=1227000 memory=1120824 CPUtime=1453.94 cores=0,2
/proc/45029/task/45031/stat : 45031 (LSIPExact) R 45026 45029 41913 0 -1 4194368 173566 0 0 0 145333 61 0 0 20 0 2 0 47938692 1256448000 285102 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
Current children cumulated CPU time: 2930.31 s
Current children cumulated vsize: 1227000 KiB
Current children cumulated memory: 1140408 KiB
[startup+1542.3 s]
/proc/loadavg: 8.09 8.09 8.07 9/267 45203
/proc/meminfo: memFree=125986676/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=1257828 memory=1200952 CPUtime=3049.59 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 373816 0 0 0 304845 114 0 0 20 0 2 0 47937690 1288015872 300238 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 314457 300238 3392 6655 0 299261 0
[pid=45029/tid=45031] ppid=45026 vsize=1257828 memory=1152824 CPUtime=1513.4 cores=0,2
/proc/45029/task/45031/stat : 45031 (LSIPExact) R 45026 45029 41913 0 -1 4194368 181255 0 0 0 151276 64 0 0 20 0 2 0 47938692 1288015872 300238 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
Current children cumulated CPU time: 3049.59 s
Current children cumulated vsize: 1257828 KiB
Current children cumulated memory: 1200952 KiB
[startup+1602.3 s]
/proc/loadavg: 8.15 8.10 8.08 9/268 45206
/proc/meminfo: memFree=125824072/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=1354820 memory=1263064 CPUtime=3168.87 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 391503 0 0 0 316766 121 0 0 20 0 2 0 47937690 1387335680 315766 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 338705 315766 3392 6655 0 314876 0
[pid=45029/tid=45031] ppid=45026 vsize=1354820 memory=1261784 CPUtime=1572.85 cores=0,2
/proc/45029/task/45031/stat : 45031 (LSIPExact) R 45026 45029 41913 0 -1 4194368 189975 0 0 0 157217 68 0 0 20 0 2 0 47938692 1387335680 315766 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
Current children cumulated CPU time: 3168.87 s
Current children cumulated vsize: 1354820 KiB
Current children cumulated memory: 1263064 KiB
[startup+1662.3 s]
/proc/loadavg: 8.09 8.09 8.08 9/268 45208
/proc/meminfo: memFree=125641776/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=1382308 memory=1319256 CPUtime=3288.16 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 409265 0 0 0 328690 126 0 0 20 0 2 0 47937690 1415483392 329814 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 345577 329814 3392 6655 0 328792 0
[pid=45029/tid=45031] ppid=45026 vsize=1382308 memory=1303128 CPUtime=1632.31 cores=0,2
/proc/45029/task/45031/stat : 45031 (LSIPExact) R 45026 45029 41913 0 -1 4194368 199302 0 0 0 163160 71 0 0 20 0 2 0 47938692 1415483392 329814 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
Current children cumulated CPU time: 3288.16 s
Current children cumulated vsize: 1382308 KiB
Current children cumulated memory: 1319256 KiB
[startup+1722.3 s]
/proc/loadavg: 8.08 8.09 8.08 9/268 45210
/proc/meminfo: memFree=125457768/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=1484104 memory=1390496 CPUtime=3407.43 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 431742 0 0 0 340608 135 0 0 20 0 2 0 47937690 1519722496 347624 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 371026 347624 3392 6655 0 346579 0
[pid=45029/tid=45031] ppid=45026 vsize=1484104 memory=1386400 CPUtime=1691.75 cores=0,2
/proc/45029/task/45031/stat : 45031 (LSIPExact) R 45026 45029 41913 0 -1 4194368 210723 0 0 0 169100 75 0 0 20 0 2 0 47938692 1519722496 347624 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
Current children cumulated CPU time: 3407.43 s
Current children cumulated vsize: 1484104 KiB
Current children cumulated memory: 1390496 KiB
[startup+1782.3 s]
/proc/loadavg: 7.92 8.05 8.07 9/268 45259
/proc/meminfo: memFree=125991104/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=1513880 memory=1447712 CPUtime=3526.72 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 447619 0 0 0 352533 139 0 0 20 0 2 0 47937690 1550213120 361928 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 378470 361928 3392 6655 0 360933 0
[pid=45029/tid=45031] ppid=45026 vsize=1513880 memory=14848 CPUtime=1751.22 cores=0,2
/proc/45029/task/45031/stat : 45031 (LSIPExact) R 45026 45029 41913 0 -1 4194368 218543 0 0 0 175045 77 0 0 20 0 2 0 47938692 1550213120 361928 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
Current children cumulated CPU time: 3526.72 s
Current children cumulated vsize: 1513880 KiB
Current children cumulated memory: 1447712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1819.2 s]
/proc/loadavg: 7.96 8.04 8.07 9/268 45259
/proc/meminfo: memFree=125841500/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=1529096 memory=1481888 CPUtime=3600.1 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) R 45026 45029 41913 0 -1 4194304 456475 0 0 0 359869 141 0 0 20 0 2 0 47937690 1565794304 370472 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 382274 370472 3392 6655 0 369602 0
[pid=45029/tid=45031] ppid=45026 vsize=1529096 memory=17664 CPUtime=1787.81 cores=0,2
/proc/45029/task/45031/stat : 45031 (LSIPExact) R 45026 45029 41913 0 -1 4194368 223461 0 0 0 178702 79 0 0 20 0 2 0 47938692 1565794304 370472 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1529096 KiB
Current children cumulated memory: 1481888 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1821.23 s]
# the end of solver process 45029 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3600.57 s, system=1.53867 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1820 s]*
/proc/loadavg: 7.88 8.03 8.06 8/268 45261
/proc/meminfo: memFree=126479860/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=862128 memory=793216 CPUtime=3600.26 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) S 45026 45029 41913 0 -1 4194304 546949 229 0 0 359879 147 0 0 20 0 1 0 47937690 882819072 198304 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 215532 198304 3392 6655 0 205764 0
[pid=45261] ppid=45029 vsize=50504 memory=37704 CPUtime=0.6 cores=0,2
/proc/45261/stat : 45261 (Exact) R 45029 45261 45261 0 -1 4194304 6497 0 0 0 59 1 0 0 20 0 1 0 48119627 51716096 9426 18446744073709551615 4198400 8335837 140732752459008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 44126208 140732752464052 140732752464413 140732752464413 140732752469967 0
/proc/45261/statm: 12626 9426 1120 1011 0 11393 0
Current children cumulated CPU time: 3600.86 s
Current children cumulated vsize: 912632 KiB
Current children cumulated memory: 830920 KiB
[startup+1820.8 s]
/proc/loadavg: 7.88 8.03 8.06 8/268 45261
/proc/meminfo: memFree=126479860/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=862128 memory=793216 CPUtime=3600.26 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) S 45026 45029 41913 0 -1 4194304 546949 229 0 0 359879 147 0 0 20 0 1 0 47937690 882819072 198304 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 215532 198304 3392 6655 0 205764 0
[pid=45261] ppid=45029 vsize=86448 memory=69528 CPUtime=1.4 cores=0,2
/proc/45261/stat : 45261 (Exact) R 45029 45261 45261 0 -1 4194304 12137 0 0 0 137 3 0 0 20 0 1 0 48119627 88522752 17382 18446744073709551615 4198400 8335837 140732752459008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 44126208 140732752464052 140732752464413 140732752464413 140732752469967 0
/proc/45261/statm: 21612 17382 1120 1011 0 20379 0
Current children cumulated CPU time: 3601.66 s
Current children cumulated vsize: 948576 KiB
Current children cumulated memory: 862744 KiB
[startup+1821.2 s]
/proc/loadavg: 7.88 8.03 8.06 8/268 45261
/proc/meminfo: memFree=126447220/131249996 swapFree=33010416/33010684
[pid=45029] ppid=45026 vsize=862128 memory=793216 CPUtime=3600.26 cores=0,2
/proc/45029/stat : 45029 (LSIPExact) S 45026 45029 41913 0 -1 4194304 546949 229 0 0 359879 147 0 0 20 0 1 0 47937690 882819072 198304 18446744073709551615 94130945986560 94130973242961 140723884090368 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94130981745800 94130982177408 94130985009152 140723884095834 140723884096010 140723884096010 140723884101612 0
/proc/45029/statm: 215532 198304 3392 6655 0 205764 0
[pid=45261] ppid=45029 vsize=89984 memory=72728 CPUtime=1.8 cores=0,2
/proc/45261/stat : 45261 (Exact) R 45029 45261 45261 0 -1 4194304 12930 0 0 0 177 3 0 0 20 0 1 0 48119627 92143616 18182 18446744073709551615 4198400 8335837 140732752459008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 44126208 140732752464052 140732752464413 140732752464413 140732752469967 0
/proc/45261/statm: 22496 18182 1120 1011 0 21263 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 952112 KiB
Current children cumulated memory: 865944 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1821.23
CPU time (s): 3602.11
CPU user time (s): 3600.57
CPU system time (s): 1.53867
CPU usage (%): 197.785
Max. virtual memory (cumulated for all children) (KiB): 1529096
Max. memory (cumulated for all children) (KiB): 1481888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.57
system time used= 1.53868
maximum resident set size= 1482016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 560421
page faults= 0
swaps= 0
block input operations= 224
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 523
involuntary context switches= 117605
# summary of solver processes directly reported to runsolver:
# pid: 45029
# total CPU time (s): 3602.11
# total CPU user time (s): 3600.57
# total CPU system time (s): 1.53867
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.61654 second user time and 7.94064 second system time
The end
Begin job on nodeC015 at 2025-07-01 00:30:02
IDJOB=4488849
IDBENCH=147533
IDSOLVER=3336
FILE ID=nodeC015/4488849-1751322602
RUNJOBID= nodeC015-1751315214-41923
SLURM_JOB_ID= 9594330
Free space on /tmp= 432888 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488849-1751322602/watcher-4488849-1751322602 -o /tmp/evaluation-result-4488849-1751322602/solver-4488849-1751322602 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751315214-41923 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4488849-1751322602.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1c637e715c606e851ba2308661126deb
RANDOM SEED=256666347
nodeC015 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.605
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 : 7000.14
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 : 3600.080
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 : 7000.14
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 : 3600.046
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 : 7000.14
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 : 3600.080
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 : 7000.14
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 : 3600.057
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 : 7000.14
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 : 3600.077
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 : 7000.14
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.065
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 : 7000.14
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 : 3600.073
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127432380 kB
MemAvailable: 127230876 kB
Buffers: 2128 kB
Cached: 587424 kB
SwapCached: 24 kB
Active: 2863600 kB
Inactive: 284264 kB
Active(anon): 2556280 kB
Inactive(anon): 20084 kB
Active(file): 307320 kB
Inactive(file): 264180 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44752 kB
Writeback: 0 kB
AnonPages: 2561468 kB
Mapped: 138572 kB
Shmem: 18052 kB
KReclaimable: 132468 kB
Slab: 221416 kB
SReclaimable: 132468 kB
SUnreclaim: 88948 kB
KernelStack: 4304 kB
PageTables: 8092 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2924176 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 970752 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: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432844 MiB
End job on nodeC015 at 2025-07-01 01:00:23