1.48/1.51 c Filename:instance-4450736-1721415821.opb, Cutoff_time:3600, memory_limit_gb:500000
1.48/1.51 c Use Presolve
1.48/1.51 c Parse finsih
1.48/1.51 c Start Presolve
1.48/1.51 c After Reduce Vars: 2904 Clauses: 6704 Top clause weight: 1 Hard Clauses: 6704
3599.96/3608.14 c Use LS-small
3599.96/3608.14 s UNKNOWN
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: 63931 MiB (61562 MiB free)
memory of node 1: 64510 MiB (62269 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450736-1721415821/watcher-4450736-1721415821 -o /tmp/evaluation-result-4450736-1721415821/solver-4450736-1721415821 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721412226-1039470 --watchdog 3760 ./LS-MabSP -f HOME/instance-4450736-1721415821.opb -t 3600 -s 314848540
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1041518, runsolver pid=1041515
[startup+0.100275 s]*
/proc/loadavg: 4.07 4.08 4.05 4/251 1041536
/proc/meminfo: memFree=126811212/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=27356 memory=14064 CPUtime=0.1 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 2509 0 0 0 10 0 0 0 20 0 1 0 193749513 28012544 3516 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 6839 3516 1105 2753 0 3492 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 14064 KiB
[startup+0.205459 s]*
/proc/loadavg: 4.07 4.08 4.05 4/251 1041536
/proc/meminfo: memFree=126810496/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=27356 memory=14064 CPUtime=0.2 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 2509 0 0 0 20 0 0 0 20 0 1 0 193749513 28012544 3516 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 6839 3516 1105 2753 0 3492 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 14064 KiB
[startup+0.304387 s]*
/proc/loadavg: 4.07 4.08 4.05 5/251 1041537
/proc/meminfo: memFree=126810728/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=27356 memory=14064 CPUtime=0.3 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 2509 0 0 0 30 0 0 0 20 0 1 0 193749513 28012544 3516 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 6839 3516 1105 2753 0 3492 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 14064 KiB
[startup+0.700148 s]
/proc/loadavg: 4.07 4.08 4.05 5/257 1041552
/proc/meminfo: memFree=126783240/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=27356 memory=14064 CPUtime=0.69 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 2509 0 0 0 69 0 0 0 20 0 1 0 193749513 28012544 3516 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 6839 3516 1105 2753 0 3492 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 14064 KiB
[startup+1.50018 s]
/proc/loadavg: 4.07 4.08 4.05 5/257 1041552
/proc/meminfo: memFree=126783168/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=75948 memory=67228 CPUtime=1.48 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 14248 0 0 0 147 1 0 0 20 0 1 0 193749513 77770752 16807 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 18987 16807 2849 2753 0 15640 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 75948 KiB
Current children cumulated memory: 67228 KiB
[startup+3.10541 s]
/proc/loadavg: 4.07 4.08 4.05 5/257 1041552
/proc/meminfo: memFree=126558416/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=98452 memory=88168 CPUtime=3.09 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 20119 0 0 0 306 3 0 0 20 0 1 0 193749513 100814848 22042 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 24613 22042 2849 2753 0 21266 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 98452 KiB
Current children cumulated memory: 88168 KiB
[startup+6.30015 s]
/proc/loadavg: 4.07 4.08 4.05 5/257 1041552
/proc/meminfo: memFree=126557772/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=98452 memory=88424 CPUtime=6.28 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 20155 0 0 0 625 3 0 0 20 0 1 0 193749513 100814848 22106 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 24613 22106 2849 2753 0 21266 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 98452 KiB
Current children cumulated memory: 88424 KiB
[startup+12.7001 s]
/proc/loadavg: 4.06 4.08 4.05 5/257 1041553
/proc/meminfo: memFree=126543388/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=101212 memory=91320 CPUtime=12.66 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 20899 0 0 0 1263 3 0 0 20 0 1 0 193749513 103641088 22830 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 25303 22830 2849 2753 0 21956 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 101212 KiB
Current children cumulated memory: 91320 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.08 4.05 5/257 1041556
/proc/meminfo: memFree=126467784/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=122908 memory=111768 CPUtime=25.43 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 27297 0 0 0 2539 4 0 0 20 0 1 0 193749513 125857792 27942 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 30727 27942 2849 2753 0 27380 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 122908 KiB
Current children cumulated memory: 111768 KiB
[startup+51.1058 s]
/proc/loadavg: 4.10 4.09 4.05 5/257 1041561
/proc/meminfo: memFree=126447252/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=122908 memory=111768 CPUtime=50.97 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 27301 0 0 0 5093 4 0 0 20 0 1 0 193749513 125857792 27942 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 30727 27942 2849 2753 0 27380 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 122908 KiB
Current children cumulated memory: 111768 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.06 5/256 1041569
/proc/meminfo: memFree=126445516/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=122908 memory=111768 CPUtime=102.05 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 27304 0 0 0 10201 4 0 0 20 0 1 0 193749513 125857792 27942 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 30727 27942 2849 2753 0 27380 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 122908 KiB
Current children cumulated memory: 111768 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.11 4.07 5/256 1041579
/proc/meminfo: memFree=126400024/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=136580 memory=127096 CPUtime=161.9 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 35300 0 0 0 16185 5 0 0 20 0 1 0 193749513 139857920 31774 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 34145 31774 2849 2753 0 30798 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 136580 KiB
Current children cumulated memory: 127096 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/256 1041590
/proc/meminfo: memFree=126320012/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=162172 memory=146508 CPUtime=221.75 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 39050 0 0 0 22169 6 0 0 20 0 1 0 193749513 166064128 36627 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 40543 36627 2849 2753 0 37196 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 162172 KiB
Current children cumulated memory: 146508 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/256 1041600
/proc/meminfo: memFree=126197620/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=197164 memory=190500 CPUtime=281.59 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 61204 0 0 0 28150 9 0 0 20 0 1 0 193749513 201895936 47625 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 49291 47625 2849 2753 0 45944 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 197164 KiB
Current children cumulated memory: 190500 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/254 1041610
/proc/meminfo: memFree=126141896/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=204716 memory=197796 CPUtime=341.44 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 67151 0 0 0 34134 10 0 0 20 0 1 0 193749513 209629184 49449 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 51179 49449 2849 2753 0 47832 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 204716 KiB
Current children cumulated memory: 197796 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/256 1041624
/proc/meminfo: memFree=126070588/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=220304 memory=213288 CPUtime=401.29 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 74523 0 0 0 40118 11 0 0 20 0 1 0 193749513 225591296 53322 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 55076 53322 2849 2753 0 51729 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 220304 KiB
Current children cumulated memory: 213288 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.07 6/256 1041635
/proc/meminfo: memFree=126017444/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=234184 memory=225676 CPUtime=461.15 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 86693 0 0 0 46102 13 0 0 20 0 1 0 193749513 239804416 56419 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 58546 56419 2849 2753 0 55199 0
################
# More data... #
################
/proc/loadavg: 4.09 4.13 4.10 5/256 1043127
/proc/meminfo: memFree=125758428/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=351996 memory=345836 CPUtime=3214.87 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 143353 0 0 0 309205 12282 0 0 20 0 1 0 193749513 360443904 86459 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 87999 86459 2849 2753 0 84652 0
Current children cumulated CPU time: 3214.87 s
Current children cumulated vsize: 351996 KiB
Current children cumulated memory: 345836 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/258 1043307
/proc/meminfo: memFree=125757804/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=351996 memory=345836 CPUtime=3274.76 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 143357 0 0 0 314666 12810 0 0 20 0 1 0 193749513 360443904 86459 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 87999 86459 2849 2753 0 84652 0
Current children cumulated CPU time: 3274.76 s
Current children cumulated vsize: 351996 KiB
Current children cumulated memory: 345836 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/258 1043317
/proc/meminfo: memFree=125757776/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=351996 memory=345836 CPUtime=3334.64 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 143361 0 0 0 320129 13335 0 0 20 0 1 0 193749513 360443904 86459 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 87999 86459 2849 2753 0 84652 0
Current children cumulated CPU time: 3334.64 s
Current children cumulated vsize: 351996 KiB
Current children cumulated memory: 345836 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/259 1043330
/proc/meminfo: memFree=125757344/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=351996 memory=345836 CPUtime=3394.54 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 143365 0 0 0 325606 13848 0 0 20 0 1 0 193749513 360443904 86459 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 87999 86459 2849 2753 0 84652 0
Current children cumulated CPU time: 3394.54 s
Current children cumulated vsize: 351996 KiB
Current children cumulated memory: 345836 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 1043352
/proc/meminfo: memFree=125757028/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=351996 memory=345836 CPUtime=3454.43 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 143369 0 0 0 331076 14367 0 0 20 0 1 0 193749513 360443904 86459 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 87999 86459 2849 2753 0 84652 0
Current children cumulated CPU time: 3454.43 s
Current children cumulated vsize: 351996 KiB
Current children cumulated memory: 345836 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.10 4.08 5/257 1043362
/proc/meminfo: memFree=125756752/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=351996 memory=345836 CPUtime=3514.32 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 143373 0 0 0 336541 14891 0 0 20 0 1 0 193749513 360443904 86459 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 87999 86459 2849 2753 0 84652 0
Current children cumulated CPU time: 3514.32 s
Current children cumulated vsize: 351996 KiB
Current children cumulated memory: 345836 KiB
[startup+3582.3 s]
/proc/loadavg: 4.43 4.19 4.12 5/255 1043373
/proc/meminfo: memFree=125756532/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=351996 memory=345836 CPUtime=3574.21 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 143377 0 0 0 342017 15404 0 0 20 0 1 0 193749513 360443904 86459 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 87999 86459 2849 2753 0 84652 0
Current children cumulated CPU time: 3574.21 s
Current children cumulated vsize: 351996 KiB
Current children cumulated memory: 345836 KiB
[startup+3608.14 s]
# the end of solver process 1041518 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3443.62 s, system=156.39 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.39 4.18 4.12 5/255 1043373
/proc/meminfo: memFree=125756544/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=351996 memory=345836 CPUtime=3575.9 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 143377 0 0 0 342172 15418 0 0 20 0 1 0 193749513 360443904 86459 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 87999 86459 2849 2753 0 84652 0
Current children cumulated CPU time: 3575.9 s
Current children cumulated vsize: 351996 KiB
Current children cumulated memory: 345836 KiB
[startup+3596.8 s]
/proc/loadavg: 4.33 4.18 4.11 5/255 1043375
/proc/meminfo: memFree=125756428/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=351996 memory=345836 CPUtime=3588.68 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 143381 0 0 0 343334 15534 0 0 20 0 1 0 193749513 360443904 86459 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 87999 86459 2849 2753 0 84652 0
Current children cumulated CPU time: 3588.68 s
Current children cumulated vsize: 351996 KiB
Current children cumulated memory: 345836 KiB
[startup+3603.2 s]
/proc/loadavg: 4.31 4.17 4.11 5/255 1043376
/proc/meminfo: memFree=125756412/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=351996 memory=345836 CPUtime=3595.06 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 143381 0 0 0 343914 15592 0 0 20 0 1 0 193749513 360443904 86459 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 87999 86459 2849 2753 0 84652 0
Current children cumulated CPU time: 3595.06 s
Current children cumulated vsize: 351996 KiB
Current children cumulated memory: 345836 KiB
[startup+3606.4 s]
/proc/loadavg: 4.28 4.17 4.11 5/255 1043377
/proc/meminfo: memFree=125756292/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=351996 memory=345836 CPUtime=3598.27 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 143381 0 0 0 344204 15623 0 0 20 0 1 0 193749513 360443904 86459 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 87999 86459 2849 2753 0 84652 0
Current children cumulated CPU time: 3598.27 s
Current children cumulated vsize: 351996 KiB
Current children cumulated memory: 345836 KiB
[startup+3607.2 s]
/proc/loadavg: 4.28 4.17 4.11 5/255 1043423
/proc/meminfo: memFree=125985196/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=351996 memory=345836 CPUtime=3599.06 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 143381 0 0 0 344275 15631 0 0 20 0 1 0 193749513 360443904 86459 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 87999 86459 2849 2753 0 84652 0
Current children cumulated CPU time: 3599.06 s
Current children cumulated vsize: 351996 KiB
Current children cumulated memory: 345836 KiB
[startup+3607.6 s]
/proc/loadavg: 4.28 4.17 4.11 5/255 1043423
/proc/meminfo: memFree=125985196/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=351996 memory=345836 CPUtime=3599.45 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 143381 0 0 0 344311 15634 0 0 20 0 1 0 193749513 360443904 86459 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 87999 86459 2849 2753 0 84652 0
Current children cumulated CPU time: 3599.45 s
Current children cumulated vsize: 351996 KiB
Current children cumulated memory: 345836 KiB
[startup+3608 s]*
/proc/loadavg: 4.28 4.17 4.11 5/255 1043423
/proc/meminfo: memFree=125982452/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=351996 memory=345836 CPUtime=3599.86 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 143381 0 0 0 344349 15637 0 0 20 0 1 0 193749513 360443904 86459 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 87999 86459 2849 2753 0 84652 0
Current children cumulated CPU time: 3599.86 s
Current children cumulated vsize: 351996 KiB
Current children cumulated memory: 345836 KiB
[startup+3608.1 s]
/proc/loadavg: 4.28 4.17 4.11 5/255 1043423
/proc/meminfo: memFree=125982452/131524600 swapFree=131071996/131071996
[pid=1041518] ppid=1041515 vsize=351996 memory=345836 CPUtime=3599.96 cores=1,3
/proc/1041518/stat : 1041518 (LS-MabSP) R 1041515 1041518 1039458 0 -1 4194304 143381 0 0 0 344358 15638 0 0 20 0 1 0 193749513 360443904 86459 134679101440 4194304 15467897 140736568682000 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 56152064 140736568685598 140736568685700 140736568685700 140736568692717 0
/proc/1041518/statm: 87999 86459 2849 2753 0 84652 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 351996 KiB
Current children cumulated memory: 345836 KiB
Child status: 0
Real time (s): 3608.14
CPU time (s): 3600.01
CPU user time (s): 3443.62
CPU system time (s): 156.39
CPU usage (%): 99.7746
Max. virtual memory (cumulated for all children) (KiB): 368360
Max. memory (cumulated for all children) (KiB): 359396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3443.62
system time used= 156.39
maximum resident set size= 361104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143393
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= 48
involuntary context switches= 1287
# summary of solver processes directly reported to runsolver:
# pid: 1041518
# total CPU time (s): 3600.01
# total CPU user time (s): 3443.62
# total CPU system time (s): 156.39
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.71388 second user time and 16.0645 second system time
The end
Begin job on nodeC029 at 2024-07-19 21:03:54
IDJOB=4450736
IDBENCH=162227
IDSOLVER=3047
FILE ID=nodeC029/4450736-1721415821
RUNJOBID= nodeC029-1721412226-1039470
SLURM_JOB_ID= 7545485
Free space on /tmp= 890020 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size160-round21-1.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450736-1721415821/watcher-4450736-1721415821 -o /tmp/evaluation-result-4450736-1721415821/solver-4450736-1721415821 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721412226-1039470 --watchdog 3760 ./LS-MabSP -f HOME/instance-4450736-1721415821.opb -t 3600 -s 314848540
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 24b841e180e6c10fba8d79de5f0eab8c
RANDOM SEED=314848540
nodeC029.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 : 3600.127
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.09
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 : 3675.111
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 : 7006.98
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 : 3662.597
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.09
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 : 3625.219
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 : 7006.98
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 : 3662.593
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.09
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 : 3324.648
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 : 7006.98
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.362
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.09
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 : 3650.537
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 : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126805204 kB
MemAvailable: 129595488 kB
Buffers: 522852 kB
Cached: 3083124 kB
SwapCached: 0 kB
Active: 1031496 kB
Inactive: 3007788 kB
Active(anon): 1496 kB
Inactive(anon): 477740 kB
Active(file): 1030000 kB
Inactive(file): 2530048 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 24136 kB
Writeback: 22708 kB
AnonPages: 433152 kB
Mapped: 123312 kB
Shmem: 45912 kB
KReclaimable: 139764 kB
Slab: 257408 kB
SReclaimable: 139764 kB
SUnreclaim: 117644 kB
KernelStack: 4156 kB
PageTables: 10060 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 826536 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70848 kB
HardwareCorrupted: 0 kB
AnonHugePages: 323584 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: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC029 at 2024-07-19 22:04:02