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: 64096 MiB (59919 MiB free)
memory of node 1: 64473 MiB (60092 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450964-1721419312/watcher-4450964-1721419312 -o /tmp/evaluation-result-4450964-1721419312/solver-4450964-1721419312 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721413928-1045284 --watchdog 3760 ./Hybrid-LSMabSP+Exact HOME/instance-4450964-1721419312.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64Starting watchdog threadLinux 4.18.0-301.1.el8.x86_64Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1048540, runsolver pid=1048537
[startup+0.100096 s]*
/proc/loadavg: 4.27 4.18 4.15 5/247 1048547
/proc/meminfo: memFree=122879592/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 229 104 0 0 0 0 0 0 20 0 1 0 194086985 10170368 670 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 670 592 264 0 134 0
[pid=1048543] ppid=1048540 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/1048543/stat : 1048543 (timeout) S 1048540 1048543 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194086985 8867840 248 134679101440 94627522310144 94627522345160 140721535248672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94627524442576 94627524444708 94627538776064 140721535251495 140721535251611 140721535251611 140721535258599 0
/proc/1048543/statm: 2165 248 224 9 0 87 0
[pid=1048544] ppid=1048543 vsize=27328 memory=14056 CPUtime=0.1 cores=0,2
/proc/1048544/stat : 1048544 (LS-MabSP) R 1048543 1048543 1045274 0 -1 4194304 2473 0 0 0 10 0 0 0 20 0 1 0 194086985 27983872 3514 134679101440 4194304 15467897 140731969845008 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 51695616 140731969848378 140731969848481 140731969848481 140731969855469 0
/proc/1048544/statm: 6832 3514 1105 2753 0 3485 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45920 KiB
Current children cumulated memory: 17728 KiB
[startup+0.213475 s]*
/proc/loadavg: 4.27 4.18 4.15 5/245 1048566
/proc/meminfo: memFree=122883368/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 229 104 0 0 0 0 0 0 20 0 1 0 194086985 10170368 670 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 670 592 264 0 134 0
[pid=1048543] ppid=1048540 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/1048543/stat : 1048543 (timeout) S 1048540 1048543 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194086985 8867840 248 134679101440 94627522310144 94627522345160 140721535248672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94627524442576 94627524444708 94627538776064 140721535251495 140721535251611 140721535251611 140721535258599 0
/proc/1048543/statm: 2165 248 224 9 0 87 0
[pid=1048544] ppid=1048543 vsize=27328 memory=14056 CPUtime=0.21 cores=0,2
/proc/1048544/stat : 1048544 (LS-MabSP) R 1048543 1048543 1045274 0 -1 4194304 2473 0 0 0 21 0 0 0 20 0 1 0 194086985 27983872 3514 134679101440 4194304 15467897 140731969845008 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 51695616 140731969848378 140731969848481 140731969848481 140731969855469 0
/proc/1048544/statm: 6832 3514 1105 2753 0 3485 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45920 KiB
Current children cumulated memory: 17728 KiB
[startup+0.312649 s]*
/proc/loadavg: 4.27 4.18 4.15 5/248 1048570
/proc/meminfo: memFree=122882572/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 229 104 0 0 0 0 0 0 20 0 1 0 194086985 10170368 670 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 670 592 264 0 134 0
[pid=1048543] ppid=1048540 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/1048543/stat : 1048543 (timeout) S 1048540 1048543 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194086985 8867840 248 134679101440 94627522310144 94627522345160 140721535248672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94627524442576 94627524444708 94627538776064 140721535251495 140721535251611 140721535251611 140721535258599 0
/proc/1048543/statm: 2165 248 224 9 0 87 0
[pid=1048544] ppid=1048543 vsize=27328 memory=14056 CPUtime=0.31 cores=0,2
/proc/1048544/stat : 1048544 (LS-MabSP) R 1048543 1048543 1045274 0 -1 4194304 2473 0 0 0 31 0 0 0 20 0 1 0 194086985 27983872 3514 134679101440 4194304 15467897 140731969845008 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 51695616 140731969848378 140731969848481 140731969848481 140731969855469 0
/proc/1048544/statm: 6832 3514 1105 2753 0 3485 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45920 KiB
Current children cumulated memory: 17728 KiB
[startup+0.700393 s]
/proc/loadavg: 4.27 4.18 4.15 5/253 1048579
/proc/meminfo: memFree=122853512/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 229 104 0 0 0 0 0 0 20 0 1 0 194086985 10170368 670 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 670 592 264 0 134 0
[pid=1048543] ppid=1048540 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/1048543/stat : 1048543 (timeout) S 1048540 1048543 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194086985 8867840 248 134679101440 94627522310144 94627522345160 140721535248672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94627524442576 94627524444708 94627538776064 140721535251495 140721535251611 140721535251611 140721535258599 0
/proc/1048543/statm: 2165 248 224 9 0 87 0
[pid=1048544] ppid=1048543 vsize=27328 memory=14056 CPUtime=0.68 cores=0,2
/proc/1048544/stat : 1048544 (LS-MabSP) R 1048543 1048543 1045274 0 -1 4194304 2473 0 0 0 68 0 0 0 20 0 1 0 194086985 27983872 3514 134679101440 4194304 15467897 140731969845008 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 51695616 140731969848378 140731969848481 140731969848481 140731969855469 0
/proc/1048544/statm: 6832 3514 1105 2753 0 3485 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45920 KiB
Current children cumulated memory: 17728 KiB
[startup+1.5004 s]
/proc/loadavg: 4.27 4.18 4.15 5/253 1048579
/proc/meminfo: memFree=122850200/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 229 104 0 0 0 0 0 0 20 0 1 0 194086985 10170368 670 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 670 592 264 0 134 0
[pid=1048543] ppid=1048540 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/1048543/stat : 1048543 (timeout) S 1048540 1048543 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194086985 8867840 248 134679101440 94627522310144 94627522345160 140721535248672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94627524442576 94627524444708 94627538776064 140721535251495 140721535251611 140721535251611 140721535258599 0
/proc/1048543/statm: 2165 248 224 9 0 87 0
[pid=1048544] ppid=1048543 vsize=27328 memory=14056 CPUtime=1.48 cores=0,2
/proc/1048544/stat : 1048544 (LS-MabSP) R 1048543 1048543 1045274 0 -1 4194304 2473 0 0 0 148 0 0 0 20 0 1 0 194086985 27983872 3514 134679101440 4194304 15467897 140731969845008 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 51695616 140731969848378 140731969848481 140731969848481 140731969855469 0
/proc/1048544/statm: 6832 3514 1105 2753 0 3485 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45920 KiB
Current children cumulated memory: 17728 KiB
[startup+3.11279 s]
/proc/loadavg: 4.27 4.18 4.15 5/253 1048579
/proc/meminfo: memFree=122773092/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 229 104 0 0 0 0 0 0 20 0 1 0 194086985 10170368 670 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 670 592 264 0 134 0
[pid=1048543] ppid=1048540 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/1048543/stat : 1048543 (timeout) S 1048540 1048543 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194086985 8867840 248 134679101440 94627522310144 94627522345160 140721535248672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94627524442576 94627524444708 94627538776064 140721535251495 140721535251611 140721535251611 140721535258599 0
/proc/1048543/statm: 2165 248 224 9 0 87 0
[pid=1048544] ppid=1048543 vsize=104176 memory=93960 CPUtime=3.08 cores=0,2
/proc/1048544/stat : 1048544 (LS-MabSP) R 1048543 1048543 1045274 0 -1 4194304 21740 0 0 0 305 3 0 0 20 0 1 0 194086985 106676224 23490 134679101440 4194304 15467897 140731969845008 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 51695616 140731969848378 140731969848481 140731969848481 140731969855469 0
/proc/1048544/statm: 26044 23490 2849 2753 0 22697 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 122768 KiB
Current children cumulated memory: 97632 KiB
[startup+6.30042 s]
/proc/loadavg: 4.25 4.18 4.15 5/253 1048579
/proc/meminfo: memFree=122768920/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 229 104 0 0 0 0 0 0 20 0 1 0 194086985 10170368 670 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 670 592 264 0 134 0
[pid=1048543] ppid=1048540 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/1048543/stat : 1048543 (timeout) S 1048540 1048543 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194086985 8867840 248 134679101440 94627522310144 94627522345160 140721535248672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94627524442576 94627524444708 94627538776064 140721535251495 140721535251611 140721535251611 140721535258599 0
/proc/1048543/statm: 2165 248 224 9 0 87 0
[pid=1048544] ppid=1048543 vsize=104176 memory=94220 CPUtime=6.26 cores=0,2
/proc/1048544/stat : 1048544 (LS-MabSP) R 1048543 1048543 1045274 0 -1 4194304 21790 0 0 0 623 3 0 0 20 0 1 0 194086985 106676224 23555 134679101440 4194304 15467897 140731969845008 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 51695616 140731969848378 140731969848481 140731969848481 140731969855469 0
/proc/1048544/statm: 26044 23555 2849 2753 0 22697 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 122768 KiB
Current children cumulated memory: 97892 KiB
[startup+12.7004 s]
/proc/loadavg: 4.22 4.18 4.15 5/253 1048580
/proc/meminfo: memFree=122764736/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 229 104 0 0 0 0 0 0 20 0 1 0 194086985 10170368 670 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 670 592 264 0 134 0
[pid=1048543] ppid=1048540 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/1048543/stat : 1048543 (timeout) S 1048540 1048543 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194086985 8867840 248 134679101440 94627522310144 94627522345160 140721535248672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94627524442576 94627524444708 94627538776064 140721535251495 140721535251611 140721535251611 140721535258599 0
/proc/1048543/statm: 2165 248 224 9 0 87 0
[pid=1048544] ppid=1048543 vsize=104176 memory=95268 CPUtime=12.64 cores=0,2
/proc/1048544/stat : 1048544 (LS-MabSP) R 1048543 1048543 1045274 0 -1 4194304 22092 0 0 0 1261 3 0 0 20 0 1 0 194086985 106676224 23817 134679101440 4194304 15467897 140731969845008 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 51695616 140731969848378 140731969848481 140731969848481 140731969855469 0
/proc/1048544/statm: 26044 23817 2849 2753 0 22697 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 122768 KiB
Current children cumulated memory: 98940 KiB
[startup+25.5005 s]
/proc/loadavg: 4.17 4.17 4.15 5/253 1048582
/proc/meminfo: memFree=122721840/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 229 104 0 0 0 0 0 0 20 0 1 0 194086985 10170368 670 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 670 592 264 0 134 0
[pid=1048543] ppid=1048540 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/1048543/stat : 1048543 (timeout) S 1048540 1048543 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194086985 8867840 248 134679101440 94627522310144 94627522345160 140721535248672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94627524442576 94627524444708 94627538776064 140721535251495 140721535251611 140721535251611 140721535258599 0
/proc/1048543/statm: 2165 248 224 9 0 87 0
[pid=1048544] ppid=1048543 vsize=127116 memory=117000 CPUtime=25.4 cores=0,2
/proc/1048544/stat : 1048544 (LS-MabSP) R 1048543 1048543 1045274 0 -1 4194304 28795 0 0 0 2535 5 0 0 20 0 1 0 194086985 130166784 29250 134679101440 4194304 15467897 140731969845008 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 51695616 140731969848378 140731969848481 140731969848481 140731969855469 0
/proc/1048544/statm: 31779 29250 2849 2753 0 28432 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 145708 KiB
Current children cumulated memory: 120672 KiB
[startup+51.1128 s]
/proc/loadavg: 4.18 4.17 4.15 5/253 1048588
/proc/meminfo: memFree=122703500/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 229 104 0 0 0 0 0 0 20 0 1 0 194086985 10170368 670 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 670 592 264 0 134 0
[pid=1048543] ppid=1048540 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/1048543/stat : 1048543 (timeout) S 1048540 1048543 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194086985 8867840 248 134679101440 94627522310144 94627522345160 140721535248672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94627524442576 94627524444708 94627538776064 140721535251495 140721535251611 140721535251611 140721535258599 0
/proc/1048543/statm: 2165 248 224 9 0 87 0
[pid=1048544] ppid=1048543 vsize=127116 memory=117000 CPUtime=50.93 cores=0,2
/proc/1048544/stat : 1048544 (LS-MabSP) R 1048543 1048543 1045274 0 -1 4194304 28806 0 0 0 5088 5 0 0 20 0 1 0 194086985 130166784 29250 134679101440 4194304 15467897 140731969845008 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 51695616 140731969848378 140731969848481 140731969848481 140731969855469 0
/proc/1048544/statm: 31779 29250 2849 2753 0 28432 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 145708 KiB
Current children cumulated memory: 120672 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.17 4.15 5/251 1048599
/proc/meminfo: memFree=122869320/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 229 104 0 0 0 0 0 0 20 0 1 0 194086985 10170368 670 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 670 592 264 0 134 0
[pid=1048543] ppid=1048540 vsize=8660 memory=992 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/1048544/statm: 65511 64268 3195 2753 0 62164 0
Current children cumulated CPU time: 1656.69 s
Current children cumulated vsize: 280636 KiB
Current children cumulated memory: 260744 KiB
[startup+1722.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/254 1049562
/proc/meminfo: memFree=122192460/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 229 104 0 0 0 0 0 0 20 0 1 0 194086985 10170368 670 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 670 592 264 0 134 0
[pid=1048543] ppid=1048540 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/1048543/stat : 1048543 (timeout) S 1048540 1048543 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194086985 8867840 248 134679101440 94627522310144 94627522345160 140721535248672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94627524442576 94627524444708 94627538776064 140721535251495 140721535251611 140721535251611 140721535258599 0
/proc/1048543/statm: 2165 248 224 9 0 87 0
[pid=1048544] ppid=1048543 vsize=262044 memory=257072 CPUtime=1716.49 cores=0,2
/proc/1048544/stat : 1048544 (LS-MabSP) R 1048543 1048543 1045274 0 -1 4194304 77559 0 0 0 164210 7439 0 0 20 0 1 0 194086985 268333056 64268 134679101440 4194304 15467897 140731969845008 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 51695616 140731969848378 140731969848481 140731969848481 140731969855469 0
/proc/1048544/statm: 65511 64268 3195 2753 0 62164 0
Current children cumulated CPU time: 1716.49 s
Current children cumulated vsize: 280636 KiB
Current children cumulated memory: 260744 KiB
[startup+1782.3 s]
/proc/loadavg: 4.16 4.11 4.11 5/254 1049572
/proc/meminfo: memFree=122129448/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 229 104 0 0 0 0 0 0 20 0 1 0 194086985 10170368 670 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 670 592 264 0 134 0
[pid=1048543] ppid=1048540 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/1048543/stat : 1048543 (timeout) S 1048540 1048543 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194086985 8867840 248 134679101440 94627522310144 94627522345160 140721535248672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94627524442576 94627524444708 94627538776064 140721535251495 140721535251611 140721535251611 140721535258599 0
/proc/1048543/statm: 2165 248 224 9 0 87 0
[pid=1048544] ppid=1048543 vsize=262044 memory=257072 CPUtime=1776.29 cores=0,2
/proc/1048544/stat : 1048544 (LS-MabSP) R 1048543 1048543 1045274 0 -1 4194304 77563 0 0 0 169649 7980 0 0 20 0 1 0 194086985 268333056 64268 134679101440 4194304 15467897 140731969845008 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 51695616 140731969848378 140731969848481 140731969848481 140731969855469 0
/proc/1048544/statm: 65511 64268 3195 2753 0 62164 0
Current children cumulated CPU time: 1776.29 s
Current children cumulated vsize: 280636 KiB
Current children cumulated memory: 260744 KiB
[startup+1815.3 s]
# the end of solver process 1048540 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1727.95 s, system=81.2264 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.14 4.11 4.10 5/254 1049574
/proc/meminfo: memFree=122118316/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 229 104 0 0 0 0 0 0 20 0 1 0 194086985 10170368 670 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 670 592 264 0 134 0
[pid=1048543] ppid=1048540 vsize=8660 memory=992 CPUtime=0 cores=0,2
/proc/1048543/stat : 1048543 (timeout) S 1048540 1048543 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194086985 8867840 248 134679101440 94627522310144 94627522345160 140721535248672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94627524442576 94627524444708 94627538776064 140721535251495 140721535251611 140721535251611 140721535258599 0
/proc/1048543/statm: 2165 248 224 9 0 87 0
[pid=1048544] ppid=1048543 vsize=262044 memory=257072 CPUtime=1785.97 cores=0,2
/proc/1048544/stat : 1048544 (LS-MabSP) R 1048543 1048543 1045274 0 -1 4194304 77563 0 0 0 170532 8065 0 0 20 0 1 0 194086985 268333056 64268 134679101440 4194304 15467897 140731969845008 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 51695616 140731969848378 140731969848481 140731969848481 140731969855469 0
/proc/1048544/statm: 65511 64268 3195 2753 0 62164 0
Current children cumulated CPU time: 1785.97 s
Current children cumulated vsize: 280636 KiB
Current children cumulated memory: 260744 KiB
[startup+1804.8 s]
/proc/loadavg: 4.18 4.12 4.11 5/254 1049579
/proc/meminfo: memFree=123017832/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2724 CPUtime=1791.95 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 262 77797 0 0 0 0 171075 8120 20 0 1 0 194086985 10170368 681 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 681 592 264 0 134 0
[pid=1049576] ppid=1048540 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/1049576/stat : 1049576 (timeout) S 1048540 1049576 1045274 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 194266786 8867840 236 134679101440 94321250119680 94321250154696 140734364195248 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94321252252112 94321252254244 94321253748736 140734364201970 140734364202139 140734364202139 140734364209127 0
/proc/1049576/statm: 2165 236 212 9 0 87 0
[pid=1049577] ppid=1049576 vsize=33188 memory=20100 CPUtime=6.75 cores=0,2
/proc/1049577/stat : 1049577 (Exact) R 1049576 1049576 1045274 0 -1 4194304 2839 0 0 0 675 0 0 0 20 0 1 0 194266786 33984512 5025 134679101440 4194304 7210733 140724643250240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 39870464 140724643259406 140724643259556 140724643259556 140724643266544 0
/proc/1049577/statm: 8297 5025 748 737 0 7385 0
Current children cumulated CPU time: 1798.7 s
Current children cumulated vsize: 51780 KiB
Current children cumulated memory: 23768 KiB
[startup+1811.2 s]
/proc/loadavg: 4.16 4.12 4.11 5/254 1049582
/proc/meminfo: memFree=123001260/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2724 CPUtime=1791.95 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 262 77797 0 0 0 0 171075 8120 20 0 1 0 194086985 10170368 681 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 681 592 264 0 134 0
[pid=1049576] ppid=1048540 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/1049576/stat : 1049576 (timeout) S 1048540 1049576 1045274 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 194266786 8867840 236 134679101440 94321250119680 94321250154696 140734364195248 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94321252252112 94321252254244 94321253748736 140734364201970 140734364202139 140734364202139 140734364209127 0
/proc/1049576/statm: 2165 236 212 9 0 87 0
[pid=1049577] ppid=1049576 vsize=34612 memory=23508 CPUtime=13.12 cores=0,2
/proc/1049577/stat : 1049577 (Exact) R 1049576 1049576 1045274 0 -1 4194304 3461 0 0 0 1312 0 0 0 20 0 1 0 194266786 35442688 5877 134679101440 4194304 7210733 140724643250240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 39870464 140724643259406 140724643259556 140724643259556 140724643266544 0
/proc/1049577/statm: 8653 5877 748 737 0 7741 0
Current children cumulated CPU time: 1805.07 s
Current children cumulated vsize: 53204 KiB
Current children cumulated memory: 27176 KiB
[startup+1812.8 s]
/proc/loadavg: 4.16 4.12 4.11 5/254 1049582
/proc/meminfo: memFree=122998596/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2724 CPUtime=1791.95 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 262 77797 0 0 0 0 171075 8120 20 0 1 0 194086985 10170368 681 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 681 592 264 0 134 0
[pid=1049576] ppid=1048540 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/1049576/stat : 1049576 (timeout) S 1048540 1049576 1045274 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 194266786 8867840 236 134679101440 94321250119680 94321250154696 140734364195248 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94321252252112 94321252254244 94321253748736 140734364201970 140734364202139 140734364202139 140734364209127 0
/proc/1049576/statm: 2165 236 212 9 0 87 0
[pid=1049577] ppid=1049576 vsize=34988 memory=25952 CPUtime=14.72 cores=0,2
/proc/1049577/stat : 1049577 (Exact) R 1049576 1049576 1045274 0 -1 4194304 3710 0 0 0 1471 1 0 0 20 0 1 0 194266786 35827712 6488 134679101440 4194304 7210733 140724643250240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 39870464 140724643259406 140724643259556 140724643259556 140724643266544 0
/proc/1049577/statm: 8747 6488 748 737 0 7835 0
Current children cumulated CPU time: 1806.67 s
Current children cumulated vsize: 53580 KiB
Current children cumulated memory: 29620 KiB
[startup+1814.4 s]
/proc/loadavg: 4.15 4.11 4.11 5/254 1049582
/proc/meminfo: memFree=122996632/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2724 CPUtime=1791.95 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 262 77797 0 0 0 0 171075 8120 20 0 1 0 194086985 10170368 681 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 681 592 264 0 134 0
[pid=1049576] ppid=1048540 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/1049576/stat : 1049576 (timeout) S 1048540 1049576 1045274 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 194266786 8867840 236 134679101440 94321250119680 94321250154696 140734364195248 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94321252252112 94321252254244 94321253748736 140734364201970 140734364202139 140734364202139 140734364209127 0
/proc/1049576/statm: 2165 236 212 9 0 87 0
[pid=1049577] ppid=1049576 vsize=35080 memory=26052 CPUtime=16.31 cores=0,2
/proc/1049577/stat : 1049577 (Exact) R 1049576 1049576 1045274 0 -1 4194304 3889 0 0 0 1630 1 0 0 20 0 1 0 194266786 35921920 6513 134679101440 4194304 7210733 140724643250240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 39870464 140724643259406 140724643259556 140724643259556 140724643266544 0
/proc/1049577/statm: 8770 6513 748 737 0 7858 0
Current children cumulated CPU time: 1808.26 s
Current children cumulated vsize: 53672 KiB
Current children cumulated memory: 29720 KiB
[startup+1814.8 s]
/proc/loadavg: 4.15 4.11 4.11 5/254 1049582
/proc/meminfo: memFree=122996632/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2724 CPUtime=1791.95 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 262 77797 0 0 0 0 171075 8120 20 0 1 0 194086985 10170368 681 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 681 592 264 0 134 0
[pid=1049576] ppid=1048540 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/1049576/stat : 1049576 (timeout) S 1048540 1049576 1045274 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 194266786 8867840 236 134679101440 94321250119680 94321250154696 140734364195248 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94321252252112 94321252254244 94321253748736 140734364201970 140734364202139 140734364202139 140734364209127 0
/proc/1049576/statm: 2165 236 212 9 0 87 0
[pid=1049577] ppid=1049576 vsize=35080 memory=26052 CPUtime=16.71 cores=0,2
/proc/1049577/stat : 1049577 (Exact) R 1049576 1049576 1045274 0 -1 4194304 3889 0 0 0 1670 1 0 0 20 0 1 0 194266786 35921920 6513 134679101440 4194304 7210733 140724643250240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 39870464 140724643259406 140724643259556 140724643259556 140724643266544 0
/proc/1049577/statm: 8770 6513 748 737 0 7858 0
Current children cumulated CPU time: 1808.66 s
Current children cumulated vsize: 53672 KiB
Current children cumulated memory: 29720 KiB
[startup+1815.2 s]
/proc/loadavg: 4.15 4.11 4.11 5/254 1049582
/proc/meminfo: memFree=122996464/131655788 swapFree=131071996/131071996
[pid=1048540] ppid=1048537 vsize=9932 memory=2724 CPUtime=1791.95 cores=0,2
/proc/1048540/stat : 1048540 (Hybrid-LSMabSP+) S 1048537 1048540 1045274 0 -1 4194304 262 77797 0 0 0 0 171075 8120 20 0 1 0 194086985 10170368 681 134679101440 94397655068672 94397656147992 140733396187200 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94397658246448 94397658293636 94397666836480 140733396190182 140733396190328 140733396190328 140733396197345 0
/proc/1048540/statm: 2483 681 592 264 0 134 0
[pid=1049576] ppid=1048540 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/1049576/stat : 1049576 (timeout) S 1048540 1049576 1045274 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 194266786 8867840 236 134679101440 94321250119680 94321250154696 140734364195248 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94321252252112 94321252254244 94321253748736 140734364201970 140734364202139 140734364202139 140734364209127 0
/proc/1049576/statm: 2165 236 212 9 0 87 0
[pid=1049577] ppid=1049576 vsize=35080 memory=26052 CPUtime=17.11 cores=0,2
/proc/1049577/stat : 1049577 (Exact) R 1049576 1049576 1045274 0 -1 4194304 3889 0 0 0 1710 1 0 0 20 0 1 0 194266786 35921920 6513 134679101440 4194304 7210733 140724643250240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 39870464 140724643259406 140724643259556 140724643259556 140724643266544 0
/proc/1049577/statm: 8770 6513 748 737 0 7858 0
Current children cumulated CPU time: 1809.06 s
Current children cumulated vsize: 53672 KiB
Current children cumulated memory: 29720 KiB
Child status: 0
Real time (s): 1815.3
CPU time (s): 1809.18
CPU user time (s): 1727.95
CPU system time (s): 81.2264
CPU usage (%): 99.663
Max. virtual memory (cumulated for all children) (KiB): 280636
Max. memory (cumulated for all children) (KiB): 260744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1727.95
system time used= 81.2264
maximum resident set size= 257072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83076
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71
involuntary context switches= 12767
# summary of solver processes directly reported to runsolver:
# pid: 1048540
# total CPU time (s): 1809.18
# total CPU user time (s): 1727.95
# total CPU system time (s): 81.2264
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0839 second user time and 18.9051 second system time
The end
Begin job on nodeC004 at 2024-07-19 22:02:04
IDJOB=4450964
IDBENCH=162326
IDSOLVER=3070
FILE ID=nodeC004/4450964-1721419312
RUNJOBID= nodeC004-1721413928-1045284
SLURM_JOB_ID= 7545490
Free space on /tmp= 723720 MiB
SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size80-round21-6.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450964-1721419312/watcher-4450964-1721419312 -o /tmp/evaluation-result-4450964-1721419312/solver-4450964-1721419312 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721413928-1045284 --watchdog 3760 ./Hybrid-LSMabSP+Exact HOME/instance-4450964-1721419312.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3275beafb3ca308b178248aae5ff03d5
RANDOM SEED=1802385848
nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 0xb00001f
cpu MHz : 3492.166
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.29
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 : 0xb00001f
cpu MHz : 3640.118
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
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 : 0xb00001f
cpu MHz : 1197.309
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.29
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 : 0xb00001f
cpu MHz : 1197.321
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
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 : 0xb00001f
cpu MHz : 3666.801
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.29
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 : 0xb00001f
cpu MHz : 3665.526
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
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 : 0xb00001f
cpu MHz : 1197.328
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.29
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 : 0xb00001f
cpu MHz : 1197.444
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 122892520 kB
MemAvailable: 129297452 kB
Buffers: 547088 kB
Cached: 6626896 kB
SwapCached: 0 kB
Active: 1256184 kB
Inactive: 6780228 kB
Active(anon): 3352 kB
Inactive(anon): 904964 kB
Active(file): 1252832 kB
Inactive(file): 5875264 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 21204 kB
Writeback: 0 kB
AnonPages: 862180 kB
Mapped: 131312 kB
Shmem: 45892 kB
KReclaimable: 234072 kB
Slab: 353500 kB
SReclaimable: 234072 kB
SUnreclaim: 119428 kB
KernelStack: 3984 kB
PageTables: 10884 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1232536 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60832 kB
HardwareCorrupted: 0 kB
AnonHugePages: 729088 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 248648 kB
DirectMap2M: 29016064 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 723700 MiB
End job on nodeC004 at 2024-07-19 22:32:19