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: 63968 MiB (62715 MiB free)
memory of node 1: 64473 MiB (61416 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455226-1721461002/watcher-4455226-1721461002 -o /tmp/evaluation-result-4455226-1721461002/solver-4455226-1721461002 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721457405-1048582 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455226-1721461002.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1050611, runsolver pid=1050608
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.11 4.15 4.15 5/254 1050612
/proc/meminfo: memFree=127089048/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=58216 memory=26944 CPUtime=0.1 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 6878 0 0 0 7 3 0 0 20 0 1 0 198263701 59613184 6736 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 14554 6736 1248 922 0 6506 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 58216 KiB
Current children cumulated memory: 26944 KiB
[startup+0.205422 s]*
/proc/loadavg: 4.11 4.15 4.15 5/254 1050612
/proc/meminfo: memFree=127086836/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=59420 memory=29056 CPUtime=0.2 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 7399 0 0 0 14 6 0 0 20 0 1 0 198263701 60846080 7264 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 14855 7264 1248 922 0 6807 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59420 KiB
Current children cumulated memory: 29056 KiB
[startup+0.305085 s]*
/proc/loadavg: 4.11 4.15 4.15 5/254 1050612
/proc/meminfo: memFree=127082328/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=63232 memory=32320 CPUtime=0.3 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 8196 0 0 0 21 9 0 0 20 0 1 0 198263701 64749568 8080 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 15808 8080 1248 922 0 7760 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 63232 KiB
Current children cumulated memory: 32320 KiB
[startup+0.700188 s]
/proc/loadavg: 4.11 4.15 4.15 5/254 1050612
/proc/meminfo: memFree=127070960/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=80852 memory=46600 CPUtime=0.69 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 10757 0 0 0 48 21 0 0 20 0 1 0 198263701 82792448 11650 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 20213 11650 1248 922 0 12165 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 80852 KiB
Current children cumulated memory: 46600 KiB
[startup+1.50021 s]
/proc/loadavg: 4.11 4.15 4.15 5/254 1050612
/proc/meminfo: memFree=126990384/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=290092 memory=258852 CPUtime=1.49 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 48124 0 0 0 113 36 0 0 20 0 1 0 198263701 297054208 64713 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 72523 64713 1662 922 0 64475 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 290092 KiB
Current children cumulated memory: 258852 KiB
[startup+3.10528 s]
/proc/loadavg: 4.11 4.15 4.15 5/254 1050704
/proc/meminfo: memFree=127139360/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=301768 memory=265244 CPUtime=3.09 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 48568 0 0 0 270 39 0 0 20 0 1 0 198263701 309010432 66311 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 75442 66311 1772 922 0 67394 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 301768 KiB
Current children cumulated memory: 265244 KiB
[startup+6.30021 s]
/proc/loadavg: 4.10 4.15 4.15 5/254 1050705
/proc/meminfo: memFree=127089296/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=304496 memory=274248 CPUtime=6.27 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 49270 0 0 0 586 41 0 0 20 0 1 0 198263701 311803904 68562 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 76124 68562 1772 922 0 68076 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 304496 KiB
Current children cumulated memory: 274248 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.15 4.15 5/254 1050705
/proc/meminfo: memFree=127038044/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=332828 memory=291652 CPUtime=12.66 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 52143 0 0 0 1222 44 0 0 20 0 1 0 198263701 340815872 72913 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 83207 72913 1772 922 0 75159 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 332828 KiB
Current children cumulated memory: 291652 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.16 4.15 5/254 1050707
/proc/meminfo: memFree=126947464/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=364212 memory=331076 CPUtime=25.42 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 56380 0 0 0 2483 59 0 0 20 0 1 0 198263701 372953088 82769 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 91053 82769 1827 922 0 83005 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 364212 KiB
Current children cumulated memory: 331076 KiB
[startup+51.1053 s]
/proc/loadavg: 4.17 4.16 4.15 5/254 1050712
/proc/meminfo: memFree=126867388/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=417368 memory=362276 CPUtime=50.95 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 62660 0 0 0 5012 83 0 0 20 0 1 0 198263701 427384832 90569 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 104342 90569 1827 922 0 96294 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 417368 KiB
Current children cumulated memory: 362276 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.15 5/254 1050721
/proc/meminfo: memFree=126707432/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=464412 memory=415344 CPUtime=102 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 71133 0 0 0 10063 137 0 0 20 0 1 0 198263701 475557888 103836 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 116103 103836 1843 922 0 108055 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 464412 KiB
Current children cumulated memory: 415344 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.15 5/255 1050732
/proc/meminfo: memFree=126529024/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=518676 memory=466632 CPUtime=161.82 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 73764 0 0 0 15950 232 0 0 20 0 1 0 198263701 531124224 116658 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 129669 116658 1843 922 0 121621 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 518676 KiB
Current children cumulated memory: 466632 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/255 1050742
/proc/meminfo: memFree=126443168/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=529160 memory=475136 CPUtime=221.65 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 75240 0 0 0 21899 266 0 0 20 0 1 0 198263701 541859840 118784 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 132290 118784 1843 922 0 124242 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 529160 KiB
Current children cumulated memory: 475136 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/257 1050757
/proc/meminfo: memFree=126398336/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=541564 memory=487096 CPUtime=281.51 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 77194 0 0 0 27858 293 0 0 20 0 1 0 198263701 554561536 121774 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 135391 121774 1843 922 0 127343 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 541564 KiB
Current children cumulated memory: 487096 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/257 1050767
/proc/meminfo: memFree=126301128/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=677356 memory=574552 CPUtime=341.36 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 89101 0 0 0 33805 331 0 0 20 0 1 0 198263701 693612544 143638 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 169339 143638 1843 922 0 161291 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 677356 KiB
Current children cumulated memory: 574552 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/257 1050777
/proc/meminfo: memFree=126260476/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=677356 memory=584576 CPUtime=401.22 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 89116 0 0 0 39775 347 0 0 20 0 1 0 198263701 693612544 146144 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 169339 146144 1843 922 0 161291 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 677356 KiB
Current children cumulated memory: 584576 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.13 5/256 1050790
/proc/meminfo: memFree=126224612/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=685332 memory=592704 CPUtime=461.09 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 91314 0 0 0 45743 366 0 0 20 0 1 0 198263701 701779968 148176 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.12 4.16 4.16 5/257 1052310
/proc/meminfo: memFree=123502320/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=1369112 memory=1243232 CPUtime=3094.61 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 180135 0 0 0 308388 1073 0 0 20 0 1 0 198263701 1401970688 310808 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 342278 310808 1843 922 0 334230 0
Current children cumulated CPU time: 3094.61 s
Current children cumulated vsize: 1369112 KiB
Current children cumulated memory: 1243232 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.15 4.15 5/257 1052488
/proc/meminfo: memFree=123358004/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=1377280 memory=1269604 CPUtime=3154.44 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 182594 0 0 0 314361 1083 0 0 20 0 1 0 198263701 1410334720 317401 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 344320 317401 1843 922 0 336272 0
Current children cumulated CPU time: 3154.44 s
Current children cumulated vsize: 1377280 KiB
Current children cumulated memory: 1269604 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.16 4.16 5/256 1052498
/proc/meminfo: memFree=123284360/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=1392344 memory=1290360 CPUtime=3214.28 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 185651 0 0 0 320314 1114 0 0 20 0 1 0 198263701 1425760256 322590 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 348086 322590 1843 922 0 340038 0
Current children cumulated CPU time: 3214.28 s
Current children cumulated vsize: 1392344 KiB
Current children cumulated memory: 1290360 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.15 4.15 5/257 1052567
/proc/meminfo: memFree=123227624/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=1392344 memory=1290488 CPUtime=3274.12 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 185939 0 0 0 326236 1176 0 0 20 0 1 0 198263701 1425760256 322622 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 348086 322622 1843 922 0 340038 0
Current children cumulated CPU time: 3274.12 s
Current children cumulated vsize: 1392344 KiB
Current children cumulated memory: 1290488 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/257 1052577
/proc/meminfo: memFree=123222312/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=1392344 memory=1290516 CPUtime=3333.95 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 186282 0 0 0 332133 1262 0 0 20 0 1 0 198263701 1425760256 322629 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 348086 322629 1843 922 0 340038 0
Current children cumulated CPU time: 3333.95 s
Current children cumulated vsize: 1392344 KiB
Current children cumulated memory: 1290516 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/257 1052587
/proc/meminfo: memFree=123203804/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=1402008 memory=1296460 CPUtime=3393.78 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 187574 0 0 0 338032 1346 0 0 20 0 1 0 198263701 1435656192 324115 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 350502 324115 1843 922 0 342454 0
Current children cumulated CPU time: 3393.78 s
Current children cumulated vsize: 1402008 KiB
Current children cumulated memory: 1296460 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/257 1052599
/proc/meminfo: memFree=123178028/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=1402008 memory=1297068 CPUtime=3453.61 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 187852 0 0 0 344009 1352 0 0 20 0 1 0 198263701 1435656192 324267 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 350502 324267 1843 922 0 342454 0
Current children cumulated CPU time: 3453.61 s
Current children cumulated vsize: 1402008 KiB
Current children cumulated memory: 1297068 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/258 1052610
/proc/meminfo: memFree=123139928/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=1402008 memory=1297068 CPUtime=3513.43 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 188012 0 0 0 349974 1369 0 0 20 0 1 0 198263701 1435656192 324267 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 350502 324267 1843 922 0 342454 0
Current children cumulated CPU time: 3513.43 s
Current children cumulated vsize: 1402008 KiB
Current children cumulated memory: 1297068 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.14 5/258 1052625
/proc/meminfo: memFree=123097664/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=1412528 memory=1307564 CPUtime=3573.25 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 189725 0 0 0 355953 1372 0 0 20 0 1 0 198263701 1446428672 326891 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 353132 326891 1843 922 0 345084 0
Current children cumulated CPU time: 3573.25 s
Current children cumulated vsize: 1412528 KiB
Current children cumulated memory: 1307564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.14 4.13 4.14 5/258 1052630
/proc/meminfo: memFree=123096820/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=1412528 memory=1307564 CPUtime=3600.07 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 189785 0 0 0 358634 1373 0 0 20 0 1 0 198263701 1446428672 326891 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 353132 326891 1843 922 0 345084 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1412528 KiB
Current children cumulated memory: 1307564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.21 s]
# the end of solver process 1050611 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3588.34 s, system=13.7432 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.14 4.13 4.14 5/258 1052630
/proc/meminfo: memFree=123096820/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=1412528 memory=1307564 CPUtime=3600.47 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 189785 0 0 0 358674 1373 0 0 20 0 1 0 198263701 1446428672 326891 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 353132 326891 1843 922 0 345084 0
Current children cumulated CPU time: 3600.47 s
Current children cumulated vsize: 1412528 KiB
Current children cumulated memory: 1307564 KiB
[startup+3610.4 s]
/proc/loadavg: 4.14 4.13 4.14 5/258 1052676
/proc/meminfo: memFree=124270688/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=1412528 memory=1307564 CPUtime=3601.27 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 189808 0 0 0 358754 1373 0 0 20 0 1 0 198263701 1446428672 326891 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 353132 326891 1843 922 0 345084 0
Current children cumulated CPU time: 3601.27 s
Current children cumulated vsize: 1412528 KiB
Current children cumulated memory: 1307564 KiB
[startup+3610.8 s]
/proc/loadavg: 4.14 4.13 4.14 5/258 1052676
/proc/meminfo: memFree=124270688/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=1412528 memory=1307564 CPUtime=3601.67 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 189819 0 0 0 358794 1373 0 0 20 0 1 0 198263701 1446428672 326891 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 353132 326891 1843 922 0 345084 0
Current children cumulated CPU time: 3601.67 s
Current children cumulated vsize: 1412528 KiB
Current children cumulated memory: 1307564 KiB
[startup+3611.2 s]
/proc/loadavg: 4.13 4.13 4.14 5/258 1052676
/proc/meminfo: memFree=124264104/131524600 swapFree=131071996/131071996
[pid=1050611] ppid=1050608 vsize=1412528 memory=1307564 CPUtime=3602.07 cores=5,7
/proc/1050611/stat : 1050611 (roundingsat) R 1050608 1050611 1048569 0 -1 4194304 189820 0 0 0 358834 1373 0 0 20 0 1 0 198263701 1446428672 326891 134679101440 4194304 7968373 140721805297856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 24449024 140721805300668 140721805300832 140721805300832 140721805307849 0
/proc/1050611/statm: 353132 326891 1843 922 0 345084 0
Current children cumulated CPU time: 3602.07 s
Current children cumulated vsize: 1412528 KiB
Current children cumulated memory: 1307564 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.21
CPU time (s): 3602.08
CPU user time (s): 3588.34
CPU system time (s): 13.7432
CPU usage (%): 99.7473
Max. virtual memory (cumulated for all children) (KiB): 1412528
Max. memory (cumulated for all children) (KiB): 1307564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.34
system time used= 13.7432
maximum resident set size= 1307564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189820
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= 155
involuntary context switches= 2905
# summary of solver processes directly reported to runsolver:
# pid: 1050611
# total CPU time (s): 3602.08
# total CPU user time (s): 3588.34
# total CPU system time (s): 13.7432
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13915 second user time and 16.1569 second system time
The end
Begin job on nodeC020 at 2024-07-20 09:36:55
IDJOB=4455226
IDBENCH=148190
IDSOLVER=3084
FILE ID=nodeC020/4455226-1721461002
RUNJOBID= nodeC020-1721457405-1048582
SLURM_JOB_ID= 7545697
Free space on /tmp= 890052 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_4.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455226-1721461002/watcher-4455226-1721461002 -o /tmp/evaluation-result-4455226-1721461002/solver-4455226-1721461002 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721457405-1048582 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455226-1721461002.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dbdf528b135cde252d8c4b9633a10d5c
RANDOM SEED=1062942498
nodeC020.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 : 0xb00002a
cpu MHz : 3665.728
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 invpcid_single pti ibrs ibpb stibp 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 : 7000.05
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 : 3684.749
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.84
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 : 3600.067
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 invpcid_single pti ibrs ibpb stibp 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 : 7000.05
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 : 3618.535
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.84
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 : 3665.714
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 invpcid_single pti ibrs ibpb stibp 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 : 7000.05
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 : 3656.139
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.067
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 invpcid_single pti ibrs ibpb stibp 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 : 7000.05
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 : 3686.430
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127111584 kB
MemAvailable: 129293504 kB
Buffers: 566864 kB
Cached: 2440496 kB
SwapCached: 0 kB
Active: 989732 kB
Inactive: 2766564 kB
Active(anon): 1584 kB
Inactive(anon): 793288 kB
Active(file): 988148 kB
Inactive(file): 1973276 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 24712 kB
Writeback: 0 kB
AnonPages: 744428 kB
Mapped: 116844 kB
Shmem: 45912 kB
KReclaimable: 120640 kB
Slab: 236568 kB
SReclaimable: 120640 kB
SUnreclaim: 115928 kB
KernelStack: 4112 kB
PageTables: 10832 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1182240 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71040 kB
HardwareCorrupted: 0 kB
AnonHugePages: 475136 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: 211668 kB
DirectMap2M: 22630400 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC020 at 2024-07-20 10:37:06