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 (61699 MiB free)
memory of node 1: 64507 MiB (59316 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527795-1752236151/watcher-4527795-1752236151 -o /tmp/evaluation-result-4527795-1752236151/solver-4527795-1752236151 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1752232205-113967 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527795-1752236151.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=115383, runsolver pid=115380
[startup+0.100066 s]*
/proc/loadavg: 7.10 7.35 7.20 7/269 115384
/proc/meminfo: memFree=123881772/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=83816 memory=49408 CPUtime=0.09 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 11325 0 0 0 8 1 0 0 20 0 1 0 139292858 85827584 12352 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 20954 12352 1216 6655 0 11189 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83816 KiB
Current children cumulated memory: 49408 KiB
[startup+0.205903 s]*
/proc/loadavg: 7.10 7.35 7.20 7/269 115384
/proc/meminfo: memFree=123881016/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=90596 memory=56064 CPUtime=0.19 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 12997 0 0 0 18 1 0 0 20 0 1 0 139292858 92770304 14016 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 22649 14016 1216 6655 0 12884 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 90596 KiB
Current children cumulated memory: 56064 KiB
[startup+0.305905 s]*
/proc/loadavg: 7.10 7.35 7.20 7/269 115384
/proc/meminfo: memFree=123881032/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=90596 memory=56064 CPUtime=0.29 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 12997 0 0 0 28 1 0 0 20 0 1 0 139292858 92770304 14016 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 22649 14016 1216 6655 0 12884 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 90596 KiB
Current children cumulated memory: 56064 KiB
[startup+0.700194 s]
/proc/loadavg: 7.10 7.35 7.20 8/269 115384
/proc/meminfo: memFree=123881032/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=90596 memory=56192 CPUtime=0.68 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 12999 0 0 0 67 1 0 0 20 0 1 0 139292858 92770304 14048 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 22649 14048 1216 6655 0 12884 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 90596 KiB
Current children cumulated memory: 56192 KiB
[startup+1.50019 s]
/proc/loadavg: 7.10 7.35 7.20 7/269 115384
/proc/meminfo: memFree=123881032/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=90596 memory=56192 CPUtime=1.48 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 12999 0 0 0 147 1 0 0 20 0 1 0 139292858 92770304 14048 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 22649 14048 1216 6655 0 12884 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 90596 KiB
Current children cumulated memory: 56192 KiB
[startup+3.10573 s]
/proc/loadavg: 7.10 7.35 7.20 7/269 115384
/proc/meminfo: memFree=123881296/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=90596 memory=56192 CPUtime=3.08 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 13001 0 0 0 307 1 0 0 20 0 1 0 139292858 92770304 14048 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 22649 14048 1216 6655 0 12884 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 90596 KiB
Current children cumulated memory: 56192 KiB
[startup+6.30018 s]
/proc/loadavg: 7.01 7.33 7.20 7/269 115384
/proc/meminfo: memFree=123881320/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=90596 memory=56192 CPUtime=6.27 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 13001 0 0 0 626 1 0 0 20 0 1 0 139292858 92770304 14048 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 22649 14048 1216 6655 0 12884 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 90596 KiB
Current children cumulated memory: 56192 KiB
[startup+12.7002 s]
/proc/loadavg: 6.93 7.30 7.19 8/270 115385
/proc/meminfo: memFree=123749012/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=264108 memory=191244 CPUtime=14.55 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 39018 0 0 0 1449 6 0 0 20 0 2 0 139292858 270446592 47811 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 66027 47811 3520 6655 0 46403 0
[pid=115383/tid=115385] ppid=115380 vsize=264108 memory=-7880352373835463803 CPUtime=1.91 cores=1,3
/proc/115383/task/115385/stat : 115385 (LSIPExact) R 115380 115383 113948 0 -1 4194368 4877 0 0 0 191 0 0 0 20 0 2 0 139293869 270446592 47811 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
Current children cumulated CPU time: 14.55 s
Current children cumulated vsize: 264108 KiB
Current children cumulated memory: 191244 KiB
[startup+25.5002 s]
/proc/loadavg: 6.94 7.29 7.19 8/270 115385
/proc/meminfo: memFree=123709216/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=275340 memory=232148 CPUtime=39.9 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 66617 0 0 0 3981 9 0 0 20 0 2 0 139292858 281948160 58037 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 68835 58037 3520 6655 0 56873 0
[pid=115383/tid=115385] ppid=115380 vsize=275340 memory=198080 CPUtime=14.54 cores=1,3
/proc/115383/task/115385/stat : 115385 (LSIPExact) R 115380 115383 113948 0 -1 4194368 20671 0 0 0 1452 2 0 0 20 0 2 0 139293869 281948160 58037 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
Current children cumulated CPU time: 39.9 s
Current children cumulated vsize: 275340 KiB
Current children cumulated memory: 232148 KiB
[startup+51.1059 s]
/proc/loadavg: 6.97 7.26 7.18 8/269 115386
/proc/meminfo: memFree=123673596/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=297740 memory=236688 CPUtime=89.87 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 107476 0 0 0 8973 14 0 0 20 0 2 0 139292858 304885760 59172 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 74435 59172 3520 6655 0 63998 0
[pid=115383/tid=115385] ppid=115380 vsize=297740 memory=236688 CPUtime=39.11 cores=1,3
/proc/115383/task/115385/stat : 115385 (LSIPExact) R 115380 115383 113948 0 -1 4194368 35733 0 0 0 3906 5 0 0 20 0 2 0 139293869 304885760 59172 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
Current children cumulated CPU time: 89.87 s
Current children cumulated vsize: 297740 KiB
Current children cumulated memory: 236688 KiB
[startup+102.3 s]
/proc/loadavg: 7.01 7.22 7.17 8/269 115387
/proc/meminfo: memFree=123643572/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=297740 memory=261060 CPUtime=191.47 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 154454 0 0 0 19123 24 0 0 20 0 2 0 139292858 304885760 65265 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 74435 65265 3520 6655 0 64123 0
[pid=115383/tid=115385] ppid=115380 vsize=297740 memory=261060 CPUtime=89.7 cores=1,3
/proc/115383/task/115385/stat : 115385 (LSIPExact) R 115380 115383 113948 0 -1 4194368 66463 0 0 0 8957 13 0 0 20 0 2 0 139293869 304885760 65265 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
Current children cumulated CPU time: 191.47 s
Current children cumulated vsize: 297740 KiB
Current children cumulated memory: 261060 KiB
[startup+162.3 s]
/proc/loadavg: 7.04 7.20 7.16 8/268 115389
/proc/meminfo: memFree=123623052/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=297740 memory=261956 CPUtime=310.51 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 168508 0 0 0 31026 25 0 0 20 0 2 0 139292858 304885760 65489 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 74435 65489 3520 6655 0 64123 0
[pid=115383/tid=115385] ppid=115380 vsize=297740 memory=261956 CPUtime=149.01 cores=1,3
/proc/115383/task/115385/stat : 115385 (LSIPExact) R 115380 115383 113948 0 -1 4194368 74577 0 0 0 14887 14 0 0 20 0 2 0 139293869 304885760 65489 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
Current children cumulated CPU time: 310.51 s
Current children cumulated vsize: 297740 KiB
Current children cumulated memory: 261956 KiB
[startup+222.3 s]
/proc/loadavg: 7.16 7.20 7.17 8/269 115392
/proc/meminfo: memFree=123590812/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=297740 memory=261956 CPUtime=429.56 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 183613 0 0 0 42927 29 0 0 20 0 2 0 139292858 304885760 65489 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 74435 65489 3520 6655 0 64123 0
[pid=115383/tid=115385] ppid=115380 vsize=297740 memory=261956 CPUtime=208.3 cores=1,3
/proc/115383/task/115385/stat : 115385 (LSIPExact) R 115380 115383 113948 0 -1 4194368 83588 0 0 0 20814 16 0 0 20 0 2 0 139293869 304885760 65489 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
Current children cumulated CPU time: 429.56 s
Current children cumulated vsize: 297740 KiB
Current children cumulated memory: 261956 KiB
[startup+282.3 s]
/proc/loadavg: 7.11 7.18 7.16 8/269 115394
/proc/meminfo: memFree=123544960/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=363276 memory=277444 CPUtime=548.61 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 205422 0 0 0 54828 33 0 0 20 0 2 0 139292858 371994624 69361 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 90819 69361 3520 6655 0 67936 0
[pid=115383/tid=115385] ppid=115380 vsize=363276 memory=274500 CPUtime=267.59 cores=1,3
/proc/115383/task/115385/stat : 115385 (LSIPExact) R 115380 115383 113948 0 -1 4194368 94092 0 0 0 26740 19 0 0 20 0 2 0 139293869 371994624 69361 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
Current children cumulated CPU time: 548.61 s
Current children cumulated vsize: 363276 KiB
Current children cumulated memory: 277444 KiB
[startup+342.3 s]
/proc/loadavg: 7.15 7.18 7.16 8/268 115396
/proc/meminfo: memFree=123491656/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=382180 memory=312388 CPUtime=667.77 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 217587 0 0 0 66741 36 0 0 20 0 2 0 139292858 391352320 78097 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 95545 78097 3520 6655 0 76477 0
[pid=115383/tid=115385] ppid=115380 vsize=382180 memory=274500 CPUtime=326.96 cores=1,3
/proc/115383/task/115385/stat : 115385 (LSIPExact) R 115380 115383 113948 0 -1 4194368 99592 0 0 0 32676 20 0 0 20 0 2 0 139293869 391352320 78097 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
Current children cumulated CPU time: 667.77 s
Current children cumulated vsize: 382180 KiB
Current children cumulated memory: 312388 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/115383/task/115385/stat : 115385 (LSIPExact) R 115380 115383 113948 0 -1 4194368 219017 0 0 0 133569 57 0 0 20 0 2 0 139293869 904679424 211234 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
Current children cumulated CPU time: 2693.79 s
Current children cumulated vsize: 883476 KiB
Current children cumulated memory: 844936 KiB
[startup+1422.3 s]
/proc/loadavg: 4.07 4.41 5.52 5/260 115484
/proc/meminfo: memFree=123550768/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=961208 memory=868616 CPUtime=2813.1 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 452937 0 0 0 281219 91 0 0 20 0 2 0 139292858 984276992 217154 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 240302 217154 3520 6655 0 215388 0
[pid=115383/tid=115385] ppid=115380 vsize=961208 memory=790664 CPUtime=1395.72 cores=1,3
/proc/115383/task/115385/stat : 115385 (LSIPExact) R 115380 115383 113948 0 -1 4194368 223509 0 0 0 139514 58 0 0 20 0 2 0 139293869 984276992 217154 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
Current children cumulated CPU time: 2813.1 s
Current children cumulated vsize: 961208 KiB
Current children cumulated memory: 868616 KiB
[startup+1482.3 s]
/proc/loadavg: 4.08 4.35 5.43 5/260 115486
/proc/meminfo: memFree=123509948/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=978476 memory=901128 CPUtime=2932.39 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 462454 0 0 0 293147 92 0 0 20 0 2 0 139292858 1001959424 225282 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 244619 225282 3520 6655 0 223439 0
[pid=115383/tid=115385] ppid=115380 vsize=978476 memory=879240 CPUtime=1455.16 cores=1,3
/proc/115383/task/115385/stat : 115385 (LSIPExact) R 115380 115383 113948 0 -1 4194368 227927 0 0 0 145458 58 0 0 20 0 2 0 139293869 1001959424 225282 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
Current children cumulated CPU time: 2932.39 s
Current children cumulated vsize: 978476 KiB
Current children cumulated memory: 901128 KiB
[startup+1542.3 s]
/proc/loadavg: 4.07 4.30 5.34 5/261 115489
/proc/meminfo: memFree=123487508/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=985996 memory=917768 CPUtime=3051.67 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 472909 0 0 0 305074 93 0 0 20 0 2 0 139292858 1009659904 229442 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 246499 229442 3520 6655 0 227630 0
[pid=115383/tid=115385] ppid=115380 vsize=985996 memory=917768 CPUtime=1514.61 cores=1,3
/proc/115383/task/115385/stat : 115385 (LSIPExact) R 115380 115383 113948 0 -1 4194368 232062 0 0 0 151402 59 0 0 20 0 2 0 139293869 1009659904 229442 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
Current children cumulated CPU time: 3051.67 s
Current children cumulated vsize: 985996 KiB
Current children cumulated memory: 917768 KiB
[startup+1602.3 s]
/proc/loadavg: 4.12 4.27 5.26 5/261 115491
/proc/meminfo: memFree=123471404/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=998444 memory=939488 CPUtime=3170.94 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 480597 0 0 0 317000 94 0 0 20 0 2 0 139292858 1022406656 234872 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 249611 234872 3520 6655 0 233093 0
[pid=115383/tid=115385] ppid=115380 vsize=998444 memory=939488 CPUtime=1574.05 cores=1,3
/proc/115383/task/115385/stat : 115385 (LSIPExact) R 115380 115383 113948 0 -1 4194368 235133 0 0 0 157346 59 0 0 20 0 2 0 139293869 1022406656 234872 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
Current children cumulated CPU time: 3170.94 s
Current children cumulated vsize: 998444 KiB
Current children cumulated memory: 939488 KiB
[startup+1662.3 s]
/proc/loadavg: 4.04 4.22 5.18 5/262 115500
/proc/meminfo: memFree=123441560/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=1008908 memory=964576 CPUtime=3290.21 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 497058 0 0 0 328925 96 0 0 20 0 2 0 139292858 1033121792 241144 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 252227 241144 3520 6655 0 239238 0
[pid=115383/tid=115385] ppid=115380 vsize=1008908 memory=14824 CPUtime=1633.48 cores=1,3
/proc/115383/task/115385/stat : 115385 (LSIPExact) R 115380 115383 113948 0 -1 4194368 239419 0 0 0 163288 60 0 0 20 0 2 0 139293869 1033121792 241144 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
Current children cumulated CPU time: 3290.21 s
Current children cumulated vsize: 1008908 KiB
Current children cumulated memory: 964576 KiB
[startup+1722.3 s]
/proc/loadavg: 4.20 4.23 5.12 5/262 115502
/proc/meminfo: memFree=123399612/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=1025256 memory=990816 CPUtime=3409.48 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 509345 0 0 0 340851 97 0 0 20 0 2 0 139292858 1049862144 247704 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 256314 247704 3520 6655 0 245777 0
[pid=115383/tid=115385] ppid=115380 vsize=1025256 memory=972128 CPUtime=1692.92 cores=1,3
/proc/115383/task/115385/stat : 115385 (LSIPExact) R 115380 115383 113948 0 -1 4194368 244159 0 0 0 169232 60 0 0 20 0 2 0 139293869 1049862144 247704 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
Current children cumulated CPU time: 3409.48 s
Current children cumulated vsize: 1025256 KiB
Current children cumulated memory: 990816 KiB
[startup+1782.3 s]
/proc/loadavg: 4.28 4.26 5.07 5/262 115504
/proc/meminfo: memFree=123346192/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=1103168 memory=1020896 CPUtime=3528.77 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 521993 0 0 0 352779 98 0 0 20 0 2 0 139292858 1129644032 255224 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 275792 255224 3520 6655 0 253307 0
[pid=115383/tid=115385] ppid=115380 vsize=1103168 memory=14824 CPUtime=1752.36 cores=1,3
/proc/115383/task/115385/stat : 115385 (LSIPExact) R 115380 115383 113948 0 -1 4194368 252653 0 0 0 175175 61 0 0 20 0 2 0 139293869 1129644032 255224 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
Current children cumulated CPU time: 3528.77 s
Current children cumulated vsize: 1103168 KiB
Current children cumulated memory: 1020896 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1818.2 s]
/proc/loadavg: 4.22 4.24 5.04 5/262 115505
/proc/meminfo: memFree=123337584/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=1111228 memory=1035104 CPUtime=3600.15 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) R 115380 115383 113948 0 -1 4194304 526428 0 0 0 359916 99 0 0 20 0 2 0 139292858 1137897472 258776 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 277807 258776 3520 6655 0 256933 0
[pid=115383/tid=115385] ppid=115380 vsize=1111228 memory=2092 CPUtime=1787.93 cores=1,3
/proc/115383/task/115385/stat : 115385 (LSIPExact) R 115380 115383 113948 0 -1 4194368 254750 0 0 0 178731 62 0 0 20 0 2 0 139293869 1137897472 258776 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 1111228 KiB
Current children cumulated memory: 1035104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+1820.23 s]
# the end of solver process 115383 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3601.06 s, system=1.08909 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1819.2 s]
/proc/loadavg: 4.22 4.24 5.04 4/262 115507
/proc/meminfo: memFree=123607760/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=718012 memory=684816 CPUtime=3600.28 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) S 115380 115383 113948 0 -1 4194304 581561 228 0 0 359925 103 0 0 20 0 1 0 139292858 735244288 171204 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 179503 171204 3552 6655 0 169719 0
[pid=115507] ppid=115383 vsize=63388 memory=46516 CPUtime=0.82 cores=1,3
/proc/115507/stat : 115507 (Exact) R 115383 115507 115507 0 -1 4194304 15370 0 0 0 79 3 0 0 20 0 1 0 139474694 64909312 11629 18446744073709551615 4198400 8335837 140729964175200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 26939392 140729964177586 140729964177947 140729964177947 140729964183503 0
/proc/115507/statm: 15847 11629 1120 1011 0 14614 0
Current children cumulated CPU time: 3601.1 s
Current children cumulated vsize: 781400 KiB
Current children cumulated memory: 731332 KiB
[startup+1820 s]*
/proc/loadavg: 4.22 4.24 5.04 4/262 115507
/proc/meminfo: memFree=123608016/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=718012 memory=684816 CPUtime=3600.28 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) S 115380 115383 113948 0 -1 4194304 581561 228 0 0 359925 103 0 0 20 0 1 0 139292858 735244288 171204 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 179503 171204 3552 6655 0 169719 0
[pid=115507] ppid=115383 vsize=63388 memory=48564 CPUtime=1.62 cores=1,3
/proc/115507/stat : 115507 (Exact) R 115383 115507 115507 0 -1 4194304 15371 0 0 0 159 3 0 0 20 0 1 0 139474694 64909312 12141 18446744073709551615 4198400 8335837 140729964175200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 26939392 140729964177586 140729964177947 140729964177947 140729964183503 0
/proc/115507/statm: 15847 12141 1120 1011 0 14614 0
Current children cumulated CPU time: 3601.9 s
Current children cumulated vsize: 781400 KiB
Current children cumulated memory: 733380 KiB
[startup+1820.2 s]
/proc/loadavg: 4.22 4.24 5.04 4/262 115507
/proc/meminfo: memFree=123608016/131249996 swapFree=33010672/33010684
[pid=115383] ppid=115380 vsize=718012 memory=684816 CPUtime=3600.28 cores=1,3
/proc/115383/stat : 115383 (LSIPExact) S 115380 115383 113948 0 -1 4194304 581561 228 0 0 359925 103 0 0 20 0 1 0 139292858 735244288 171204 18446744073709551615 94772259221504 94772286478673 140723800591952 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94772294980744 94772295412352 94772296400896 140723800594776 140723800594952 140723800594952 140723800600556 0
/proc/115383/statm: 179503 171204 3552 6655 0 169719 0
[pid=115507] ppid=115383 vsize=63388 memory=48564 CPUtime=1.82 cores=1,3
/proc/115507/stat : 115507 (Exact) R 115383 115507 115507 0 -1 4194304 15371 0 0 0 179 3 0 0 20 0 1 0 139474694 64909312 12141 18446744073709551615 4198400 8335837 140729964175200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 26939392 140729964177586 140729964177947 140729964177947 140729964183503 0
/proc/115507/statm: 15847 12141 1120 1011 0 14614 0
Current children cumulated CPU time: 3602.1 s
Current children cumulated vsize: 781400 KiB
Current children cumulated memory: 733380 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1820.23
CPU time (s): 3602.15
CPU user time (s): 3601.06
CPU system time (s): 1.08909
CPU usage (%): 197.896
Max. virtual memory (cumulated for all children) (KiB): 1111228
Max. memory (cumulated for all children) (KiB): 1035104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3601.06
system time used= 1.08909
maximum resident set size= 1035232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 600220
page faults= 0
swaps= 0
block input operations= 6248
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 537
involuntary context switches= 29457
# summary of solver processes directly reported to runsolver:
# pid: 115383
# total CPU time (s): 3602.15
# total CPU user time (s): 3601.06
# total CPU system time (s): 1.08909
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.84407 second user time and 8.78354 second system time
The end
Begin job on nodeC017 at 2025-07-11 14:15:51
IDJOB=4527795
IDBENCH=180376
IDSOLVER=3384
FILE ID=nodeC017/4527795-1752236151
RUNJOBID= nodeC017-1752232205-113967
SLURM_JOB_ID= 9682528
Free space on /tmp= 432320 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527795-1752236151/watcher-4527795-1752236151 -o /tmp/evaluation-result-4527795-1752236151/solver-4527795-1752236151 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1752232205-113967 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527795-1752236151.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1376b7e36587a728493ace6af4c57a8e
RANDOM SEED=349252823
nodeC017 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 : 3600.061
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.12
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 : 3573.604
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.12
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 : 3700.000
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.12
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.081
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.12
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.053
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.12
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.050
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.12
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.12
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.055
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.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 123921032 kB
MemAvailable: 128559708 kB
Buffers: 1688 kB
Cached: 5404504 kB
SwapCached: 8 kB
Active: 1519904 kB
Inactive: 5104228 kB
Active(anon): 1220060 kB
Inactive(anon): 15952 kB
Active(file): 299844 kB
Inactive(file): 5088276 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47764 kB
Writeback: 0 kB
AnonPages: 1218424 kB
Mapped: 146740 kB
Shmem: 18072 kB
KReclaimable: 179188 kB
Slab: 272996 kB
SReclaimable: 179188 kB
SUnreclaim: 93808 kB
KernelStack: 4336 kB
PageTables: 5688 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1655684 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150696 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 442368 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432328 MiB
End job on nodeC017 at 2025-07-11 14:46:11