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 (42078 MiB free)
memory of node 1: 64510 MiB (51264 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463113-1722348074/watcher-4463113-1722348074 -o /tmp/evaluation-result-4463113-1722348074/solver-4463113-1722348074 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722340763-7469 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463113-1722348074 --lp-cut-gomory=0 HOME/instance-4463113-1722348074.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=11971, runsolver pid=11968
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.13 4.18 4.12 4/256 11972
/proc/meminfo: memFree=95562132/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=37376 memory=2624 CPUtime=0 cores=4,6
/proc/11971/stat : 11971 (roundingsat) D 11968 11971 7457 0 -1 1077936128 222 0 0 0 0 0 0 0 20 0 1 0 1407923 38273024 656 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.205859 s]*
/proc/loadavg: 4.13 4.18 4.12 4/256 11972
/proc/meminfo: memFree=95547384/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=37376 memory=2624 CPUtime=0 cores=4,6
/proc/11971/stat : 11971 (roundingsat) D 11968 11971 7457 0 -1 1077936128 222 0 0 0 0 0 0 0 20 0 1 0 1407923 38273024 656 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.305558 s]*
/proc/loadavg: 4.13 4.18 4.12 4/256 11972
/proc/meminfo: memFree=95530604/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=37376 memory=2624 CPUtime=0 cores=4,6
/proc/11971/stat : 11971 (roundingsat) D 11968 11971 7457 0 -1 1077936128 222 0 0 0 0 0 0 0 20 0 1 0 1407923 38273024 656 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.700181 s]
/proc/loadavg: 4.13 4.18 4.12 4/256 11972
/proc/meminfo: memFree=95493628/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=37376 memory=2624 CPUtime=0 cores=4,6
/proc/11971/stat : 11971 (roundingsat) D 11968 11971 7457 0 -1 1077936128 222 0 0 0 0 0 0 0 20 0 1 0 1407923 38273024 656 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+1.50023 s]
/proc/loadavg: 4.13 4.18 4.12 5/254 11972
/proc/meminfo: memFree=95434780/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=106436 memory=77024 CPUtime=0.21 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 12725 0 0 0 18 3 0 0 20 0 1 0 1407923 108990464 19256 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 26609 19256 1376 992 0 18467 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 106436 KiB
Current children cumulated memory: 77024 KiB
[startup+3.10625 s]
/proc/loadavg: 4.13 4.18 4.12 6/260 11983
/proc/meminfo: memFree=94641912/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=385872 memory=325668 CPUtime=1.8 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 26202 0 0 0 167 13 0 0 20 0 1 0 1407923 395132928 81417 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 96468 81417 1631 992 0 88326 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 385872 KiB
Current children cumulated memory: 325668 KiB
heavy processes:
[startup+6.30021 s]
/proc/loadavg: 4.12 4.17 4.12 6/260 11983
/proc/meminfo: memFree=93649444/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=743928 memory=663328 CPUtime=4.98 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 65551 0 0 0 399 99 0 0 20 0 1 0 1407923 761782272 165832 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 185982 165832 1742 992 0 177840 0
Current children cumulated CPU time: 4.98 s
Current children cumulated vsize: 743928 KiB
Current children cumulated memory: 663328 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.19 4.19 4.12 6/261 11985
/proc/meminfo: memFree=91951132/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=843804 memory=731448 CPUtime=11.37 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 67306 0 0 0 990 147 0 0 20 0 1 0 1407923 864055296 182862 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 210951 182862 1742 992 0 202809 0
Current children cumulated CPU time: 11.37 s
Current children cumulated vsize: 843804 KiB
Current children cumulated memory: 731448 KiB
[startup+25.5003 s]
/proc/loadavg: 4.22 4.19 4.12 4/260 11987
/proc/meminfo: memFree=91316820/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=925192 memory=853352 CPUtime=24.14 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 69348 0 0 0 2159 255 0 0 20 0 1 0 1407923 947396608 213338 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 231298 213338 1757 992 0 223156 0
Current children cumulated CPU time: 24.14 s
Current children cumulated vsize: 925192 KiB
Current children cumulated memory: 853352 KiB
[startup+51.1051 s]
/proc/loadavg: 4.14 4.18 4.12 4/263 12069
/proc/meminfo: memFree=125986636/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=930312 memory=859436 CPUtime=49.69 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 70503 0 0 0 4712 257 0 0 20 0 1 0 1407923 952639488 214859 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 232578 214859 1757 992 0 224436 0
Current children cumulated CPU time: 49.69 s
Current children cumulated vsize: 930312 KiB
Current children cumulated memory: 859436 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/264 12172
/proc/meminfo: memFree=124954224/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=1161384 memory=1036040 CPUtime=100.77 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 91832 0 0 0 9490 587 0 0 20 0 1 0 1407923 1189257216 259010 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 290346 259010 1808 992 0 282204 0
Current children cumulated CPU time: 100.77 s
Current children cumulated vsize: 1161384 KiB
Current children cumulated memory: 1036040 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.19 4.13 5/262 12182
/proc/meminfo: memFree=123813632/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=1431048 memory=1197292 CPUtime=160.65 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 97643 0 0 0 15448 617 0 0 20 0 1 0 1407923 1465393152 299323 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 357762 299323 1840 992 0 349620 0
Current children cumulated CPU time: 160.65 s
Current children cumulated vsize: 1431048 KiB
Current children cumulated memory: 1197292 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.15 4.11 5/262 12193
/proc/meminfo: memFree=122032088/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=1784984 memory=1636164 CPUtime=220.53 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 99364 0 0 0 21361 692 0 0 20 0 1 0 1407923 1827823616 409041 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 446246 409041 1840 992 0 438104 0
Current children cumulated CPU time: 220.53 s
Current children cumulated vsize: 1784984 KiB
Current children cumulated memory: 1636164 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/260 12203
/proc/meminfo: memFree=120538648/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=2438980 memory=2173480 CPUtime=280.41 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 108985 0 0 0 27307 734 0 0 20 0 1 0 1407923 2497515520 543370 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 609745 543370 1840 992 0 601603 0
Current children cumulated CPU time: 280.41 s
Current children cumulated vsize: 2438980 KiB
Current children cumulated memory: 2173480 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/258 12213
/proc/meminfo: memFree=119446628/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=2581668 memory=2453536 CPUtime=340.3 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 123863 0 0 0 33236 794 0 0 20 0 1 0 1407923 2643628032 613384 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 645417 613384 1840 992 0 637275 0
Current children cumulated CPU time: 340.3 s
Current children cumulated vsize: 2581668 KiB
Current children cumulated memory: 2453536 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/257 12225
/proc/meminfo: memFree=118710600/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=2761656 memory=2634404 CPUtime=400.18 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 166238 0 0 0 39191 827 0 0 20 0 1 0 1407923 2827935744 658601 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 690414 658601 1840 992 0 682272 0
Current children cumulated CPU time: 400.18 s
Current children cumulated vsize: 2761656 KiB
Current children cumulated memory: 2634404 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/257 12235
/proc/meminfo: memFree=117737932/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=3061804 memory=2937428 CPUtime=460.06 cores=4,6
################
# More data... #
################
Current children cumulated memory: 12958016 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/257 13299
/proc/meminfo: memFree=92125876/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=15859292 memory=13031240 CPUtime=2915.18 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 1197487 0 0 0 287736 3782 0 0 20 0 1 0 1407923 16239915008 3257810 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 3964823 3257810 1840 992 0 3956681 0
Current children cumulated CPU time: 2915.18 s
Current children cumulated vsize: 15859292 KiB
Current children cumulated memory: 13031240 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.15 4.16 5/259 13314
/proc/meminfo: memFree=91805488/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=15910676 memory=13090632 CPUtime=2975.07 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 1210728 0 0 0 293613 3894 0 0 20 0 1 0 1407923 16292532224 3272658 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 3977669 3272658 1840 992 0 3969527 0
Current children cumulated CPU time: 2975.07 s
Current children cumulated vsize: 15910676 KiB
Current children cumulated memory: 13090632 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/259 13324
/proc/meminfo: memFree=91541016/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=15910676 memory=13100552 CPUtime=3034.95 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 1215269 0 0 0 299587 3908 0 0 20 0 1 0 1407923 16292532224 3275138 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 3977669 3275138 1840 992 0 3969527 0
Current children cumulated CPU time: 3034.95 s
Current children cumulated vsize: 15910676 KiB
Current children cumulated memory: 13100552 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/259 13334
/proc/meminfo: memFree=91355264/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=15910676 memory=13109580 CPUtime=3094.83 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 1219772 0 0 0 305494 3989 0 0 20 0 1 0 1407923 16292532224 3277395 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 3977669 3277395 1840 992 0 3969527 0
Current children cumulated CPU time: 3094.83 s
Current children cumulated vsize: 15910676 KiB
Current children cumulated memory: 13109580 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/260 13345
/proc/meminfo: memFree=90946812/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=15910676 memory=13112160 CPUtime=3154.71 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 1224175 0 0 0 311400 4071 0 0 20 0 1 0 1407923 16292532224 3278040 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 3977669 3278040 1840 992 0 3969527 0
Current children cumulated CPU time: 3154.71 s
Current children cumulated vsize: 15910676 KiB
Current children cumulated memory: 13112160 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/260 13356
/proc/meminfo: memFree=90443404/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=15910676 memory=13113260 CPUtime=3214.58 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 1228777 0 0 0 317339 4119 0 0 20 0 1 0 1407923 16292532224 3278315 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 3977669 3278315 1840 992 0 3969527 0
Current children cumulated CPU time: 3214.58 s
Current children cumulated vsize: 15910676 KiB
Current children cumulated memory: 13113260 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/259 13749
/proc/meminfo: memFree=89742396/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=15916796 memory=13120408 CPUtime=3274.46 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 1234577 0 0 0 323261 4185 0 0 20 0 1 0 1407923 16298799104 3280102 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 3979199 3280102 1840 992 0 3971057 0
Current children cumulated CPU time: 3274.46 s
Current children cumulated vsize: 15916796 KiB
Current children cumulated memory: 13120408 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.15 5/259 13759
/proc/meminfo: memFree=89022768/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=15916796 memory=13120408 CPUtime=3334.34 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 1239126 0 0 0 329163 4271 0 0 20 0 1 0 1407923 16298799104 3280102 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 3979199 3280102 1840 992 0 3971057 0
Current children cumulated CPU time: 3334.34 s
Current children cumulated vsize: 15916796 KiB
Current children cumulated memory: 13120408 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/259 13771
/proc/meminfo: memFree=88218584/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=15923436 memory=13145528 CPUtime=3394.21 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 1244775 0 0 0 335041 4380 0 0 20 0 1 0 1407923 16305598464 3286382 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 3980859 3286382 1840 992 0 3972717 0
Current children cumulated CPU time: 3394.21 s
Current children cumulated vsize: 15923436 KiB
Current children cumulated memory: 13145528 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.15 5/260 13950
/proc/meminfo: memFree=87371924/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=15923436 memory=13145528 CPUtime=3454.09 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 1249817 0 0 0 341007 4402 0 0 20 0 1 0 1407923 16305598464 3286382 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 3980859 3286382 1840 992 0 3972717 0
Current children cumulated CPU time: 3454.09 s
Current children cumulated vsize: 15923436 KiB
Current children cumulated memory: 13145528 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/261 13961
/proc/meminfo: memFree=86362584/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=15946364 memory=13168408 CPUtime=3513.98 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 1258490 0 0 0 346915 4483 0 0 20 0 1 0 1407923 16329076736 3292102 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 3986591 3292102 1840 992 0 3978449 0
Current children cumulated CPU time: 3513.98 s
Current children cumulated vsize: 15946364 KiB
Current children cumulated memory: 13168408 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/261 13975
/proc/meminfo: memFree=85459980/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=15949012 memory=13171056 CPUtime=3573.86 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 1264677 0 0 0 352823 4563 0 0 20 0 1 0 1407923 16331788288 3292764 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 3987253 3292764 1840 992 0 3979111 0
Current children cumulated CPU time: 3573.86 s
Current children cumulated vsize: 15949012 KiB
Current children cumulated memory: 13171056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.5 s]
/proc/loadavg: 4.21 4.16 4.15 5/261 13990
/proc/meminfo: memFree=85051836/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=15950856 memory=13172920 CPUtime=3600.01 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 1267703 0 0 0 355409 4592 0 0 20 0 1 0 1407923 16333676544 3293230 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 3987714 3293230 1840 992 0 3979572 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 15950856 KiB
Current children cumulated memory: 13172920 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.88 s]
# the end of solver process 11971 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3554.27 s, system=46.0179 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.8 s]
/proc/loadavg: 4.21 4.16 4.15 5/261 13990
/proc/meminfo: memFree=85051836/131524600 swapFree=131071996/131071996
[pid=11971] ppid=11968 vsize=15657172 memory=9533892 CPUtime=3600.21 cores=4,6
/proc/11971/stat : 11971 (roundingsat) R 11968 11971 7457 0 -1 4194304 1267841 0 0 0 355427 4594 0 0 20 0 1 0 1407923 16032944128 2383473 134679101440 4194304 8255733 140735577845040 0 0 0 0 0 25182210 0 0 0 17 4 0 0 13 0 0 9037040 9046032 13283328 140735577850718 140735577850980 140735577850980 140735577857993 0
/proc/11971/statm: 3914293 2383473 1952 992 0 3906151 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 15657172 KiB
Current children cumulated memory: 9533892 KiB
Child status: 0
Real time (s): 3608.88
CPU time (s): 3600.29
CPU user time (s): 3554.27
CPU system time (s): 46.0179
CPU usage (%): 99.7621
Max. virtual memory (cumulated for all children) (KiB): 15950856
Max. memory (cumulated for all children) (KiB): 13172920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3554.27
system time used= 46.0179
maximum resident set size= 13173368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1267849
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30327240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1917
involuntary context switches= 8191
# summary of solver processes directly reported to runsolver:
# pid: 11971
# total CPU time (s): 3600.29
# total CPU user time (s): 3554.27
# total CPU system time (s): 46.0179
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25896 second user time and 15.9041 second system time
The end
Begin job on nodeC027 at 2024-07-30 16:01:14
IDJOB=4463113
IDBENCH=160484
IDSOLVER=3089
FILE ID=nodeC027/4463113-1722348074
RUNJOBID= nodeC027-1722340763-7469
SLURM_JOB_ID= 8249000
Free space on /tmp= 889364 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463113-1722348074/watcher-4463113-1722348074 -o /tmp/evaluation-result-4463113-1722348074/solver-4463113-1722348074 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722340763-7469 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463113-1722348074 --lp-cut-gomory=0 HOME/instance-4463113-1722348074.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0ade693002e69cf4f48fe48722d4f7a3
RANDOM SEED=851038885
nodeC027.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 : 3654.479
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 : 6999.88
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 : 3678.495
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.31
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.232
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 : 6999.88
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 : 3607.833
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.31
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 : 3656.382
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 : 6999.88
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 : 3640.007
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.31
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 : 3638.743
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 : 6999.88
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 : 3683.437
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 95587868 kB
MemAvailable: 124640144 kB
Buffers: 51208 kB
Cached: 29796816 kB
SwapCached: 0 kB
Active: 866068 kB
Inactive: 34492824 kB
Active(anon): 1520 kB
Inactive(anon): 5530704 kB
Active(file): 864548 kB
Inactive(file): 28962120 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 555748 kB
Writeback: 56 kB
AnonPages: 5505740 kB
Mapped: 92268 kB
Shmem: 21336 kB
KReclaimable: 130512 kB
Slab: 229088 kB
SReclaimable: 130512 kB
SUnreclaim: 98576 kB
KernelStack: 4180 kB
PageTables: 19832 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 6137984 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9024 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2656256 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: 150228 kB
DirectMap2M: 9060352 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 889912 MiB
End job on nodeC027 at 2024-07-30 17:01:23