0.60/0.69 c Filename:instance-4428347-1721026768.opb, Cutoff_time:3600, memory_limit_gb:500000
0.60/0.69 c Not use presolve
3599.97/3610.32 c Use LS-small
3599.97/3610.32 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: 64059 MiB (63347 MiB free)
memory of node 1: 64510 MiB (61578 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428347-1721026768/watcher-4428347-1721026768 -o /tmp/evaluation-result-4428347-1721026768/solver-4428347-1721026768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721026780-782102 --watchdog 3760 ./LS-MabS -f HOME/instance-4428347-1721026768.opb -t 3600 -s 1468532486
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=782136, runsolver pid=782133
[startup+0.100865 s]*
/proc/loadavg: 3.90 4.16 4.15 5/248 782167
/proc/meminfo: memFree=127896088/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=39188 memory=30264 CPUtime=0.1 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 5561 0 0 0 8 2 0 0 20 0 1 0 154833770 40128512 7566 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 9797 7566 2237 2403 0 6907 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39188 KiB
Current children cumulated memory: 30264 KiB
[startup+0.213902 s]*
/proc/loadavg: 3.90 4.16 4.15 5/248 782169
/proc/meminfo: memFree=127832792/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=50480 memory=40640 CPUtime=0.21 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 8095 0 0 0 18 3 0 0 20 0 1 0 154833770 51691520 10160 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 12666 10160 2333 2403 0 9776 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 50480 KiB
Current children cumulated memory: 40640 KiB
[startup+0.313783 s]*
/proc/loadavg: 3.90 4.16 4.15 5/248 782169
/proc/meminfo: memFree=127787732/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=55496 memory=44788 CPUtime=0.31 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 9144 0 0 0 28 3 0 0 20 0 1 0 154833770 56827904 11197 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 13874 11197 2349 2403 0 10984 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 55496 KiB
Current children cumulated memory: 44788 KiB
[startup+0.700362 s]
/proc/loadavg: 3.90 4.16 4.15 5/248 782169
/proc/meminfo: memFree=127731404/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=76860 memory=66036 CPUtime=0.68 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 14697 0 0 0 63 5 0 0 20 0 1 0 154833770 78704640 16509 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 19215 16509 2461 2403 0 16325 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 76860 KiB
Current children cumulated memory: 66036 KiB
[startup+1.50034 s]
/proc/loadavg: 3.90 4.16 4.15 5/248 782169
/proc/meminfo: memFree=127643188/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=85092 memory=73980 CPUtime=1.48 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 19074 0 0 0 142 6 0 0 20 0 1 0 154833770 87134208 18495 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 21273 18495 2461 2403 0 18383 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 85092 KiB
Current children cumulated memory: 73980 KiB
[startup+3.11301 s]
/proc/loadavg: 3.91 4.16 4.15 5/248 782169
/proc/meminfo: memFree=127482212/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=107264 memory=96456 CPUtime=3.08 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 26658 0 0 0 300 8 0 0 20 0 1 0 154833770 109838336 24114 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 26816 24114 2461 2403 0 23926 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 107264 KiB
Current children cumulated memory: 96456 KiB
[startup+6.30028 s]
/proc/loadavg: 3.91 4.16 4.15 5/248 782169
/proc/meminfo: memFree=127423968/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=113916 memory=103220 CPUtime=6.25 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 31354 0 0 0 617 8 0 0 20 0 1 0 154833770 116649984 25805 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 28479 25805 2461 2403 0 25589 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 113916 KiB
Current children cumulated memory: 103220 KiB
[startup+12.7003 s]
/proc/loadavg: 3.92 4.15 4.15 5/248 782170
/proc/meminfo: memFree=127330128/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=163292 memory=150820 CPUtime=12.63 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 43914 0 0 0 1253 10 0 0 20 0 1 0 154833770 167211008 37705 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 40823 37705 2461 2403 0 37933 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 163292 KiB
Current children cumulated memory: 150820 KiB
[startup+25.5003 s]
/proc/loadavg: 3.93 4.15 4.14 5/247 782172
/proc/meminfo: memFree=127259444/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=163348 memory=151996 CPUtime=25.38 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 43998 0 0 0 2528 10 0 0 20 0 1 0 154833770 167268352 37999 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 40837 37999 2461 2403 0 37947 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 163348 KiB
Current children cumulated memory: 151996 KiB
[startup+51.1129 s]
/proc/loadavg: 4.01 4.15 4.14 5/247 782176
/proc/meminfo: memFree=127185580/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=182760 memory=172708 CPUtime=50.89 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 50891 0 0 0 5078 11 0 0 20 0 1 0 154833770 187146240 43177 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 45690 43177 2461 2403 0 42800 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 182760 KiB
Current children cumulated memory: 172708 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.14 4.14 5/245 782198
/proc/meminfo: memFree=127064296/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=184248 memory=174520 CPUtime=101.86 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 51314 0 0 0 10175 11 0 0 20 0 1 0 154833770 188669952 43630 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 46062 43630 2461 2403 0 43172 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 184248 KiB
Current children cumulated memory: 174520 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/245 782208
/proc/meminfo: memFree=127025524/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=205448 memory=196152 CPUtime=161.66 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 57208 0 0 0 16154 12 0 0 20 0 1 0 154833770 210378752 49038 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 51362 49038 2461 2403 0 48472 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 205448 KiB
Current children cumulated memory: 196152 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/245 782219
/proc/meminfo: memFree=127040720/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=207068 memory=198000 CPUtime=221.46 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 57764 0 0 0 22134 12 0 0 20 0 1 0 154833770 212037632 49500 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 51767 49500 2461 2403 0 48877 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 207068 KiB
Current children cumulated memory: 198000 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.12 4.13 5/243 782229
/proc/meminfo: memFree=127009796/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=231096 memory=221536 CPUtime=281.26 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 66649 0 0 0 28113 13 0 0 20 0 1 0 154833770 236642304 55384 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 57774 55384 2461 2403 0 54884 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 231096 KiB
Current children cumulated memory: 221536 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/243 782244
/proc/meminfo: memFree=126971016/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=243656 memory=233556 CPUtime=341.07 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 71350 0 0 0 34093 14 0 0 20 0 1 0 154833770 249503744 58389 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 60914 58389 2461 2403 0 58024 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 243656 KiB
Current children cumulated memory: 233556 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/243 782255
/proc/meminfo: memFree=126953348/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=249496 memory=239984 CPUtime=400.88 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 74274 0 0 0 40074 14 0 0 20 0 1 0 154833770 255483904 59996 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 62374 59996 2461 2403 0 59484 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 249496 KiB
Current children cumulated memory: 239984 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/243 782265
/proc/meminfo: memFree=126899016/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=265528 memory=254076 CPUtime=460.67 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 77965 0 0 0 46052 15 0 0 20 0 1 0 154833770 271900672 63519 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 66382 63519 2461 2403 0 63492 0
################
# More data... #
################
/proc/loadavg: 4.09 4.09 4.09 5/245 783384
/proc/meminfo: memFree=126818524/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=276372 memory=269292 CPUtime=3272.71 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 124491 0 0 0 324332 2939 0 0 20 0 1 0 154833770 283004928 67323 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 69093 67323 2492 2403 0 66203 0
Current children cumulated CPU time: 3272.71 s
Current children cumulated vsize: 276372 KiB
Current children cumulated memory: 269292 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/244 783395
/proc/meminfo: memFree=126818292/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=276372 memory=269292 CPUtime=3332.57 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 124497 0 0 0 330204 3053 0 0 20 0 1 0 154833770 283004928 67323 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 69093 67323 2492 2403 0 66203 0
Current children cumulated CPU time: 3332.57 s
Current children cumulated vsize: 276372 KiB
Current children cumulated memory: 269292 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/243 783788
/proc/meminfo: memFree=126817948/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=276372 memory=269292 CPUtime=3392.44 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 124503 0 0 0 336074 3170 0 0 20 0 1 0 154833770 283004928 67323 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 69093 67323 2492 2403 0 66203 0
Current children cumulated CPU time: 3392.44 s
Current children cumulated vsize: 276372 KiB
Current children cumulated memory: 269292 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/243 783798
/proc/meminfo: memFree=126817844/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=276372 memory=269292 CPUtime=3452.3 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 124509 0 0 0 341941 3289 0 0 20 0 1 0 154833770 283004928 67323 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 69093 67323 2492 2403 0 66203 0
Current children cumulated CPU time: 3452.3 s
Current children cumulated vsize: 276372 KiB
Current children cumulated memory: 269292 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/243 783809
/proc/meminfo: memFree=126817436/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=276372 memory=269292 CPUtime=3512.16 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 124515 0 0 0 347810 3406 0 0 20 0 1 0 154833770 283004928 67323 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 69093 67323 2492 2403 0 66203 0
Current children cumulated CPU time: 3512.16 s
Current children cumulated vsize: 276372 KiB
Current children cumulated memory: 269292 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/245 783989
/proc/meminfo: memFree=126817128/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=276372 memory=269292 CPUtime=3572.03 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 124521 0 0 0 353683 3520 0 0 20 0 1 0 154833770 283004928 67323 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 69093 67323 2492 2403 0 66203 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 276372 KiB
Current children cumulated memory: 269292 KiB
[startup+3610.33 s]
# the end of solver process 782136 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3564.24 s, system=35.7623 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 5/245 783989
/proc/meminfo: memFree=126817160/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=276372 memory=269292 CPUtime=3573.74 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 124521 0 0 0 353849 3525 0 0 20 0 1 0 154833770 283004928 67323 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 69093 67323 2492 2403 0 66203 0
Current children cumulated CPU time: 3573.74 s
Current children cumulated vsize: 276372 KiB
Current children cumulated memory: 269292 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.10 4.09 5/245 783991
/proc/meminfo: memFree=126817080/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=276372 memory=269292 CPUtime=3586.5 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 124521 0 0 0 355098 3552 0 0 20 0 1 0 154833770 283004928 67323 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 69093 67323 2492 2403 0 66203 0
Current children cumulated CPU time: 3586.5 s
Current children cumulated vsize: 276372 KiB
Current children cumulated memory: 269292 KiB
[startup+3603.2 s]
/proc/loadavg: 4.15 4.12 4.09 5/245 783992
/proc/meminfo: memFree=126817016/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=276372 memory=269292 CPUtime=3592.88 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 124521 0 0 0 355724 3564 0 0 20 0 1 0 154833770 283004928 67323 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 69093 67323 2492 2403 0 66203 0
Current children cumulated CPU time: 3592.88 s
Current children cumulated vsize: 276372 KiB
Current children cumulated memory: 269292 KiB
[startup+3606.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/245 783993
/proc/meminfo: memFree=126816876/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=276372 memory=269292 CPUtime=3596.07 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 124521 0 0 0 356040 3567 0 0 20 0 1 0 154833770 283004928 67323 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 69093 67323 2492 2403 0 66203 0
Current children cumulated CPU time: 3596.07 s
Current children cumulated vsize: 276372 KiB
Current children cumulated memory: 269292 KiB
[startup+3608 s]*
/proc/loadavg: 4.14 4.12 4.09 5/245 783993
/proc/meminfo: memFree=126816924/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=276372 memory=269292 CPUtime=3597.68 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 124521 0 0 0 356197 3571 0 0 20 0 1 0 154833770 283004928 67323 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 69093 67323 2492 2403 0 66203 0
Current children cumulated CPU time: 3597.68 s
Current children cumulated vsize: 276372 KiB
Current children cumulated memory: 269292 KiB
[startup+3609.6 s]
/proc/loadavg: 4.14 4.12 4.09 6/236 784115
/proc/meminfo: memFree=127641416/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=276372 memory=269292 CPUtime=3599.26 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 124524 0 0 0 356352 3574 0 0 20 0 1 0 154833770 283004928 67323 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 69093 67323 2492 2403 0 66203 0
Current children cumulated CPU time: 3599.26 s
Current children cumulated vsize: 276372 KiB
Current children cumulated memory: 269292 KiB
[startup+3610 s]*
/proc/loadavg: 4.14 4.12 4.09 5/245 784131
/proc/meminfo: memFree=127628848/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=276372 memory=269292 CPUtime=3599.67 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 124524 0 0 0 356392 3575 0 0 20 0 1 0 154833770 283004928 67323 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 69093 67323 2492 2403 0 66203 0
Current children cumulated CPU time: 3599.67 s
Current children cumulated vsize: 276372 KiB
Current children cumulated memory: 269292 KiB
[startup+3610.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/245 784131
/proc/meminfo: memFree=127628848/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=276372 memory=269292 CPUtime=3599.86 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 124524 0 0 0 356411 3575 0 0 20 0 1 0 154833770 283004928 67323 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 69093 67323 2492 2403 0 66203 0
Current children cumulated CPU time: 3599.86 s
Current children cumulated vsize: 276372 KiB
Current children cumulated memory: 269292 KiB
[startup+3610.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/245 784131
/proc/meminfo: memFree=127628848/131655788 swapFree=131071996/131071996
[pid=782136] ppid=782133 vsize=276372 memory=269292 CPUtime=3599.97 cores=0,2
/proc/782136/stat : 782136 (LS-MabS) R 782133 782136 782092 0 -1 4194304 124524 0 0 0 356421 3576 0 0 20 0 1 0 154833770 283004928 67323 134679101440 4194304 14036057 140727403235600 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 44904448 140727403238433 140727403238535 140727403238535 140727403245550 0
/proc/782136/statm: 69093 67323 2492 2403 0 66203 0
Current children cumulated CPU time: 3599.97 s
Current children cumulated vsize: 276372 KiB
Current children cumulated memory: 269292 KiB
Child status: 0
Real time (s): 3610.33
CPU time (s): 3600
CPU user time (s): 3564.24
CPU system time (s): 35.7623
CPU usage (%): 99.714
Max. virtual memory (cumulated for all children) (KiB): 330188
Max. memory (cumulated for all children) (KiB): 319152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.24
system time used= 35.7623
maximum resident set size= 319152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124531
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= 63
involuntary context switches= 24646
# summary of solver processes directly reported to runsolver:
# pid: 782136
# total CPU time (s): 3600
# total CPU user time (s): 3564.24
# total CPU system time (s): 35.7623
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.383 second user time and 32.1888 second system time
The end
Begin job on nodeC012 at 2024-07-15 08:59:41
IDJOB=4428347
IDBENCH=148772
IDSOLVER=3048
FILE ID=nodeC012/4428347-1721026768
RUNJOBID= nodeC012-1721026780-782102
SLURM_JOB_ID= 7505406
Free space on /tmp= 723780 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428347-1721026768/watcher-4428347-1721026768 -o /tmp/evaluation-result-4428347-1721026768/solver-4428347-1721026768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721026780-782102 --watchdog 3760 ./LS-MabS -f HOME/instance-4428347-1721026768.opb -t 3600 -s 1468532486
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=1468532486
nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3433.750
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
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.322
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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.327
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
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.328
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 1197.327
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
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.325
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 1197.328
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
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.325
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127923756 kB
MemAvailable: 129933708 kB
Buffers: 354388 kB
Cached: 2476056 kB
SwapCached: 0 kB
Active: 555872 kB
Inactive: 2607952 kB
Active(anon): 1356 kB
Inactive(anon): 370140 kB
Active(file): 554516 kB
Inactive(file): 2237812 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 53340 kB
Writeback: 0 kB
AnonPages: 333784 kB
Mapped: 103428 kB
Shmem: 37704 kB
KReclaimable: 115308 kB
Slab: 213088 kB
SReclaimable: 115308 kB
SUnreclaim: 97780 kB
KernelStack: 3672 kB
PageTables: 9508 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 807456 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 50016 kB
HardwareCorrupted: 0 kB
AnonHugePages: 333824 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: 244552 kB
DirectMap2M: 15388672 kB
DirectMap1G: 120586240 kB
Free space on /tmp at the end= 723728 MiB
End job on nodeC012 at 2024-07-15 09:59:51