0.00/0.00 c solving HOME/instance-4496105-1751154239.opb (Picat 3.9b6)
169.64/170.13 s SATISFIABLE
169.64/170.13 v ~x51 ~x13 x64 ~x26 ~x39 ~x1 ~x52 ~x14 ~x65 ~x27
169.64/170.13 v x40 x2 ~x53 ~x15 ~x66 ~x28 x41 x3 ~x54 ~x16
169.64/170.13 v ~x67 ~x29 x42 ~x4 ~x55 ~x17 ~x68 ~x30 ~x43 ~x5
169.64/170.13 v ~x56 ~x18 ~x31 ~x44 x6 ~x57 ~x19 x32 ~x45 x7
169.64/170.13 v ~x58 ~x20 ~x33 ~x46 ~x8 ~x59 ~x21 x34 ~x47 x9
169.64/170.13 v ~x60 ~x22 ~x35 ~x48 x10 ~x61 x23 x36 ~x49 ~x11
169.64/170.13 v x62 ~x24 ~x37 ~x50 x12 x63 x25 ~x38
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 (63075 MiB free)
memory of node 1: 64507 MiB (62334 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496105-1751154239/watcher-4496105-1751154239 -o /tmp/evaluation-result-4496105-1751154239/solver-4496105-1751154239 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751146126-15228 --watchdog 3760 pb_picat HOME/instance-4496105-1751154239.opb
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
solver pid=19405, runsolver pid=19402
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.04 4.09 4.09 5/265 19406
/proc/meminfo: memFree=128412304/131250000 swapFree=33010684/33010684
[pid=19405] ppid=19402 vsize=2028448 memory=19224 CPUtime=0.09 cores=0,2
/proc/19405/stat : 19405 (pb_picat) R 19402 19405 15215 0 -1 4194304 1250 0 0 0 8 1 0 0 20 0 1 0 31104114 2077130752 4806 18446744073709551615 94145492918272 94145494319853 140728003678992 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145494591280 94145496465584 94145515094016 140728003684766 140728003684842 140728003684842 140728003690444 0
/proc/19405/statm: 507112 4806 1728 343 0 504176 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2028448 KiB
Current children cumulated memory: 19224 KiB
[startup+0.205383 s]*
/proc/loadavg: 4.04 4.09 4.09 5/265 19406
/proc/meminfo: memFree=128412304/131250000 swapFree=33010684/33010684
[pid=19405] ppid=19402 vsize=2030176 memory=20668 CPUtime=0.19 cores=0,2
/proc/19405/stat : 19405 (pb_picat) R 19402 19405 15215 0 -1 4194304 1792 0 0 0 18 1 0 0 20 0 1 0 31104114 2078900224 5167 18446744073709551615 94145492918272 94145494319853 140728003678992 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145494591280 94145496465584 94145515094016 140728003684766 140728003684842 140728003684842 140728003690444 0
/proc/19405/statm: 507544 5167 1728 343 0 504608 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2030176 KiB
Current children cumulated memory: 20668 KiB
[startup+0.30524 s]*
/proc/loadavg: 4.04 4.09 4.09 5/265 19406
/proc/meminfo: memFree=128412304/131250000 swapFree=33010684/33010684
[pid=19405] ppid=19402 vsize=2030176 memory=20788 CPUtime=0.29 cores=0,2
/proc/19405/stat : 19405 (pb_picat) R 19402 19405 15215 0 -1 4194304 1978 0 0 0 28 1 0 0 20 0 1 0 31104114 2078900224 5197 18446744073709551615 94145492918272 94145494319853 140728003678992 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145494591280 94145496465584 94145515094016 140728003684766 140728003684842 140728003684842 140728003690444 0
/proc/19405/statm: 507544 5197 1728 343 0 504608 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2030176 KiB
Current children cumulated memory: 20788 KiB
[startup+0.700148 s]
/proc/loadavg: 4.04 4.09 4.09 5/265 19406
/proc/meminfo: memFree=128412304/131250000 swapFree=33010684/33010684
[pid=19405] ppid=19402 vsize=2032416 memory=21628 CPUtime=0.68 cores=0,2
/proc/19405/stat : 19405 (pb_picat) R 19402 19405 15215 0 -1 4194304 3162 0 0 0 67 1 0 0 20 0 1 0 31104114 2081193984 5407 18446744073709551615 94145492918272 94145494319853 140728003678992 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145494591280 94145496465584 94145515094016 140728003684766 140728003684842 140728003684842 140728003690444 0
/proc/19405/statm: 508104 5407 1728 343 0 505168 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2032416 KiB
Current children cumulated memory: 21628 KiB
[startup+1.50011 s]
/proc/loadavg: 4.04 4.09 4.09 5/265 19406
/proc/meminfo: memFree=128412320/131250000 swapFree=33010684/33010684
[pid=19405] ppid=19402 vsize=2032556 memory=22512 CPUtime=1.49 cores=0,2
/proc/19405/stat : 19405 (pb_picat) R 19402 19405 15215 0 -1 4194304 4385 0 0 0 147 2 0 0 20 0 1 0 31104114 2081337344 5628 18446744073709551615 94145492918272 94145494319853 140728003678992 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145494591280 94145496465584 94145515094016 140728003684766 140728003684842 140728003684842 140728003690444 0
/proc/19405/statm: 508139 5628 1728 343 0 505203 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2032556 KiB
Current children cumulated memory: 22512 KiB
[startup+3.10518 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 19406
/proc/meminfo: memFree=128416568/131250000 swapFree=33010684/33010684
[pid=19405] ppid=19402 vsize=2034788 memory=23496 CPUtime=3.08 cores=0,2
/proc/19405/stat : 19405 (pb_picat) R 19402 19405 15215 0 -1 4194304 8037 0 0 0 306 2 0 0 20 0 1 0 31104114 2083622912 5874 18446744073709551615 94145492918272 94145494319853 140728003678992 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145494591280 94145496465584 94145515094016 140728003684766 140728003684842 140728003684842 140728003690444 0
/proc/19405/statm: 508697 5874 1728 343 0 505761 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2034788 KiB
Current children cumulated memory: 23496 KiB
[startup+6.3001 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 19406
/proc/meminfo: memFree=128413544/131250000 swapFree=33010684/33010684
[pid=19405] ppid=19402 vsize=2034788 memory=24660 CPUtime=6.27 cores=0,2
/proc/19405/stat : 19405 (pb_picat) R 19402 19405 15215 0 -1 4194304 12987 0 0 0 624 3 0 0 20 0 1 0 31104114 2083622912 6165 18446744073709551615 94145492918272 94145494319853 140728003678992 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145494591280 94145496465584 94145515094016 140728003684766 140728003684842 140728003684842 140728003690444 0
/proc/19405/statm: 508697 6165 1728 343 0 505761 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2034788 KiB
Current children cumulated memory: 24660 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 19406
/proc/meminfo: memFree=128822420/131250000 swapFree=33010684/33010684
[pid=19405] ppid=19402 vsize=2035460 memory=24520 CPUtime=12.65 cores=0,2
/proc/19405/stat : 19405 (pb_picat) R 19402 19405 15215 0 -1 4194304 23706 0 0 0 1261 4 0 0 20 0 1 0 31104114 2084311040 6130 18446744073709551615 94145492918272 94145494319853 140728003678992 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145494591280 94145496465584 94145515094016 140728003684766 140728003684842 140728003684842 140728003690444 0
/proc/19405/statm: 508865 6130 1728 343 0 505929 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2035460 KiB
Current children cumulated memory: 24520 KiB
[startup+25.5001 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 19406
/proc/meminfo: memFree=128826416/131250000 swapFree=33010684/33010684
[pid=19405] ppid=19402 vsize=2038128 memory=25536 CPUtime=25.42 cores=0,2
/proc/19405/stat : 19405 (pb_picat) R 19402 19405 15215 0 -1 4194304 45181 0 0 0 2533 9 0 0 20 0 1 0 31104114 2087043072 6384 18446744073709551615 94145492918272 94145494319853 140728003678992 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145494591280 94145496465584 94145515094016 140728003684766 140728003684842 140728003684842 140728003690444 0
/proc/19405/statm: 509532 6384 1728 343 0 506596 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2038128 KiB
Current children cumulated memory: 25536 KiB
[startup+51.1052 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 19406
/proc/meminfo: memFree=128809552/131250000 swapFree=33010684/33010684
[pid=19405] ppid=19402 vsize=2046320 memory=32876 CPUtime=50.96 cores=0,2
/proc/19405/stat : 19405 (pb_picat) R 19402 19405 15215 0 -1 4194304 71333 0 0 0 5081 15 0 0 20 0 1 0 31104114 2095431680 8219 18446744073709551615 94145492918272 94145494319853 140728003678992 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145494591280 94145496465584 94145515094016 140728003684766 140728003684842 140728003684842 140728003690444 0
/proc/19405/statm: 511580 8219 1728 343 0 508644 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2046320 KiB
Current children cumulated memory: 32876 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 19412
/proc/meminfo: memFree=128303792/131250000 swapFree=33010684/33010684
[pid=19405] ppid=19402 vsize=2042972 memory=33260 CPUtime=102.02 cores=0,2
/proc/19405/stat : 19405 (pb_picat) R 19402 19405 15215 0 -1 4194304 118135 0 0 0 10178 24 0 0 20 0 1 0 31104114 2092003328 8315 18446744073709551615 94145492918272 94145494319853 140728003678992 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145494591280 94145496465584 94145515094016 140728003684766 140728003684842 140728003684842 140728003690444 0
/proc/19405/statm: 510743 8315 1728 343 0 507807 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2042972 KiB
Current children cumulated memory: 33260 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 19415
/proc/meminfo: memFree=128757540/131250000 swapFree=33010684/33010684
[pid=19405] ppid=19402 vsize=2043220 memory=32224 CPUtime=161.86 cores=0,2
/proc/19405/stat : 19405 (pb_picat) R 19402 19405 15215 0 -1 4194304 156215 0 0 0 16153 33 0 0 20 0 1 0 31104114 2092257280 8056 18446744073709551615 94145492918272 94145494319853 140728003678992 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145494591280 94145496465584 94145515094016 140728003684766 140728003684842 140728003684842 140728003690444 0
/proc/19405/statm: 510805 8056 1728 343 0 507869 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2043220 KiB
Current children cumulated memory: 32224 KiB
[startup+170.139 s]
# the end of solver process 19405 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=169.337 s, system=0.34403 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+166.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 19415
/proc/meminfo: memFree=128766728/131250000 swapFree=33010684/33010684
[pid=19405] ppid=19402 vsize=2043220 memory=33632 CPUtime=165.95 cores=0,2
/proc/19405/stat : 19405 (pb_picat) R 19402 19405 15215 0 -1 4194304 159061 0 0 0 16561 34 0 0 20 0 1 0 31104114 2092257280 8408 18446744073709551615 94145492918272 94145494319853 140728003678992 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145494591280 94145496465584 94145515094016 140728003684766 140728003684842 140728003684842 140728003690444 0
/proc/19405/statm: 510805 8408 1728 343 0 507869 0
Current children cumulated CPU time: 165.95 s
Current children cumulated vsize: 2043220 KiB
Current children cumulated memory: 33632 KiB
[startup+168 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 19415
/proc/meminfo: memFree=128762632/131250000 swapFree=33010684/33010684
[pid=19405] ppid=19402 vsize=2043220 memory=32736 CPUtime=167.55 cores=0,2
/proc/19405/stat : 19405 (pb_picat) R 19402 19405 15215 0 -1 4194304 159603 0 0 0 16721 34 0 0 20 0 1 0 31104114 2092257280 8184 18446744073709551615 94145492918272 94145494319853 140728003678992 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145494591280 94145496465584 94145515094016 140728003684766 140728003684842 140728003684842 140728003690444 0
/proc/19405/statm: 510805 8184 1728 343 0 507869 0
Current children cumulated CPU time: 167.55 s
Current children cumulated vsize: 2043220 KiB
Current children cumulated memory: 32736 KiB
[startup+168.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 19415
/proc/meminfo: memFree=128762632/131250000 swapFree=33010684/33010684
[pid=19405] ppid=19402 vsize=2051412 memory=33760 CPUtime=168.34 cores=0,2
/proc/19405/stat : 19405 (pb_picat) R 19402 19405 15215 0 -1 4194304 159835 0 0 0 16800 34 0 0 20 0 1 0 31104114 2100645888 8440 18446744073709551615 94145492918272 94145494319853 140728003678992 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145494591280 94145496465584 94145515094016 140728003684766 140728003684842 140728003684842 140728003690444 0
/proc/19405/statm: 512853 8440 1728 343 0 509917 0
Current children cumulated CPU time: 168.34 s
Current children cumulated vsize: 2051412 KiB
Current children cumulated memory: 33760 KiB
[startup+169.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 19415
/proc/meminfo: memFree=128762632/131250000 swapFree=33010684/33010684
[pid=19405] ppid=19402 vsize=2043220 memory=30376 CPUtime=169.14 cores=0,2
/proc/19405/stat : 19405 (pb_picat) R 19402 19405 15215 0 -1 4194304 160283 0 0 0 16880 34 0 0 20 0 1 0 31104114 2092257280 7594 18446744073709551615 94145492918272 94145494319853 140728003678992 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145494591280 94145496465584 94145515094016 140728003684766 140728003684842 140728003684842 140728003690444 0
/proc/19405/statm: 510805 7594 1728 343 0 507869 0
Current children cumulated CPU time: 169.14 s
Current children cumulated vsize: 2043220 KiB
Current children cumulated memory: 30376 KiB
[startup+170 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 19415
/proc/meminfo: memFree=128754440/131250000 swapFree=33010684/33010684
[pid=19405] ppid=19402 vsize=2043220 memory=31528 CPUtime=169.54 cores=0,2
/proc/19405/stat : 19405 (pb_picat) R 19402 19405 15215 0 -1 4194304 160595 0 0 0 16920 34 0 0 20 0 1 0 31104114 2092257280 7882 18446744073709551615 94145492918272 94145494319853 140728003678992 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145494591280 94145496465584 94145515094016 140728003684766 140728003684842 140728003684842 140728003690444 0
/proc/19405/statm: 510805 7882 1728 343 0 507869 0
Current children cumulated CPU time: 169.54 s
Current children cumulated vsize: 2043220 KiB
Current children cumulated memory: 31528 KiB
[startup+170.105 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 19415
/proc/meminfo: memFree=128754440/131250000 swapFree=33010684/33010684
[pid=19405] ppid=19402 vsize=2043220 memory=33764 CPUtime=169.64 cores=0,2
/proc/19405/stat : 19405 (pb_picat) R 19402 19405 15215 0 -1 4194304 160633 0 0 0 16930 34 0 0 20 0 1 0 31104114 2092257280 8441 18446744073709551615 94145492918272 94145494319853 140728003678992 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145494591280 94145496465584 94145515094016 140728003684766 140728003684842 140728003684842 140728003690444 0
/proc/19405/statm: 510805 8441 1728 343 0 507869 0
Current children cumulated CPU time: 169.64 s
Current children cumulated vsize: 2043220 KiB
Current children cumulated memory: 33764 KiB
Child status: 0
Real time (s): 170.139
CPU time (s): 169.681
CPU user time (s): 169.337
CPU system time (s): 0.34403
CPU usage (%): 99.7305
Max. virtual memory (cumulated for all children) (KiB): 2051412
Max. memory (cumulated for all children) (KiB): 37616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 169.337
system time used= 0.34403
maximum resident set size= 37616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160647
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= 67
involuntary context switches= 234
# summary of solver processes directly reported to runsolver:
# pid: 19405
# total CPU time (s): 169.681
# total CPU user time (s): 169.337
# total CPU system time (s): 0.34403
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.313119 second user time and 0.674971 second system time
The end
Begin job on nodeC013 at 2025-06-29 01:43:59
IDJOB=4496105
IDBENCH=148107
IDSOLVER=3346
FILE ID=nodeC013/4496105-1751154239
RUNJOBID= nodeC013-1751146126-15228
SLURM_JOB_ID= 9587455
Free space on /tmp= 433044 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob2.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4496105-1751154239/watcher-4496105-1751154239 -o /tmp/evaluation-result-4496105-1751154239/solver-4496105-1751154239 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751146126-15228 --watchdog 3760 pb_picat HOME/instance-4496105-1751154239.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f3b4489b3c27b845ad2c738d1f690b61
RANDOM SEED=1918124222
nodeC013 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.853
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.67
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.862
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.67
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 : 3594.452
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.751
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.67
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.887
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.67
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.829
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.67
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 : 3618.053
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.67
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 : 3586.953
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128420496 kB
MemAvailable: 128014976 kB
Buffers: 3280 kB
Cached: 348008 kB
SwapCached: 0 kB
Active: 2085748 kB
Inactive: 154316 kB
Active(anon): 1902060 kB
Inactive(anon): 0 kB
Active(file): 183688 kB
Inactive(file): 154316 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3576 kB
Writeback: 0 kB
AnonPages: 1889956 kB
Mapped: 108080 kB
Shmem: 13284 kB
KReclaimable: 85908 kB
Slab: 168364 kB
SReclaimable: 85908 kB
SUnreclaim: 82456 kB
KernelStack: 4348 kB
PageTables: 6964 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 8758004 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1507328 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433040 MiB
End job on nodeC013 at 2025-06-29 01:46:49