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 (62646 MiB free)
memory of node 1: 64465 MiB (63842 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503447-1751134360/watcher-4503447-1751134360 -o /tmp/evaluation-result-4503447-1751134360/solver-4503447-1751134360 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751133631-12380 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4503447-1751134360.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=13305, runsolver pid=13302
[startup+0.100025 s]*
/proc/loadavg: 7.81 7.21 4.27 7/266 13306
/proc/meminfo: memFree=129498552/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=71352 memory=36864 CPUtime=0.09 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) R 13302 13305 12362 0 -1 4194304 8205 0 0 0 8 1 0 0 20 0 1 0 29113557 73064448 9216 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 17838 9216 1184 6655 0 8073 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 71352 KiB
Current children cumulated memory: 36864 KiB
[startup+0.205704 s]*
/proc/loadavg: 7.81 7.21 4.27 7/266 13306
/proc/meminfo: memFree=129498552/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=71352 memory=36864 CPUtime=0.19 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) R 13302 13305 12362 0 -1 4194304 8205 0 0 0 18 1 0 0 20 0 1 0 29113557 73064448 9216 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 17838 9216 1184 6655 0 8073 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 71352 KiB
Current children cumulated memory: 36864 KiB
[startup+0.305655 s]*
/proc/loadavg: 7.81 7.21 4.27 7/266 13306
/proc/meminfo: memFree=129498728/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=71352 memory=36864 CPUtime=0.29 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) R 13302 13305 12362 0 -1 4194304 8205 0 0 0 28 1 0 0 20 0 1 0 29113557 73064448 9216 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 17838 9216 1184 6655 0 8073 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 71352 KiB
Current children cumulated memory: 36864 KiB
[startup+0.700184 s]
/proc/loadavg: 7.81 7.21 4.27 7/266 13306
/proc/meminfo: memFree=129498480/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=71352 memory=36864 CPUtime=0.68 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) R 13302 13305 12362 0 -1 4194304 8205 0 0 0 67 1 0 0 20 0 1 0 29113557 73064448 9216 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 17838 9216 1184 6655 0 8073 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 71352 KiB
Current children cumulated memory: 36864 KiB
[startup+1.50017 s]
/proc/loadavg: 7.81 7.21 4.27 7/266 13306
/proc/meminfo: memFree=129498480/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=71352 memory=36864 CPUtime=1.48 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) R 13302 13305 12362 0 -1 4194304 8205 0 0 0 147 1 0 0 20 0 1 0 29113557 73064448 9216 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 17838 9216 1184 6655 0 8073 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 71352 KiB
Current children cumulated memory: 36864 KiB
[startup+3.10547 s]
/proc/loadavg: 7.66 7.19 4.27 7/266 13306
/proc/meminfo: memFree=129498576/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=71352 memory=36864 CPUtime=3.08 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) R 13302 13305 12362 0 -1 4194304 8205 0 0 0 307 1 0 0 20 0 1 0 29113557 73064448 9216 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 17838 9216 1184 6655 0 8073 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 71352 KiB
Current children cumulated memory: 36864 KiB
[startup+6.30016 s]
/proc/loadavg: 7.66 7.19 4.27 7/267 13307
/proc/meminfo: memFree=129385936/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=71352 memory=36864 CPUtime=6.27 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) R 13302 13305 12362 0 -1 4194304 8205 0 0 0 626 1 0 0 20 0 1 0 29113557 73064448 9216 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 17838 9216 1184 6655 0 8073 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 71352 KiB
Current children cumulated memory: 36864 KiB
[startup+12.7002 s]
/proc/loadavg: 7.61 7.19 4.29 9/268 13308
/proc/meminfo: memFree=128869004/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=254156 memory=187660 CPUtime=14.82 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) R 13302 13305 12362 0 -1 4194304 43260 0 0 0 1476 6 0 0 20 0 2 0 29113557 260255744 46915 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 63539 46915 3456 6655 0 47346 0
[pid=13305/tid=13308] ppid=13302 vsize=254156 memory=187532 CPUtime=2.17 cores=5,7
/proc/13305/task/13308/stat : 13308 (LSIPExact) R 13302 13305 12362 0 -1 4194368 10289 0 0 0 215 2 0 0 20 0 2 0 29114563 260255744 46915 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
Current children cumulated CPU time: 14.82 s
Current children cumulated vsize: 254156 KiB
Current children cumulated memory: 187660 KiB
[startup+25.5002 s]
/proc/loadavg: 7.70 7.23 4.35 9/268 13308
/proc/meminfo: memFree=128834096/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=257364 memory=193804 CPUtime=40.21 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) R 13302 13305 12362 0 -1 4194304 72076 0 0 0 4011 10 0 0 20 0 2 0 29113557 263540736 48451 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 64341 48451 3488 6655 0 48148 0
[pid=13305/tid=13308] ppid=13302 vsize=257364 memory=193548 CPUtime=14.81 cores=5,7
/proc/13305/task/13308/stat : 13308 (LSIPExact) R 13302 13305 12362 0 -1 4194368 24274 0 0 0 1478 3 0 0 20 0 2 0 29114563 263540736 48451 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
Current children cumulated CPU time: 40.21 s
Current children cumulated vsize: 257364 KiB
Current children cumulated memory: 193804 KiB
[startup+51.1058 s]
/proc/loadavg: 7.88 7.31 4.45 9/268 13309
/proc/meminfo: memFree=128615936/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=340688 memory=259156 CPUtime=91.01 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) R 13302 13305 12362 0 -1 4194304 117187 0 0 0 9083 18 0 0 20 0 2 0 29113557 348864512 64789 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 85172 64789 3552 6655 0 63692 0
[pid=13305/tid=13308] ppid=13302 vsize=340688 memory=247380 CPUtime=40.12 cores=5,7
/proc/13305/task/13308/stat : 13308 (LSIPExact) R 13302 13305 12362 0 -1 4194368 46183 0 0 0 4004 8 0 0 20 0 2 0 29114563 348864512 64789 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
Current children cumulated CPU time: 91.01 s
Current children cumulated vsize: 340688 KiB
Current children cumulated memory: 259156 KiB
[startup+102.3 s]
/proc/loadavg: 7.79 7.38 4.63 8/267 13357
/proc/meminfo: memFree=121230420/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=345432 memory=251704 CPUtime=192.62 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) R 13302 13305 12362 0 -1 4194304 160646 0 0 0 19240 22 0 0 20 0 2 0 29113557 353722368 62926 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 86358 62926 3552 6655 0 68035 0
[pid=13305/tid=13308] ppid=13302 vsize=345432 memory=14432 CPUtime=90.72 cores=5,7
/proc/13305/task/13308/stat : 13308 (LSIPExact) R 13302 13305 12362 0 -1 4194368 70034 0 0 0 9062 10 0 0 20 0 2 0 29114563 353722368 62926 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
Current children cumulated CPU time: 192.62 s
Current children cumulated vsize: 345432 KiB
Current children cumulated memory: 251704 KiB
[startup+162.3 s]
/proc/loadavg: 7.19 7.29 4.78 7/268 13361
/proc/meminfo: memFree=120129436/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=350856 memory=258184 CPUtime=311.75 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) R 13302 13305 12362 0 -1 4194304 243126 0 0 0 31146 29 0 0 20 0 2 0 29113557 359276544 64546 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 87714 64546 3552 6655 0 69391 0
[pid=13305/tid=13308] ppid=13302 vsize=350856 memory=258184 CPUtime=150.06 cores=5,7
/proc/13305/task/13308/stat : 13308 (LSIPExact) R 13302 13305 12362 0 -1 4194368 115371 0 0 0 14992 14 0 0 20 0 2 0 29114563 359276544 64546 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
Current children cumulated CPU time: 311.75 s
Current children cumulated vsize: 350856 KiB
Current children cumulated memory: 258184 KiB
[startup+222.3 s]
/proc/loadavg: 6.55 7.09 4.87 7/268 13364
/proc/meminfo: memFree=118514672/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=350856 memory=258440 CPUtime=430.89 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) R 13302 13305 12362 0 -1 4194304 246277 0 0 0 43060 29 0 0 20 0 2 0 29113557 359276544 64610 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 87714 64610 3552 6655 0 69391 0
[pid=13305/tid=13308] ppid=13302 vsize=350856 memory=14432 CPUtime=209.38 cores=5,7
/proc/13305/task/13308/stat : 13308 (LSIPExact) R 13302 13305 12362 0 -1 4194368 116998 0 0 0 20924 14 0 0 20 0 2 0 29114563 359276544 64610 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
Current children cumulated CPU time: 430.89 s
Current children cumulated vsize: 350856 KiB
Current children cumulated memory: 258440 KiB
[startup+282.3 s]
/proc/loadavg: 6.41 6.94 4.96 8/267 13366
/proc/meminfo: memFree=115864452/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=352760 memory=260616 CPUtime=550.03 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) R 13302 13305 12362 0 -1 4194304 267814 0 0 0 54972 31 0 0 20 0 2 0 29113557 361226240 65154 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 88190 65154 3552 6655 0 69867 0
[pid=13305/tid=13308] ppid=13302 vsize=352760 memory=259848 CPUtime=268.7 cores=5,7
/proc/13305/task/13308/stat : 13308 (LSIPExact) R 13302 13305 12362 0 -1 4194368 129384 0 0 0 26855 15 0 0 20 0 2 0 29114563 361226240 65154 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
Current children cumulated CPU time: 550.03 s
Current children cumulated vsize: 352760 KiB
Current children cumulated memory: 260616 KiB
[startup+342.3 s]
/proc/loadavg: 6.83 6.97 5.09 8/267 13368
/proc/meminfo: memFree=113803800/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=357332 memory=265076 CPUtime=669.11 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) R 13302 13305 12362 0 -1 4194304 301459 0 0 0 66877 34 0 0 20 0 2 0 29113557 365907968 66269 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 89333 66269 3552 6655 0 71010 0
[pid=13305/tid=13308] ppid=13302 vsize=357332 memory=14432 CPUtime=327.99 cores=5,7
/proc/13305/task/13308/stat : 13308 (LSIPExact) R 13302 13305 12362 0 -1 4194368 147091 0 0 0 32782 17 0 0 20 0 2 0 29114563 365907968 66269 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
Current children cumulated CPU time: 669.11 s
Current children cumulated vsize: 357332 KiB
Current children cumulated memory: 265076 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/13305/statm: 91246 69053 3552 6655 0 72923 0
[pid=13305/tid=13308] ppid=13302 vsize=364984 memory=276212 CPUtime=624.43 cores=5,7
/proc/13305/task/13308/stat : 13308 (LSIPExact) R 13302 13305 12362 0 -1 4194368 179684 0 0 0 62423 20 0 0 20 0 2 0 29114563 373743616 69053 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
Current children cumulated CPU time: 1264.53 s
Current children cumulated vsize: 364984 KiB
Current children cumulated memory: 276212 KiB
[startup+702.3 s]
/proc/loadavg: 7.13 7.06 5.76 8/268 13387
/proc/meminfo: memFree=109911916/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=369100 memory=281332 CPUtime=1383.62 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) R 13302 13305 12362 0 -1 4194304 362797 0 0 0 138322 40 0 0 20 0 2 0 29113557 377958400 70333 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 92275 70333 3552 6655 0 73952 0
[pid=13305/tid=13308] ppid=13302 vsize=369100 memory=276468 CPUtime=683.72 cores=5,7
/proc/13305/task/13308/stat : 13308 (LSIPExact) R 13302 13305 12362 0 -1 4194368 181087 0 0 0 68352 20 0 0 20 0 2 0 29114563 377958400 70333 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
Current children cumulated CPU time: 1383.62 s
Current children cumulated vsize: 369100 KiB
Current children cumulated memory: 281332 KiB
[startup+762.3 s]
/proc/loadavg: 6.17 6.83 5.76 6/267 13436
/proc/meminfo: memFree=110606308/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=279412 memory=244860 CPUtime=1430.84 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) S 13302 13305 12362 0 -1 4194304 368879 0 0 0 143044 40 0 0 20 0 1 0 29113557 286117888 61215 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 69853 61215 3584 6655 0 60057 0
[pid=13390] ppid=13305 vsize=86388 memory=78652 CPUtime=36.07 cores=5,7
/proc/13390/stat : 13390 (Exact) R 13305 13390 13390 0 -1 4194304 14307 0 0 0 3603 4 0 0 20 0 1 0 29186165 88461312 19663 18446744073709551615 4198400 8335837 140723014068112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 35131392 140723014076603 140723014076957 140723014076957 140723014082511 0
/proc/13390/statm: 21597 19663 1120 1011 0 20364 0
Current children cumulated CPU time: 1466.91 s
Current children cumulated vsize: 365800 KiB
Current children cumulated memory: 323512 KiB
[startup+822.3 s]
/proc/loadavg: 5.98 6.65 5.77 6/268 13439
/proc/meminfo: memFree=110862196/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=279412 memory=245756 CPUtime=1430.84 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) S 13302 13305 12362 0 -1 4194304 368879 0 0 0 143044 40 0 0 20 0 1 0 29113557 286117888 61439 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 69853 61439 3584 6655 0 60057 0
[pid=13390] ppid=13305 vsize=106384 memory=91412 CPUtime=95.85 cores=5,7
/proc/13390/stat : 13390 (Exact) R 13305 13390 13390 0 -1 4194304 16191 0 0 0 9579 6 0 0 20 0 1 0 29186165 108937216 22853 18446744073709551615 4198400 8335837 140723014068112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 35131392 140723014076603 140723014076957 140723014076957 140723014082511 0
/proc/13390/statm: 26596 22853 1120 1011 0 25363 0
Current children cumulated CPU time: 1526.69 s
Current children cumulated vsize: 385796 KiB
Current children cumulated memory: 337168 KiB
[startup+882.3 s]
/proc/loadavg: 5.45 6.37 5.72 6/267 13443
/proc/meminfo: memFree=112632096/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=279412 memory=246396 CPUtime=1430.84 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) S 13302 13305 12362 0 -1 4194304 368879 0 0 0 143044 40 0 0 20 0 1 0 29113557 286117888 61599 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 69853 61599 3584 6655 0 60057 0
[pid=13390] ppid=13305 vsize=111432 memory=98392 CPUtime=155.6 cores=5,7
/proc/13390/stat : 13390 (Exact) R 13305 13390 13390 0 -1 4194304 17479 0 0 0 15551 9 0 0 20 0 1 0 29186165 114106368 24598 18446744073709551615 4198400 8335837 140723014068112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 35131392 140723014076603 140723014076957 140723014076957 140723014082511 0
/proc/13390/statm: 27858 24598 1120 1011 0 26625 0
Current children cumulated CPU time: 1586.44 s
Current children cumulated vsize: 390844 KiB
Current children cumulated memory: 344788 KiB
[startup+918.294 s]
# the end of solver process 13305 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1621.79 s, system=0.512127 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+896 s]*
/proc/loadavg: 5.35 6.31 5.71 6/267 13444
/proc/meminfo: memFree=112674712/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=279412 memory=246396 CPUtime=1430.84 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) S 13302 13305 12362 0 -1 4194304 368879 0 0 0 143044 40 0 0 20 0 1 0 29113557 286117888 61599 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 69853 61599 3584 6655 0 60057 0
[pid=13390] ppid=13305 vsize=117060 memory=106144 CPUtime=169.25 cores=5,7
/proc/13390/stat : 13390 (Exact) R 13305 13390 13390 0 -1 4194304 18376 0 0 0 16916 9 0 0 20 0 1 0 29186165 119869440 26536 18446744073709551615 4198400 8335837 140723014068112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 35131392 140723014076603 140723014076957 140723014076957 140723014082511 0
/proc/13390/statm: 29265 26536 1120 1011 0 28032 0
Current children cumulated CPU time: 1600.09 s
Current children cumulated vsize: 396472 KiB
Current children cumulated memory: 352540 KiB
[startup+908.8 s]
/proc/loadavg: 5.34 6.26 5.71 6/267 13444
/proc/meminfo: memFree=112693880/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=279412 memory=246396 CPUtime=1430.84 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) S 13302 13305 12362 0 -1 4194304 368879 0 0 0 143044 40 0 0 20 0 1 0 29113557 286117888 61599 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 69853 61599 3584 6655 0 60057 0
[pid=13390] ppid=13305 vsize=117616 memory=106656 CPUtime=181.99 cores=5,7
/proc/13390/stat : 13390 (Exact) R 13305 13390 13390 0 -1 4194304 18515 0 0 0 18190 9 0 0 20 0 1 0 29186165 120438784 26664 18446744073709551615 4198400 8335837 140723014068112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 35131392 140723014076603 140723014076957 140723014076957 140723014082511 0
/proc/13390/statm: 29404 26664 1120 1011 0 28171 0
Current children cumulated CPU time: 1612.83 s
Current children cumulated vsize: 397028 KiB
Current children cumulated memory: 353052 KiB
[startup+915.2 s]
/proc/loadavg: 5.32 6.24 5.70 6/267 13444
/proc/meminfo: memFree=112696124/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=279412 memory=246396 CPUtime=1430.84 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) S 13302 13305 12362 0 -1 4194304 368879 0 0 0 143044 40 0 0 20 0 1 0 29113557 286117888 61599 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 69853 61599 3584 6655 0 60057 0
[pid=13390] ppid=13305 vsize=118048 memory=107168 CPUtime=188.37 cores=5,7
/proc/13390/stat : 13390 (Exact) R 13305 13390 13390 0 -1 4194304 18623 0 0 0 18827 10 0 0 20 0 1 0 29186165 120881152 26792 18446744073709551615 4198400 8335837 140723014068112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 35131392 140723014076603 140723014076957 140723014076957 140723014082511 0
/proc/13390/statm: 29512 26792 1120 1011 0 28279 0
Current children cumulated CPU time: 1619.21 s
Current children cumulated vsize: 397460 KiB
Current children cumulated memory: 353564 KiB
[startup+916.8 s]
/proc/loadavg: 5.32 6.24 5.70 6/267 13444
/proc/meminfo: memFree=112696124/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=279412 memory=246396 CPUtime=1430.84 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) S 13302 13305 12362 0 -1 4194304 368879 0 0 0 143044 40 0 0 20 0 1 0 29113557 286117888 61599 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 69853 61599 3584 6655 0 60057 0
[pid=13390] ppid=13305 vsize=118192 memory=107296 CPUtime=189.96 cores=5,7
/proc/13390/stat : 13390 (Exact) R 13305 13390 13390 0 -1 4194304 18659 0 0 0 18986 10 0 0 20 0 1 0 29186165 121028608 26824 18446744073709551615 4198400 8335837 140723014068112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 35131392 140723014076603 140723014076957 140723014076957 140723014082511 0
/proc/13390/statm: 29548 26824 1120 1011 0 28315 0
Current children cumulated CPU time: 1620.8 s
Current children cumulated vsize: 397604 KiB
Current children cumulated memory: 353692 KiB
[startup+917.6 s]
/proc/loadavg: 5.32 6.24 5.70 6/267 13444
/proc/meminfo: memFree=112696124/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=279412 memory=246396 CPUtime=1430.84 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) S 13302 13305 12362 0 -1 4194304 368879 0 0 0 143044 40 0 0 20 0 1 0 29113557 286117888 61599 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 69853 61599 3584 6655 0 60057 0
[pid=13390] ppid=13305 vsize=118192 memory=107296 CPUtime=190.76 cores=5,7
/proc/13390/stat : 13390 (Exact) R 13305 13390 13390 0 -1 4194304 18659 0 0 0 19066 10 0 0 20 0 1 0 29186165 121028608 26824 18446744073709551615 4198400 8335837 140723014068112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 35131392 140723014076603 140723014076957 140723014076957 140723014082511 0
/proc/13390/statm: 29548 26824 1120 1011 0 28315 0
Current children cumulated CPU time: 1621.6 s
Current children cumulated vsize: 397604 KiB
Current children cumulated memory: 353692 KiB
[startup+918 s]*
/proc/loadavg: 5.29 6.22 5.70 6/267 13444
/proc/meminfo: memFree=112696124/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=279412 memory=246396 CPUtime=1430.84 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) S 13302 13305 12362 0 -1 4194304 368879 0 0 0 143044 40 0 0 20 0 1 0 29113557 286117888 61599 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 69853 61599 3584 6655 0 60057 0
[pid=13390] ppid=13305 vsize=118192 memory=107296 CPUtime=191.16 cores=5,7
/proc/13390/stat : 13390 (Exact) R 13305 13390 13390 0 -1 4194304 18659 0 0 0 19106 10 0 0 20 0 1 0 29186165 121028608 26824 18446744073709551615 4198400 8335837 140723014068112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 35131392 140723014076603 140723014076957 140723014076957 140723014082511 0
/proc/13390/statm: 29548 26824 1120 1011 0 28315 0
Current children cumulated CPU time: 1622 s
Current children cumulated vsize: 397604 KiB
Current children cumulated memory: 353692 KiB
[startup+918.2 s]
/proc/loadavg: 5.29 6.22 5.70 6/267 13444
/proc/meminfo: memFree=112696124/131250000 swapFree=33010684/33010684
[pid=13305] ppid=13302 vsize=279412 memory=246396 CPUtime=1430.84 cores=5,7
/proc/13305/stat : 13305 (LSIPExact) S 13302 13305 12362 0 -1 4194304 368879 0 0 0 143044 40 0 0 20 0 1 0 29113557 286117888 61599 18446744073709551615 94012586217472 94012613473873 140727868637792 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94012621976712 94012622408320 94012646924288 140727868639578 140727868639754 140727868639754 140727868645356 0
/proc/13305/statm: 69853 61599 3584 6655 0 60057 0
[pid=13390] ppid=13305 vsize=118192 memory=107296 CPUtime=191.35 cores=5,7
/proc/13390/stat : 13390 (Exact) R 13305 13390 13390 0 -1 4194304 18659 0 0 0 19125 10 0 0 20 0 1 0 29186165 121028608 26824 18446744073709551615 4198400 8335837 140723014068112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 35131392 140723014076603 140723014076957 140723014076957 140723014082511 0
/proc/13390/statm: 29548 26824 1120 1011 0 28315 0
Current children cumulated CPU time: 1622.19 s
Current children cumulated vsize: 397604 KiB
Current children cumulated memory: 353692 KiB
Child status: 0
Real time (s): 918.294
CPU time (s): 1622.3
CPU user time (s): 1621.79
CPU system time (s): 0.512127
CPU usage (%): 176.665
Max. virtual memory (cumulated for all children) (KiB): 397604
Max. memory (cumulated for all children) (KiB): 353692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1621.79
system time used= 0.512127
maximum resident set size= 281460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391113
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= 302
involuntary context switches= 18571
# summary of solver processes directly reported to runsolver:
# pid: 13305
# total CPU time (s): 1622.3
# total CPU user time (s): 1621.79
# total CPU system time (s): 0.512127
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.92844 second user time and 4.3696 second system time
The end
Begin job on nodeC016 at 2025-06-28 20:12:40
IDJOB=4503447
IDBENCH=155472
IDSOLVER=3336
FILE ID=nodeC016/4503447-1751134360
RUNJOBID= nodeC016-1751133631-12380
SLURM_JOB_ID= 9587416
Free space on /tmp= 432920 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-185.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503447-1751134360/watcher-4503447-1751134360 -o /tmp/evaluation-result-4503447-1751134360/solver-4503447-1751134360 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751133631-12380 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4503447-1751134360.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 458054bd456c10a880dafd6041bb82b2
RANDOM SEED=753056809
nodeC016 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.735
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.48
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.754
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.734
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.48
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 : 3620.245
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.48
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.752
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.48
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 : 3599.620
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.48
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.729
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.48
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.767
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129525468 kB
MemAvailable: 129255600 kB
Buffers: 3280 kB
Cached: 543860 kB
SwapCached: 0 kB
Active: 747460 kB
Inactive: 337488 kB
Active(anon): 555880 kB
Inactive(anon): 0 kB
Active(file): 191580 kB
Inactive(file): 337488 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 97468 kB
Writeback: 60 kB
AnonPages: 540884 kB
Mapped: 129588 kB
Shmem: 18072 kB
KReclaimable: 80608 kB
Slab: 162976 kB
SReclaimable: 80608 kB
SUnreclaim: 82368 kB
KernelStack: 4288 kB
PageTables: 4172 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 923448 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432624 MiB
End job on nodeC016 at 2025-06-28 20:27:58