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: 63794 MiB (62880 MiB free)
memory of node 1: 64507 MiB (61770 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526064-1751630098/watcher-4526064-1751630098 -o /tmp/evaluation-result-4526064-1751630098/solver-4526064-1751630098 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751630095-88496 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4526064-1751630098.wbo
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=88791, runsolver pid=88784
[startup+0.100072 s]*
/proc/loadavg: 1.08 1.29 1.99 8/322 88818
/proc/meminfo: memFree=127608952/131382120 swapFree=33010416/33010684
[pid=88791] ppid=88784 vsize=18930384 memory=48180 CPUtime=0.11 cores=5,7
/proc/88791/stat : 88791 (java) S 88784 88791 88483 0 -1 4194304 5763 0 0 0 8 3 0 0 20 0 18 0 78689139 19384713216 12045 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
/proc/88791/statm: 4732596 12045 5304 1 0 546989 0
[pid=88791/tid=88801] ppid=88784 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/88791/task/88801/stat : 88801 (java) R 88784 88791 88483 0 -1 4194368 4612 0 0 0 4 2 0 0 20 0 18 0 78689141 19384713216 12045 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88811] ppid=88784 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/88791/task/88811/stat : 88811 (Finalizer) S 88784 88791 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78689146 19384713216 12045 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88818] ppid=88784 vsize=18930384 memory=58494082626307 CPUtime=0 cores=5,7
/proc/88791/task/88818/stat : 88818 (Common-Cleaner) S 88784 88791 88483 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78689147 19384713216 12045 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48180 KiB
[startup+0.214907 s]*
/proc/loadavg: 1.08 1.29 1.99 8/322 88818
/proc/meminfo: memFree=127590616/131382120 swapFree=33010416/33010684
[pid=88791] ppid=88784 vsize=18930384 memory=52248 CPUtime=0.27 cores=5,7
/proc/88791/stat : 88791 (java) S 88784 88791 88483 0 -1 4194304 6188 0 0 0 23 4 0 0 20 0 18 0 78689139 19384713216 13062 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
/proc/88791/statm: 4732596 13062 5368 1 0 547291 0
[pid=88791/tid=88801] ppid=88784 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=5,7
/proc/88791/task/88801/stat : 88801 (java) R 88784 88791 88483 0 -1 4194368 4960 0 0 0 14 3 0 0 20 0 18 0 78689141 19384713216 13062 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88811] ppid=88784 vsize=18930384 memory=12896 CPUtime=0 cores=5,7
/proc/88791/task/88811/stat : 88811 (Finalizer) S 88784 88791 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78689146 19384713216 13062 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88818] ppid=88784 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/88791/task/88818/stat : 88818 (Common-Cleaner) S 88784 88791 88483 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78689147 19384713216 13062 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52248 KiB
[startup+0.314656 s]*
/proc/loadavg: 1.08 1.29 1.99 10/322 88818
/proc/meminfo: memFree=127579400/131382120 swapFree=33010416/33010684
[pid=88791] ppid=88784 vsize=18930384 memory=58240 CPUtime=0.44 cores=5,7
/proc/88791/stat : 88791 (java) S 88784 88791 88483 0 -1 4194304 6672 0 0 0 39 5 0 0 20 0 18 0 78689139 19384713216 14560 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
/proc/88791/statm: 4732596 14560 5368 1 0 547697 0
[pid=88791/tid=88801] ppid=88784 vsize=18930384 memory=-6000919489835918439 CPUtime=0.25 cores=5,7
/proc/88791/task/88801/stat : 88801 (java) R 88784 88791 88483 0 -1 4194368 5122 0 0 0 22 3 0 0 20 0 18 0 78689141 19384713216 14560 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88811] ppid=88784 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/88791/task/88811/stat : 88811 (Finalizer) S 88784 88791 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78689146 19384713216 14560 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88818] ppid=88784 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/88791/task/88818/stat : 88818 (Common-Cleaner) S 88784 88791 88483 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78689147 19384713216 14560 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58240 KiB
[startup+0.700338 s]
/proc/loadavg: 1.08 1.29 1.99 10/322 88818
/proc/meminfo: memFree=127552432/131382120 swapFree=33010416/33010684
[pid=88791] ppid=88784 vsize=18930384 memory=98040 CPUtime=1.13 cores=5,7
/proc/88791/stat : 88791 (java) S 88784 88791 88483 0 -1 4194304 8281 0 0 0 105 8 0 0 20 0 18 0 78689139 19384713216 24510 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
/proc/88791/statm: 4732596 24510 5464 1 0 548693 0
[pid=88791/tid=88801] ppid=88784 vsize=18930384 memory=18560 CPUtime=0.59 cores=5,7
/proc/88791/task/88801/stat : 88801 (java) R 88784 88791 88483 0 -1 4194368 5388 0 0 0 54 5 0 0 20 0 18 0 78689141 19384713216 24510 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88811] ppid=88784 vsize=18930384 memory=11136 CPUtime=0 cores=5,7
/proc/88791/task/88811/stat : 88811 (Finalizer) S 88784 88791 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78689146 19384713216 24510 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88818] ppid=88784 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/88791/task/88818/stat : 88818 (Common-Cleaner) S 88784 88791 88483 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78689147 19384713216 24510 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 98040 KiB
[startup+1.50028 s]
/proc/loadavg: 1.08 1.29 1.99 9/324 88820
/proc/meminfo: memFree=127325268/131382120 swapFree=33010416/33010684
[pid=88791] ppid=88784 vsize=18996948 memory=215196 CPUtime=2.65 cores=5,7
/proc/88791/stat : 88791 (java) S 88784 88791 88483 0 -1 4194304 16758 0 0 0 251 14 0 0 20 0 19 0 78689139 19452874752 53799 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
/proc/88791/statm: 4749237 53799 5464 1 0 552617 0
[pid=88791/tid=88801] ppid=88784 vsize=18996948 memory=3200 CPUtime=1.22 cores=5,7
/proc/88791/task/88801/stat : 88801 (java) R 88784 88791 88483 0 -1 4194368 5685 0 0 0 115 7 0 0 20 0 19 0 78689141 19452874752 53799 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88811] ppid=88784 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/88791/task/88811/stat : 88811 (Finalizer) S 88784 88791 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78689146 19452874752 53799 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88818] ppid=88784 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/88791/task/88818/stat : 88818 (Common-Cleaner) S 88784 88791 88483 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 78689147 19452874752 53799 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 215196 KiB
[startup+3.10582 s]
/proc/loadavg: 1.56 1.38 2.02 8/304 88855
/proc/meminfo: memFree=127016352/131382120 swapFree=33010416/33010684
[pid=88791] ppid=88784 vsize=19063512 memory=519180 CPUtime=5.78 cores=5,7
/proc/88791/stat : 88791 (java) S 88784 88791 88483 0 -1 4194304 22274 0 0 0 556 22 0 0 20 0 20 0 78689139 19521036288 129795 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
/proc/88791/statm: 4765878 129795 5496 1 0 1332800 0
[pid=88791/tid=88801] ppid=88784 vsize=19063512 memory=11136 CPUtime=2.58 cores=5,7
/proc/88791/task/88801/stat : 88801 (java) S 88784 88791 88483 0 -1 4194368 7645 0 0 0 245 13 0 0 20 0 20 0 78689141 19521036288 129795 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88811] ppid=88784 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/88791/task/88811/stat : 88811 (Finalizer) S 88784 88791 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78689146 19521036288 129795 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88818] ppid=88784 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/88791/task/88818/stat : 88818 (Common-Cleaner) S 88784 88791 88483 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 78689147 19521036288 129795 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88824] ppid=88784 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/88791/task/88824/stat : 88824 (Timer-0) S 88784 88791 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78689344 19521036288 129795 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
Current children cumulated CPU time: 5.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 519180 KiB
[startup+6.30042 s]
/proc/loadavg: 1.56 1.38 2.02 8/328 88891
/proc/meminfo: memFree=125849340/131382120 swapFree=33010416/33010684
[pid=88791] ppid=88784 vsize=19063512 memory=802988 CPUtime=10.8 cores=5,7
/proc/88791/stat : 88791 (java) S 88784 88791 88483 0 -1 4194304 24855 0 0 0 1051 29 0 0 20 0 20 0 78689139 19521036288 200747 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
/proc/88791/statm: 4765878 200747 5496 1 0 1333846 0
[pid=88791/tid=88801] ppid=88784 vsize=19063512 memory=0 CPUtime=5.67 cores=5,7
/proc/88791/task/88801/stat : 88801 (java) R 88784 88791 88483 0 -1 4194368 7968 0 0 0 549 18 0 0 20 0 20 0 78689141 19521036288 200747 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88811] ppid=88784 vsize=19063512 memory=422644 CPUtime=0 cores=5,7
/proc/88791/task/88811/stat : 88811 (Finalizer) S 88784 88791 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78689146 19521036288 200747 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88818] ppid=88784 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/88791/task/88818/stat : 88818 (Common-Cleaner) S 88784 88791 88483 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 78689147 19521036288 200747 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88824] ppid=88784 vsize=19063512 memory=-6000919489835918439 CPUtime=0 cores=5,7
/proc/88791/task/88824/stat : 88824 (Timer-0) S 88784 88791 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78689344 19521036288 200747 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
Current children cumulated CPU time: 10.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 802988 KiB
[startup+10.1652 s]
# the end of solver process 88791 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=16.0906 s, system=0.41647 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4005 s]
/proc/loadavg: 1.56 1.38 2.02 8/328 88891
/proc/meminfo: memFree=125849340/131382120 swapFree=33010416/33010684
[pid=88791] ppid=88784 vsize=19063512 memory=802988 CPUtime=10.94 cores=5,7
/proc/88791/stat : 88791 (java) S 88784 88791 88483 0 -1 4194304 24857 0 0 0 1065 29 0 0 20 0 20 0 78689139 19521036288 200747 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
/proc/88791/statm: 4765878 200747 5496 1 0 1333846 0
[pid=88791/tid=88801] ppid=88784 vsize=19063512 memory=11136 CPUtime=5.77 cores=5,7
/proc/88791/task/88801/stat : 88801 (java) R 88784 88791 88483 0 -1 4194368 7968 0 0 0 559 18 0 0 20 0 20 0 78689141 19521036288 200747 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88811] ppid=88784 vsize=19063512 memory=216476 CPUtime=0 cores=5,7
/proc/88791/task/88811/stat : 88811 (Finalizer) S 88784 88791 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78689146 19521036288 200747 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88818] ppid=88784 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/88791/task/88818/stat : 88818 (Common-Cleaner) S 88784 88791 88483 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 78689147 19521036288 200747 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88824] ppid=88784 vsize=19063512 memory=211309297979 CPUtime=0 cores=5,7
/proc/88791/task/88824/stat : 88824 (Timer-0) S 88784 88791 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78689344 19521036288 200747 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
Current children cumulated CPU time: 10.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 802988 KiB
[startup+8.00031 s]*
/proc/loadavg: 1.99 1.47 2.04 5/328 88891
/proc/meminfo: memFree=124954296/131382120 swapFree=33010416/33010684
[pid=88791] ppid=88784 vsize=19063512 memory=1235744 CPUtime=13.56 cores=5,7
/proc/88791/stat : 88791 (java) S 88784 88791 88483 0 -1 4194304 25568 0 0 0 1318 38 0 0 20 0 20 0 78689139 19521036288 308936 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
/proc/88791/statm: 4765878 308936 5496 1 0 1333879 0
[pid=88791/tid=88801] ppid=88784 vsize=19063512 memory=-6000919476984505447 CPUtime=7.35 cores=5,7
/proc/88791/task/88801/stat : 88801 (java) R 88784 88791 88483 0 -1 4194368 8514 0 0 0 708 27 0 0 20 0 20 0 78689141 19521036288 308936 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88811] ppid=88784 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/88791/task/88811/stat : 88811 (Finalizer) S 88784 88791 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78689146 19521036288 308936 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88818] ppid=88784 vsize=19063512 memory=802988 CPUtime=0 cores=5,7
/proc/88791/task/88818/stat : 88818 (Common-Cleaner) S 88784 88791 88483 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 78689147 19521036288 308936 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88824] ppid=88784 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/88791/task/88824/stat : 88824 (Timer-0) S 88784 88791 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78689344 19521036288 308936 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
Current children cumulated CPU time: 13.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1235744 KiB
[startup+8.80033 s]
/proc/loadavg: 1.99 1.47 2.04 5/328 88891
/proc/meminfo: memFree=124954296/131382120 swapFree=33010416/33010684
[pid=88791] ppid=88784 vsize=19063512 memory=1241116 CPUtime=14.9 cores=5,7
/proc/88791/stat : 88791 (java) S 88784 88791 88483 0 -1 4194304 27398 0 0 0 1451 39 0 0 20 0 20 0 78689139 19521036288 310279 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
/proc/88791/statm: 4765878 310279 5496 1 0 1334360 0
[pid=88791/tid=88801] ppid=88784 vsize=19063512 memory=4224 CPUtime=8.1 cores=5,7
/proc/88791/task/88801/stat : 88801 (java) R 88784 88791 88483 0 -1 4194368 8682 0 0 0 783 27 0 0 20 0 20 0 78689141 19521036288 310279 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88811] ppid=88784 vsize=19063512 memory=1131112 CPUtime=0 cores=5,7
/proc/88791/task/88811/stat : 88811 (Finalizer) S 88784 88791 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78689146 19521036288 310279 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88818] ppid=88784 vsize=19063512 memory=18560 CPUtime=0 cores=5,7
/proc/88791/task/88818/stat : 88818 (Common-Cleaner) S 88784 88791 88483 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 78689147 19521036288 310279 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88824] ppid=88784 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/88791/task/88824/stat : 88824 (Timer-0) S 88784 88791 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78689344 19521036288 310279 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
Current children cumulated CPU time: 14.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1241116 KiB
[startup+9.60032 s]
/proc/loadavg: 1.99 1.47 2.04 5/328 88891
/proc/meminfo: memFree=124515984/131382120 swapFree=33010416/33010684
[pid=88791] ppid=88784 vsize=19063512 memory=1242268 CPUtime=15.92 cores=5,7
/proc/88791/stat : 88791 (java) S 88784 88791 88483 0 -1 4194304 27664 0 0 0 1553 39 0 0 20 0 20 0 78689139 19521036288 310567 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
/proc/88791/statm: 4765878 310567 5496 1 0 1334526 0
[pid=88791/tid=88801] ppid=88784 vsize=19063512 memory=11136 CPUtime=8.89 cores=5,7
/proc/88791/task/88801/stat : 88801 (java) R 88784 88791 88483 0 -1 4194368 8683 0 0 0 862 27 0 0 20 0 20 0 78689141 19521036288 310567 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88811] ppid=88784 vsize=19063512 memory=-6000919489835918439 CPUtime=0 cores=5,7
/proc/88791/task/88811/stat : 88811 (Finalizer) S 88784 88791 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78689146 19521036288 310567 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88818] ppid=88784 vsize=19063512 memory=18560 CPUtime=0 cores=5,7
/proc/88791/task/88818/stat : 88818 (Common-Cleaner) S 88784 88791 88483 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 78689147 19521036288 310567 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88824] ppid=88784 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/88791/task/88824/stat : 88824 (Timer-0) S 88784 88791 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78689344 19521036288 310567 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
Current children cumulated CPU time: 15.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1242268 KiB
[startup+10.0004 s]*
/proc/loadavg: 1.99 1.47 2.04 6/328 88891
/proc/meminfo: memFree=124039840/131382120 swapFree=33010416/33010684
[pid=88791] ppid=88784 vsize=19063512 memory=1246404 CPUtime=16.35 cores=5,7
/proc/88791/stat : 88791 (java) S 88784 88791 88483 0 -1 4194304 27671 0 0 0 1595 40 0 0 20 0 20 0 78689139 19521036288 311601 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
/proc/88791/statm: 4765878 311601 5496 1 0 1334529 0
[pid=88791/tid=88801] ppid=88784 vsize=19063512 memory=-6000919476984505447 CPUtime=9.32 cores=5,7
/proc/88791/task/88801/stat : 88801 (java) R 88784 88791 88483 0 -1 4194368 8708 0 0 0 904 28 0 0 20 0 20 0 78689141 19521036288 311601 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88811] ppid=88784 vsize=19063512 memory=6388 CPUtime=0 cores=5,7
/proc/88791/task/88811/stat : 88811 (Finalizer) S 88784 88791 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78689146 19521036288 311601 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88818] ppid=88784 vsize=19063512 memory=1242140 CPUtime=0 cores=5,7
/proc/88791/task/88818/stat : 88818 (Common-Cleaner) S 88784 88791 88483 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 78689147 19521036288 311601 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
[pid=88791/tid=88824] ppid=88784 vsize=19063512 memory=6516 CPUtime=0 cores=5,7
/proc/88791/task/88824/stat : 88824 (Timer-0) S 88784 88791 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78689344 19521036288 311601 18446744073709551615 94210370793472 94210370797168 140734157840496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94210370804984 94210370805776 94210375168000 140734157846908 140734157847012 140734157847012 140734157852616 0
Current children cumulated CPU time: 16.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1246404 KiB
Child status: 30
Real time (s): 10.1652
CPU time (s): 16.507
CPU user time (s): 16.0906
CPU system time (s): 0.41647
CPU usage (%): 162.387
Max. virtual memory (cumulated for all children) (KiB): 19065336
Max. memory (cumulated for all children) (KiB): 1246404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.0906
system time used= 0.41647
maximum resident set size= 1247428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28208
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3001
involuntary context switches= 4047
# summary of solver processes directly reported to runsolver:
# pid: 88791
# total CPU time (s): 16.507
# total CPU user time (s): 16.0906
# total CPU system time (s): 0.41647
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.074517 second user time and 0.179189 second system time
The end
Begin job on nodeC006 at 2025-07-04 13:54:58
IDJOB=4526064
IDBENCH=143957
IDSOLVER=3381
FILE ID=nodeC006/4526064-1751630098
RUNJOBID= nodeC006-1751630095-88496
SLURM_JOB_ID= 9598967
Free space on /tmp= 432012 MiB
SOLVER NAME= Sat4j CP 2025-06-06
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/driver/normalized-driverlog09_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526064-1751630098/watcher-4526064-1751630098 -o /tmp/evaluation-result-4526064-1751630098/solver-4526064-1751630098 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751630095-88496 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4526064-1751630098.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a775ba4e40b6fa0cd8cccf00ddaf4c72
RANDOM SEED=1242535156
nodeC006 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 : 0xb00001f
cpu MHz : 1197.838
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 pti 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 : 6983.32
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 : 1197.202
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 pti 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 : 6983.32
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.131
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 pti 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 : 6983.32
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.148
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 pti 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 : 6983.32
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 : 3491.655
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 pti 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 : 6983.32
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 : 1197.093
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 pti 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 : 6983.32
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 : 3491.664
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 pti 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 : 6983.32
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.129
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 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127678400 kB
MemAvailable: 129731796 kB
Buffers: 2128 kB
Cached: 2817580 kB
SwapCached: 12 kB
Active: 721056 kB
Inactive: 2352680 kB
Active(anon): 260984 kB
Inactive(anon): 10992 kB
Active(file): 460072 kB
Inactive(file): 2341688 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 9520 kB
Writeback: 0 kB
AnonPages: 257176 kB
Mapped: 123856 kB
Shmem: 17948 kB
KReclaimable: 182140 kB
Slab: 269976 kB
SReclaimable: 182140 kB
SUnreclaim: 87836 kB
KernelStack: 4336 kB
PageTables: 3716 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2602680 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149688 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 147456 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432012 MiB
End job on nodeC006 at 2025-07-04 13:55:08