PB'24 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
CASHWMaxSAT-DisjCom-SP 2024-07-10	SAT (TO)	-39	3600.01	3610.3

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (61441 MiB free)
  memory of node 1: 64473 MiB (62541 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439550-1721194630/watcher-4439550-1721194630 -o /tmp/evaluation-result-4439550-1721194630/solver-4439550-1721194630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721194641-891879 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439550-1721194630.opb -total-t=3600 -no-par -v0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=891918, runsolver pid=891911

[startup+0.100321 s]*
/proc/loadavg: 0.46 0.19 0.11 6/256 891941
/proc/meminfo: memFree=126869452/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=44524 memory=25592 CPUtime=0.09 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 6485 0 0 0 9 0 0 0 20 0 1 0 171631918 45592576 6398 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 11131 6398 842 2550 0 8086 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44524 KiB
Current children cumulated memory: 25592 KiB

[startup+0.206022 s]*
/proc/loadavg: 0.46 0.19 0.11 6/256 891941
/proc/meminfo: memFree=126770132/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=59772 memory=41148 CPUtime=0.19 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 10958 0 0 0 18 1 0 0 20 0 1 0 171631918 61206528 10287 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 14943 10287 922 2550 0 11898 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 59772 KiB
Current children cumulated memory: 41148 KiB

[startup+0.305897 s]*
/proc/loadavg: 0.46 0.19 0.11 6/256 891941
/proc/meminfo: memFree=126658068/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=101276 memory=91808 CPUtime=0.3 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 22241 0 0 0 27 3 0 0 20 0 1 0 171631918 103706624 22952 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 25319 22952 2442 2550 0 22274 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 101276 KiB
Current children cumulated memory: 91808 KiB

[startup+0.70023 s]
/proc/loadavg: 0.46 0.19 0.11 6/256 891941
/proc/meminfo: memFree=126514648/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=188216 memory=169544 CPUtime=0.69 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 34383 0 0 0 63 6 0 0 20 0 1 0 171631918 192733184 42386 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 47054 42386 2538 2550 0 44009 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 188216 KiB
Current children cumulated memory: 169544 KiB

[startup+1.50019 s]
/proc/loadavg: 0.46 0.19 0.11 6/256 891941
/proc/meminfo: memFree=126297672/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=275776 memory=253784 CPUtime=1.48 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 48576 0 0 0 139 9 0 0 20 0 1 0 171631918 282394624 63446 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 68944 63446 2650 2550 0 65899 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 275776 KiB
Current children cumulated memory: 253784 KiB

[startup+3.10576 s]
/proc/loadavg: 0.46 0.19 0.11 6/256 891941
/proc/meminfo: memFree=126260720/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=289232 memory=260648 CPUtime=3.08 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 50293 0 0 0 299 9 0 0 20 0 1 0 171631918 296173568 65162 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 72308 65162 2650 2550 0 69263 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 289232 KiB
Current children cumulated memory: 260648 KiB

[startup+6.30023 s]
/proc/loadavg: 0.75 0.25 0.14 6/256 891941
/proc/meminfo: memFree=126219168/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=304692 memory=265664 CPUtime=6.27 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 51520 0 0 0 617 10 0 0 20 0 1 0 171631918 312004608 66416 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 76173 66416 2650 2550 0 73128 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 304692 KiB
Current children cumulated memory: 265664 KiB

[startup+12.7002 s]
/proc/loadavg: 1.01 0.31 0.16 6/256 891943
/proc/meminfo: memFree=126093308/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=418888 memory=324008 CPUtime=12.66 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 66098 0 0 0 1253 13 0 0 20 0 1 0 171631918 428941312 81002 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 104722 81002 2650 2550 0 101677 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 418888 KiB
Current children cumulated memory: 324008 KiB

[startup+25.5003 s]
/proc/loadavg: 1.67 0.49 0.22 6/256 891945
/proc/meminfo: memFree=126055324/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=418888 memory=324008 CPUtime=25.41 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 66108 0 0 0 2527 14 0 0 20 0 1 0 171631918 428941312 81002 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 104722 81002 2650 2550 0 101677 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 418888 KiB
Current children cumulated memory: 324008 KiB

[startup+51.1061 s]
/proc/loadavg: 2.52 0.79 0.33 6/256 891949
/proc/meminfo: memFree=125936852/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=459808 memory=363172 CPUtime=50.93 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 78497 0 0 0 5074 19 0 0 20 0 1 0 171631918 470843392 90793 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 114952 90793 2650 2550 0 111907 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 459808 KiB
Current children cumulated memory: 363172 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 1.30 0.53 6/256 891958
/proc/meminfo: memFree=125745492/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=502008 memory=406036 CPUtime=101.99 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 94671 0 0 0 10176 23 0 0 20 0 1 0 171631918 514056192 101509 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 125502 101509 2650 2550 0 122457 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 502008 KiB
Current children cumulated memory: 406036 KiB

[startup+162.3 s]
/proc/loadavg: 3.83 1.81 0.75 6/256 891969
/proc/meminfo: memFree=125550216/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=606284 memory=459140 CPUtime=161.82 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 108953 0 0 0 16155 27 0 0 20 0 1 0 171631918 620834816 114785 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 151571 114785 2650 2550 0 148526 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 606284 KiB
Current children cumulated memory: 459140 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.24 0.97 6/258 891984
/proc/meminfo: memFree=125366392/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=712792 memory=562072 CPUtime=221.66 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 131378 0 0 0 22134 32 0 0 20 0 1 0 171631918 729899008 140518 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 178198 140518 2920 2550 0 175153 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 712792 KiB
Current children cumulated memory: 562072 KiB

[startup+282.3 s]
/proc/loadavg: 4.64 2.71 1.21 6/258 891994
/proc/meminfo: memFree=125216960/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=755384 memory=602468 CPUtime=281.47 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 146253 0 0 0 28113 34 0 0 20 0 1 0 171631918 773513216 150617 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 188846 150617 2920 2550 0 185801 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 755384 KiB
Current children cumulated memory: 602468 KiB

[startup+342.3 s]
/proc/loadavg: 4.48 3.03 1.42 6/256 892007
/proc/meminfo: memFree=125124552/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=794788 memory=647140 CPUtime=341.29 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 156244 0 0 0 34093 36 0 0 20 0 1 0 171631918 813862912 161785 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 198697 161785 2920 2550 0 195652 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 794788 KiB
Current children cumulated memory: 647140 KiB

[startup+402.3 s]
/proc/loadavg: 4.23 3.23 1.59 6/257 892019
/proc/meminfo: memFree=125004920/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=852036 memory=732672 CPUtime=401.1 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 173963 0 0 0 40071 39 0 0 20 0 1 0 171631918 872484864 183168 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 213009 183168 2920 2550 0 209964 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 852036 KiB
Current children cumulated memory: 732672 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 3.40 1.75 6/257 892029
/proc/meminfo: memFree=124929308/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=857652 memory=753532 CPUtime=460.92 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 179406 0 0 0 46052 40 0 0 20 0 1 0 171631918 878235648 188383 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 214413 188383 2920 2550 0 211368 0

################
# More data... #
################

Current children cumulated memory: 732792 KiB

[startup+2922.3 s]
/proc/loadavg: 4.25 4.16 4.01 6/258 893490
/proc/meminfo: memFree=124043608/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=789904 memory=732792 CPUtime=2913.81 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 264111 0 0 0 291323 58 0 0 20 0 1 0 171631918 808861696 183198 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 197476 183198 2920 2550 0 194431 0
Current children cumulated CPU time: 2913.81 s
Current children cumulated vsize: 789904 KiB
Current children cumulated memory: 732792 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.16 4.01 6/256 893500
/proc/meminfo: memFree=124016852/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=789904 memory=732792 CPUtime=2973.65 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 264237 0 0 0 297307 58 0 0 20 0 1 0 171631918 808861696 183198 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 197476 183198 2920 2550 0 194431 0
Current children cumulated CPU time: 2973.65 s
Current children cumulated vsize: 789904 KiB
Current children cumulated memory: 732792 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.16 4.02 6/256 893512
/proc/meminfo: memFree=124051188/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=789904 memory=743032 CPUtime=3033.5 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 264378 0 0 0 303291 59 0 0 20 0 1 0 171631918 808861696 185758 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 197476 185758 2920 2550 0 194431 0
Current children cumulated CPU time: 3033.5 s
Current children cumulated vsize: 789904 KiB
Current children cumulated memory: 743032 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.16 4.02 6/258 893692
/proc/meminfo: memFree=124028808/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=789904 memory=743032 CPUtime=3093.34 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 264519 0 0 0 309275 59 0 0 20 0 1 0 171631918 808861696 185758 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 197476 185758 2920 2550 0 194431 0
Current children cumulated CPU time: 3093.34 s
Current children cumulated vsize: 789904 KiB
Current children cumulated memory: 743032 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.02 6/258 893703
/proc/meminfo: memFree=123988708/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=789904 memory=743032 CPUtime=3153.19 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 264662 0 0 0 315260 59 0 0 20 0 1 0 171631918 808861696 185758 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 197476 185758 2920 2550 0 194431 0
Current children cumulated CPU time: 3153.19 s
Current children cumulated vsize: 789904 KiB
Current children cumulated memory: 743032 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.03 6/258 893773
/proc/meminfo: memFree=124032856/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=789904 memory=743032 CPUtime=3213.03 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 264789 0 0 0 321244 59 0 0 20 0 1 0 171631918 808861696 185758 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 197476 185758 2920 2550 0 194431 0
Current children cumulated CPU time: 3213.03 s
Current children cumulated vsize: 789904 KiB
Current children cumulated memory: 743032 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.03 6/258 893783
/proc/meminfo: memFree=124011788/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=789904 memory=743032 CPUtime=3272.86 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 264916 0 0 0 327227 59 0 0 20 0 1 0 171631918 808861696 185758 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 197476 185758 2920 2550 0 194431 0
Current children cumulated CPU time: 3272.86 s
Current children cumulated vsize: 789904 KiB
Current children cumulated memory: 743032 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.04 6/258 893794
/proc/meminfo: memFree=123998792/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=789904 memory=743032 CPUtime=3332.7 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 265043 0 0 0 333211 59 0 0 20 0 1 0 171631918 808861696 185758 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 197476 185758 2920 2550 0 194431 0
Current children cumulated CPU time: 3332.7 s
Current children cumulated vsize: 789904 KiB
Current children cumulated memory: 743032 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.04 6/258 893805
/proc/meminfo: memFree=123995156/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=789904 memory=743032 CPUtime=3392.54 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 265171 0 0 0 339195 59 0 0 20 0 1 0 171631918 808861696 185758 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 197476 185758 2920 2550 0 194431 0
Current children cumulated CPU time: 3392.54 s
Current children cumulated vsize: 789904 KiB
Current children cumulated memory: 743032 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.05 6/257 893816
/proc/meminfo: memFree=123991800/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=789904 memory=743032 CPUtime=3452.39 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 265299 0 0 0 345180 59 0 0 20 0 1 0 171631918 808861696 185758 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 197476 185758 2920 2550 0 194431 0
Current children cumulated CPU time: 3452.39 s
Current children cumulated vsize: 789904 KiB
Current children cumulated memory: 743032 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.15 4.05 6/254 893827
/proc/meminfo: memFree=123976500/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=789904 memory=743032 CPUtime=3512.23 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 265427 0 0 0 351164 59 0 0 20 0 1 0 171631918 808861696 185758 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 197476 185758 2920 2550 0 194431 0
Current children cumulated CPU time: 3512.23 s
Current children cumulated vsize: 789904 KiB
Current children cumulated memory: 743032 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.05 6/254 893838
/proc/meminfo: memFree=124017092/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=789904 memory=743032 CPUtime=3572.07 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 265557 0 0 0 357148 59 0 0 20 0 1 0 171631918 808861696 185758 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 197476 185758 2920 2550 0 194431 0
Current children cumulated CPU time: 3572.07 s
Current children cumulated vsize: 789904 KiB
Current children cumulated memory: 743032 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.15 4.14 4.06 6/254 893844
/proc/meminfo: memFree=123962576/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=789904 memory=743032 CPUtime=3600 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 265615 0 0 0 359941 59 0 0 20 0 1 0 171631918 808861696 185758 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 197476 185758 2920 2550 0 194431 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 789904 KiB
Current children cumulated memory: 743032 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.3 s]
# the end of solver process 891918 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.41 s, system=0.592393 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3610.3 s]
/proc/loadavg: 4.15 4.14 4.06 6/254 893844
/proc/meminfo: memFree=123962576/131524600 swapFree=131071996/131071996
[pid=891918] ppid=891911 vsize=789904 memory=743032 CPUtime=3600 cores=5,7
/proc/891918/stat : 891918 (CASHWMaxSAT-Dis) R 891911 891918 891866 0 -1 4194304 265615 0 0 0 359941 59 0 0 20 0 1 0 171631918 808861696 185758 134679101440 4194304 14636349 140736088536640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34533376 140736088544226 140736088544342 140736088544342 140736088551358 0
/proc/891918/statm: 197476 185758 2920 2550 0 194431 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 789904 KiB
Current children cumulated memory: 743032 KiB

Child status: 10

Real time (s): 3610.3
CPU time (s): 3600.01
CPU user time (s): 3599.41
CPU system time (s): 0.592393
CPU usage (%): 99.7148
Max. virtual memory (cumulated for all children) (KiB): 1200572
Max. memory (cumulated for all children) (KiB): 1113688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.41
system time used= 0.592393
maximum resident set size= 1113688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265616
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= 80
involuntary context switches= 1580


# summary of solver processes directly reported to runsolver:
#   pid: 891918
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3599.41
#   total CPU system time (s): 0.592393

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.05277 second user time and 17.0095 second system time

The end

Begin job on nodeC032 at 2024-07-17 07:37:22
IDJOB=4439550
IDBENCH=146695
IDSOLVER=3076
FILE ID=nodeC032/4439550-1721194630
RUNJOBID= nodeC032-1721194641-891879
SLURM_JOB_ID= 7508893
Free space on /tmp= 890068 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439550-1721194630/watcher-4439550-1721194630 -o /tmp/evaluation-result-4439550-1721194630/solver-4439550-1721194630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721194641-891879 --watchdog 3760  CASHWMaxSAT-DisjCom-SP HOME/instance-4439550-1721194630.opb -total-t=3600 -no-par -v0

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= dbca78014701662c42e2f44b8d3d4cf2
RANDOM SEED=1119757426

nodeC032.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		: 2894.753
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.33
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		: 3617.059
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 3145.158
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.33
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		: 3598.687
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 1878.881
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.33
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		: 3676.639
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 2305.644
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.33
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		: 3610.422
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126959552 kB
MemAvailable:   129695452 kB
Buffers:          438664 kB
Cached:          3106956 kB
SwapCached:            0 kB
Active:           765440 kB
Inactive:        3140468 kB
Active(anon):       1488 kB
Inactive(anon):   396908 kB
Active(file):     763952 kB
Inactive(file):  2743560 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28124 kB
Writeback:             0 kB
AnonPages:        360508 kB
Mapped:           104692 kB
Shmem:             37720 kB
KReclaimable:     136420 kB
Slab:             248936 kB
SReclaimable:     136420 kB
SUnreclaim:       112516 kB
KernelStack:        3872 kB
PageTables:         9656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     651492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            65792 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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:      226004 kB
DirectMap2M:    21567488 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC032 at 2024-07-17 08:37:33

Name	PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
MD5SUM	dbca78014701662c42e2f44b8d3d4cf2
Bench Category	OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	-40
Best CPU time to get the best result obtained on this benchmark	30.0879
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables	760
Total number of constraints	41263
Number of constraints which are clauses	41263
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Number of terms in the objective function	760
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
Number of bits of the biggest sum of numbers	10
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 4439550

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data