PB'24 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11	SAT	-39	3585.78	3596.08

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: 64096 MiB (61925 MiB free)
  memory of node 1: 64473 MiB (63440 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438341-1722959026/watcher-4438341-1722959026 -o /tmp/evaluation-result-4438341-1722959026/solver-4438341-1722959026 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722959025-340264 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438341-1722959026.opb 3600 HOME 31000 

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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=340335, runsolver pid=340332

[startup+0.100608 s]*
/proc/loadavg: 2.13 3.17 3.72 6/253 340339
/proc/meminfo: memFree=128343004/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 62273689 10170368 697 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 697 621 264 0 134 0
[pid=340338] ppid=340335 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/340338/stat : 340338 (timeout) S 340335 340338 340253 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62273690 8867840 244 134679101440 93897352650752 93897352685768 140729609051296 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93897354783184 93897354785316 93897384345600 140729609053196 140729609053341 140729609053341 140729609060327 0
/proc/340338/statm: 2165 244 220 9 0 87 0
[pid=340339] ppid=340338 vsize=28328 memory=9924 CPUtime=0.09 cores=4,6
/proc/340339/stat : 340339 (CASHWMaxSAT-Dis) R 340338 340338 340253 0 -1 4194304 1804 0 0 0 9 0 0 0 20 0 1 0 62273690 29007872 2481 134679101440 4194304 14093885 140731839138416 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38715392 140731839140882 140731839141014 140731839141014 140731839148000 0
/proc/340339/statm: 7082 2481 750 2417 0 4184 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46920 KiB
Current children cumulated memory: 13688 KiB

[startup+0.21359 s]*
/proc/loadavg: 2.13 3.17 3.72 5/253 340339
/proc/meminfo: memFree=128313524/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 62273689 10170368 697 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 697 621 264 0 134 0
[pid=340338] ppid=340335 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/340338/stat : 340338 (timeout) S 340335 340338 340253 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62273690 8867840 244 134679101440 93897352650752 93897352685768 140729609051296 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93897354783184 93897354785316 93897384345600 140729609053196 140729609053341 140729609053341 140729609060327 0
/proc/340338/statm: 2165 244 220 9 0 87 0
[pid=340339] ppid=340338 vsize=35256 memory=16800 CPUtime=0.2 cores=4,6
/proc/340339/stat : 340339 (CASHWMaxSAT-Dis) R 340338 340338 340253 0 -1 4194304 3558 0 0 0 20 0 0 0 20 0 1 0 62273690 36102144 4200 134679101440 4194304 14093885 140731839138416 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38715392 140731839140882 140731839141014 140731839141014 140731839148000 0
/proc/340339/statm: 8814 4200 750 2417 0 5916 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53848 KiB
Current children cumulated memory: 20564 KiB

[startup+0.313739 s]*
/proc/loadavg: 2.13 3.17 3.72 5/253 340339
/proc/meminfo: memFree=128292048/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 62273689 10170368 697 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 697 621 264 0 134 0
[pid=340338] ppid=340335 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/340338/stat : 340338 (timeout) S 340335 340338 340253 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62273690 8867840 244 134679101440 93897352650752 93897352685768 140729609051296 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93897354783184 93897354785316 93897384345600 140729609053196 140729609053341 140729609053341 140729609060327 0
/proc/340338/statm: 2165 244 220 9 0 87 0
[pid=340339] ppid=340338 vsize=41520 memory=22872 CPUtime=0.3 cores=4,6
/proc/340339/stat : 340339 (CASHWMaxSAT-Dis) R 340338 340338 340253 0 -1 4194304 5096 0 0 0 29 1 0 0 20 0 1 0 62273690 42516480 5718 134679101440 4194304 14093885 140731839138416 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38715392 140731839140882 140731839141014 140731839141014 140731839148000 0
/proc/340339/statm: 10380 5718 750 2417 0 7482 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 26636 KiB

[startup+0.700547 s]
/proc/loadavg: 2.13 3.17 3.72 5/253 340339
/proc/meminfo: memFree=128251548/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 62273689 10170368 697 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 697 621 264 0 134 0
[pid=340338] ppid=340335 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/340338/stat : 340338 (timeout) S 340335 340338 340253 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62273690 8867840 244 134679101440 93897352650752 93897352685768 140729609051296 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93897354783184 93897354785316 93897384345600 140729609053196 140729609053341 140729609053341 140729609060327 0
/proc/340338/statm: 2165 244 220 9 0 87 0
[pid=340339] ppid=340338 vsize=99056 memory=88060 CPUtime=0.67 cores=4,6
/proc/340339/stat : 340339 (CASHWMaxSAT-Dis) R 340338 340338 340253 0 -1 4194304 20235 0 0 0 61 6 0 0 20 0 1 0 62273690 101433344 22015 134679101440 4194304 14093885 140731839138416 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38715392 140731839140882 140731839141014 140731839141014 140731839148000 0
/proc/340339/statm: 24764 22015 2302 2417 0 21866 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 117648 KiB
Current children cumulated memory: 91824 KiB

[startup+1.50051 s]
/proc/loadavg: 2.13 3.17 3.72 6/253 340341
/proc/meminfo: memFree=128002832/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 62273689 10170368 697 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 697 621 264 0 134 0
[pid=340338] ppid=340335 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/340338/stat : 340338 (timeout) S 340335 340338 340253 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62273690 8867840 244 134679101440 93897352650752 93897352685768 140729609051296 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93897354783184 93897354785316 93897384345600 140729609053196 140729609053341 140729609053341 140729609060327 0
/proc/340338/statm: 2165 244 220 9 0 87 0
[pid=340339] ppid=340338 vsize=188832 memory=171056 CPUtime=1.47 cores=4,6
/proc/340339/stat : 340339 (CASHWMaxSAT-Dis) R 340338 340338 340253 0 -1 4194304 32410 0 0 0 136 11 0 0 20 0 1 0 62273690 193363968 42764 134679101440 4194304 14093885 140731839138416 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38715392 140731839140882 140731839141014 140731839141014 140731839148000 0
/proc/340339/statm: 47208 42764 2414 2417 0 44310 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 207424 KiB
Current children cumulated memory: 174820 KiB

[startup+3.11316 s]
/proc/loadavg: 2.36 3.20 3.73 5/253 340341
/proc/meminfo: memFree=127198360/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 62273689 10170368 697 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 697 621 264 0 134 0
[pid=340338] ppid=340335 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/340338/stat : 340338 (timeout) S 340335 340338 340253 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62273690 8867840 244 134679101440 93897352650752 93897352685768 140729609051296 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93897354783184 93897354785316 93897384345600 140729609053196 140729609053341 140729609053341 140729609060327 0
/proc/340338/statm: 2165 244 220 9 0 87 0
[pid=340339] ppid=340338 vsize=269356 memory=246132 CPUtime=3.07 cores=4,6
/proc/340339/stat : 340339 (CASHWMaxSAT-Dis) R 340338 340338 340253 0 -1 4194304 45778 0 0 0 293 14 0 0 20 0 1 0 62273690 275820544 61533 134679101440 4194304 14093885 140731839138416 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38715392 140731839140882 140731839141014 140731839141014 140731839148000 0
/proc/340339/statm: 67339 61533 2526 2417 0 64441 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 287948 KiB
Current children cumulated memory: 249896 KiB

[startup+6.3004 s]
/proc/loadavg: 2.36 3.20 3.73 5/253 340341
/proc/meminfo: memFree=127057756/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 62273689 10170368 697 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 697 621 264 0 134 0
[pid=340338] ppid=340335 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/340338/stat : 340338 (timeout) S 340335 340338 340253 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62273690 8867840 244 134679101440 93897352650752 93897352685768 140729609051296 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93897354783184 93897354785316 93897384345600 140729609053196 140729609053341 140729609053341 140729609060327 0
/proc/340338/statm: 2165 244 220 9 0 87 0
[pid=340339] ppid=340338 vsize=282908 memory=247712 CPUtime=6.26 cores=4,6
/proc/340339/stat : 340339 (CASHWMaxSAT-Dis) R 340338 340338 340253 0 -1 4194304 46207 0 0 0 611 15 0 0 20 0 1 0 62273690 289697792 61928 134679101440 4194304 14093885 140731839138416 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38715392 140731839140882 140731839141014 140731839141014 140731839148000 0
/proc/340339/statm: 70727 61928 2526 2417 0 67829 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 301500 KiB
Current children cumulated memory: 251476 KiB

[startup+12.7005 s]
/proc/loadavg: 2.50 3.22 3.73 5/253 340342
/proc/meminfo: memFree=126991248/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 62273689 10170368 697 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 697 621 264 0 134 0
[pid=340338] ppid=340335 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/340338/stat : 340338 (timeout) S 340335 340338 340253 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62273690 8867840 244 134679101440 93897352650752 93897352685768 140729609051296 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93897354783184 93897354785316 93897384345600 140729609053196 140729609053341 140729609053341 140729609060327 0
/proc/340338/statm: 2165 244 220 9 0 87 0
[pid=340339] ppid=340338 vsize=403572 memory=312248 CPUtime=12.63 cores=4,6
/proc/340339/stat : 340339 (CASHWMaxSAT-Dis) R 340338 340338 340253 0 -1 4194304 61290 0 0 0 1246 17 0 0 20 0 1 0 62273690 413257728 78062 134679101440 4194304 14093885 140731839138416 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38715392 140731839140882 140731839141014 140731839141014 140731839148000 0
/proc/340339/statm: 100893 78062 2526 2417 0 97995 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 422164 KiB
Current children cumulated memory: 316012 KiB

[startup+25.5005 s]
/proc/loadavg: 2.83 3.26 3.74 5/253 340344
/proc/meminfo: memFree=126949820/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 62273689 10170368 697 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 697 621 264 0 134 0
[pid=340338] ppid=340335 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/340338/stat : 340338 (timeout) S 340335 340338 340253 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62273690 8867840 244 134679101440 93897352650752 93897352685768 140729609051296 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93897354783184 93897354785316 93897384345600 140729609053196 140729609053341 140729609053341 140729609060327 0
/proc/340338/statm: 2165 244 220 9 0 87 0
[pid=340339] ppid=340338 vsize=396576 memory=304880 CPUtime=25.4 cores=4,6
/proc/340339/stat : 340339 (CASHWMaxSAT-Dis) R 340338 340338 340253 0 -1 4194304 61360 0 0 0 2522 18 0 0 20 0 1 0 62273690 406093824 76220 134679101440 4194304 14093885 140731839138416 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38715392 140731839140882 140731839141014 140731839141014 140731839148000 0
/proc/340339/statm: 99144 76220 2526 2417 0 96246 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 415168 KiB
Current children cumulated memory: 308644 KiB

[startup+51.1134 s]
/proc/loadavg: 3.31 3.33 3.75 5/253 340349
/proc/meminfo: memFree=126678032/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 62273689 10170368 697 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 697 621 264 0 134 0
[pid=340338] ppid=340335 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/340338/stat : 340338 (timeout) S 340335 340338 340253 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62273690 8867840 244 134679101440 93897352650752 93897352685768 140729609051296 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 93897354783184 93897354785316 93897384345600 140729609053196 140729609053341 140729609053341 140729609060327 0
/proc/340338/statm: 2165 244 220 9 0 87 0
[pid=340339] ppid=340338 vsize=445028 memory=347628 CPUtime=50.93 cores=4,6
/proc/340339/stat : 340339 (CASHWMaxSAT-Dis) R 340338 340338 340253 0 -1 4194304 72087 0 0 0 5073 20 0 0 20 0 1 0 62273690 455708672 86907 134679101440 4194304 14093885 140731839138416 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38715392 140731839140882 140731839141014 140731839141014 140731839148000 0
/proc/340339/statm: 111257 86907 2526 2417 0 108359 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 463620 KiB
Current children cumulated memory: 351392 KiB

[startup+102.301 s]
/proc/loadavg: 3.86 3.48 3.78 5/253 340358
/proc/meminfo: memFree=126593804/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 245 105 0 0 0 0 0 0 20 0 1 0 62273689 10170368 697 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0

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

/proc/341254/statm: 28181 25787 748 737 0 27269 0
Current children cumulated CPU time: 3392.42 s
Current children cumulated vsize: 131316 KiB
Current children cumulated memory: 107040 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/251 342176
/proc/meminfo: memFree=127875564/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2860 CPUtime=1792.19 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 277 219505 0 0 0 0 179160 59 20 0 1 0 62273689 10170368 715 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 715 621 264 0 134 0
[pid=341253] ppid=340335 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/341253/stat : 341253 (timeout) S 340335 341253 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62453493 8867840 258 134679101440 94538992250880 94538992285896 140726621020608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94538994383312 94538994385444 94539005800448 140726621025268 140726621025437 140726621025437 140726621032423 0
/proc/341253/statm: 2165 258 233 9 0 87 0
[pid=341254] ppid=341253 vsize=114068 memory=104212 CPUtime=1660.09 cores=4,6
/proc/341254/stat : 341254 (Exact) R 341253 341253 340253 0 -1 4194304 17226 0 0 0 166004 5 0 0 20 0 1 0 62453493 116805632 26053 134679101440 4194304 7210733 140735009733232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12730368 140735009735696 140735009735846 140735009735846 140735009742832 0
/proc/341254/statm: 28517 26053 748 737 0 27605 0
Current children cumulated CPU time: 3452.28 s
Current children cumulated vsize: 132660 KiB
Current children cumulated memory: 108104 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/251 342187
/proc/meminfo: memFree=127874216/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2860 CPUtime=1792.19 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 277 219505 0 0 0 0 179160 59 20 0 1 0 62273689 10170368 715 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 715 621 264 0 134 0
[pid=341253] ppid=340335 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/341253/stat : 341253 (timeout) S 340335 341253 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62453493 8867840 258 134679101440 94538992250880 94538992285896 140726621020608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94538994383312 94538994385444 94539005800448 140726621025268 140726621025437 140726621025437 140726621032423 0
/proc/341253/statm: 2165 258 233 9 0 87 0
[pid=341254] ppid=341253 vsize=114068 memory=104440 CPUtime=1719.95 cores=4,6
/proc/341254/stat : 341254 (Exact) R 341253 341253 340253 0 -1 4194304 17265 0 0 0 171990 5 0 0 20 0 1 0 62453493 116805632 26110 134679101440 4194304 7210733 140735009733232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12730368 140735009735696 140735009735846 140735009735846 140735009742832 0
/proc/341254/statm: 28517 26110 748 737 0 27605 0
Current children cumulated CPU time: 3512.14 s
Current children cumulated vsize: 132660 KiB
Current children cumulated memory: 108332 KiB

[startup+3582.3 s]
/proc/loadavg: 4.26 4.16 4.17 5/251 342199
/proc/meminfo: memFree=127872304/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2860 CPUtime=1792.19 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 277 219505 0 0 0 0 179160 59 20 0 1 0 62273689 10170368 715 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 715 621 264 0 134 0
[pid=341253] ppid=340335 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/341253/stat : 341253 (timeout) S 340335 341253 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62453493 8867840 258 134679101440 94538992250880 94538992285896 140726621020608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94538994383312 94538994385444 94539005800448 140726621025268 140726621025437 140726621025437 140726621032423 0
/proc/341253/statm: 2165 258 233 9 0 87 0
[pid=341254] ppid=341253 vsize=114620 memory=104604 CPUtime=1779.81 cores=4,6
/proc/341254/stat : 341254 (Exact) R 341253 341253 340253 0 -1 4194304 17396 0 0 0 177976 5 0 0 20 0 1 0 62453493 117370880 26151 134679101440 4194304 7210733 140735009733232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12730368 140735009735696 140735009735846 140735009735846 140735009742832 0
/proc/341254/statm: 28655 26151 748 737 0 27743 0
Current children cumulated CPU time: 3572 s
Current children cumulated vsize: 133212 KiB
Current children cumulated memory: 108496 KiB

[startup+3596.08 s]
# the end of solver process 340335 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3585.11 s, system=0.668374 s

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

[startup+3584 s]*
/proc/loadavg: 4.24 4.15 4.16 5/251 342199
/proc/meminfo: memFree=127872332/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2860 CPUtime=1792.19 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 277 219505 0 0 0 0 179160 59 20 0 1 0 62273689 10170368 715 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 715 621 264 0 134 0
[pid=341253] ppid=340335 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/341253/stat : 341253 (timeout) S 340335 341253 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62453493 8867840 258 134679101440 94538992250880 94538992285896 140726621020608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94538994383312 94538994385444 94539005800448 140726621025268 140726621025437 140726621025437 140726621032423 0
/proc/341253/statm: 2165 258 233 9 0 87 0
[pid=341254] ppid=341253 vsize=114620 memory=104604 CPUtime=1781.52 cores=4,6
/proc/341254/stat : 341254 (Exact) R 341253 341253 340253 0 -1 4194304 17396 0 0 0 178147 5 0 0 20 0 1 0 62453493 117370880 26151 134679101440 4194304 7210733 140735009733232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12730368 140735009735696 140735009735846 140735009735846 140735009742832 0
/proc/341254/statm: 28655 26151 748 737 0 27743 0
Current children cumulated CPU time: 3573.71 s
Current children cumulated vsize: 133212 KiB
Current children cumulated memory: 108496 KiB

[startup+3590.4 s]
/proc/loadavg: 4.22 4.15 4.16 5/251 342199
/proc/meminfo: memFree=127872360/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2860 CPUtime=1792.19 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 277 219505 0 0 0 0 179160 59 20 0 1 0 62273689 10170368 715 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 715 621 264 0 134 0
[pid=341253] ppid=340335 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/341253/stat : 341253 (timeout) S 340335 341253 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62453493 8867840 258 134679101440 94538992250880 94538992285896 140726621020608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94538994383312 94538994385444 94539005800448 140726621025268 140726621025437 140726621025437 140726621032423 0
/proc/341253/statm: 2165 258 233 9 0 87 0
[pid=341254] ppid=341253 vsize=114620 memory=104604 CPUtime=1787.89 cores=4,6
/proc/341254/stat : 341254 (Exact) R 341253 341253 340253 0 -1 4194304 17396 0 0 0 178784 5 0 0 20 0 1 0 62453493 117370880 26151 134679101440 4194304 7210733 140735009733232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12730368 140735009735696 140735009735846 140735009735846 140735009742832 0
/proc/341254/statm: 28655 26151 748 737 0 27743 0
Current children cumulated CPU time: 3580.08 s
Current children cumulated vsize: 133212 KiB
Current children cumulated memory: 108496 KiB

[startup+3593.6 s]
/proc/loadavg: 4.22 4.15 4.16 5/251 342200
/proc/meminfo: memFree=127872224/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2860 CPUtime=1792.19 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 277 219505 0 0 0 0 179160 59 20 0 1 0 62273689 10170368 715 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 715 621 264 0 134 0
[pid=341253] ppid=340335 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/341253/stat : 341253 (timeout) S 340335 341253 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62453493 8867840 258 134679101440 94538992250880 94538992285896 140726621020608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94538994383312 94538994385444 94539005800448 140726621025268 140726621025437 140726621025437 140726621032423 0
/proc/341253/statm: 2165 258 233 9 0 87 0
[pid=341254] ppid=341253 vsize=114620 memory=104604 CPUtime=1791.09 cores=4,6
/proc/341254/stat : 341254 (Exact) R 341253 341253 340253 0 -1 4194304 17396 0 0 0 179104 5 0 0 20 0 1 0 62453493 117370880 26151 134679101440 4194304 7210733 140735009733232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12730368 140735009735696 140735009735846 140735009735846 140735009742832 0
/proc/341254/statm: 28655 26151 748 737 0 27743 0
Current children cumulated CPU time: 3583.28 s
Current children cumulated vsize: 133212 KiB
Current children cumulated memory: 108496 KiB

[startup+3595.2 s]
/proc/loadavg: 4.20 4.15 4.16 5/251 342200
/proc/meminfo: memFree=127872224/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2860 CPUtime=1792.19 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 277 219505 0 0 0 0 179160 59 20 0 1 0 62273689 10170368 715 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 715 621 264 0 134 0
[pid=341253] ppid=340335 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/341253/stat : 341253 (timeout) S 340335 341253 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62453493 8867840 258 134679101440 94538992250880 94538992285896 140726621020608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94538994383312 94538994385444 94539005800448 140726621025268 140726621025437 140726621025437 140726621032423 0
/proc/341253/statm: 2165 258 233 9 0 87 0
[pid=341254] ppid=341253 vsize=114620 memory=104604 CPUtime=1792.68 cores=4,6
/proc/341254/stat : 341254 (Exact) R 341253 341253 340253 0 -1 4194304 17396 0 0 0 179263 5 0 0 20 0 1 0 62453493 117370880 26151 134679101440 4194304 7210733 140735009733232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12730368 140735009735696 140735009735846 140735009735846 140735009742832 0
/proc/341254/statm: 28655 26151 748 737 0 27743 0
Current children cumulated CPU time: 3584.87 s
Current children cumulated vsize: 133212 KiB
Current children cumulated memory: 108496 KiB

[startup+3595.6 s]
/proc/loadavg: 4.20 4.15 4.16 5/251 342200
/proc/meminfo: memFree=127872224/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2860 CPUtime=1792.19 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 277 219505 0 0 0 0 179160 59 20 0 1 0 62273689 10170368 715 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 715 621 264 0 134 0
[pid=341253] ppid=340335 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/341253/stat : 341253 (timeout) S 340335 341253 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62453493 8867840 258 134679101440 94538992250880 94538992285896 140726621020608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94538994383312 94538994385444 94539005800448 140726621025268 140726621025437 140726621025437 140726621032423 0
/proc/341253/statm: 2165 258 233 9 0 87 0
[pid=341254] ppid=341253 vsize=114620 memory=104604 CPUtime=1793.08 cores=4,6
/proc/341254/stat : 341254 (Exact) R 341253 341253 340253 0 -1 4194304 17396 0 0 0 179303 5 0 0 20 0 1 0 62453493 117370880 26151 134679101440 4194304 7210733 140735009733232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12730368 140735009735696 140735009735846 140735009735846 140735009742832 0
/proc/341254/statm: 28655 26151 748 737 0 27743 0
Current children cumulated CPU time: 3585.27 s
Current children cumulated vsize: 133212 KiB
Current children cumulated memory: 108496 KiB

[startup+3596 s]*
/proc/loadavg: 4.20 4.15 4.16 5/244 342260
/proc/meminfo: memFree=128244176/131655788 swapFree=131071996/131071996
[pid=340335] ppid=340332 vsize=9932 memory=2860 CPUtime=1792.19 cores=4,6
/proc/340335/stat : 340335 (Hybrid-CASHWMax) S 340332 340335 340253 0 -1 4194304 277 219505 0 0 0 0 179160 59 20 0 1 0 62273689 10170368 715 134679101440 94011977039872 94011978119192 140732088429504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94011980217648 94011980264836 94011990786048 140732088435664 140732088435822 140732088435822 140732088442837 0
/proc/340335/statm: 2483 715 621 264 0 134 0
[pid=341253] ppid=340335 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/341253/stat : 341253 (timeout) S 340335 341253 340253 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62453493 8867840 258 134679101440 94538992250880 94538992285896 140726621020608 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94538994383312 94538994385444 94539005800448 140726621025268 140726621025437 140726621025437 140726621032423 0
/proc/341253/statm: 2165 258 233 9 0 87 0
[pid=341254] ppid=341253 vsize=114620 memory=104604 CPUtime=1793.49 cores=4,6
/proc/341254/stat : 341254 (Exact) R 341253 341253 340253 0 -1 4194304 17396 0 0 0 179344 5 0 0 20 0 1 0 62453493 117370880 26151 134679101440 4194304 7210733 140735009733232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12730368 140735009735696 140735009735846 140735009735846 140735009742832 0
/proc/341254/statm: 28655 26151 748 737 0 27743 0
Current children cumulated CPU time: 3585.68 s
Current children cumulated vsize: 133212 KiB
Current children cumulated memory: 108496 KiB

Child status: 0

Real time (s): 3596.08
CPU time (s): 3585.78
CPU user time (s): 3585.11
CPU system time (s): 0.668374
CPU usage (%): 99.7136
Max. virtual memory (cumulated for all children) (KiB): 1186116
Max. memory (cumulated for all children) (KiB): 976896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.11
system time used= 0.668374
maximum resident set size= 973396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240213
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88
involuntary context switches= 2100


# summary of solver processes directly reported to runsolver:
#   pid: 340335
#   total CPU time (s): 3585.78
#   total CPU user time (s): 3585.11
#   total CPU system time (s): 0.668374

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.172 second user time and 38.1345 second system time

The end

Begin job on nodeC004 at 2024-08-06 17:43:46
IDJOB=4438341
IDBENCH=146695
IDSOLVER=3073
FILE ID=nodeC004/4438341-1722959026
RUNJOBID= nodeC004-1722959025-340264
SLURM_JOB_ID= 8259024
Free space on /tmp= 723728 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11
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= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438341-1722959026/watcher-4438341-1722959026 -o /tmp/evaluation-result-4438341-1722959026/solver-4438341-1722959026 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722959025-340264 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438341-1722959026.opb 3600 HOME 31000

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

MD5SUM BENCH= dbca78014701662c42e2f44b8d3d4cf2
RANDOM SEED=1609469431

nodeC004.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		: 1197.232
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	: 6983.85
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.238
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.39
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.546
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	: 6983.85
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.251
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.39
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.232
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	: 6983.85
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.234
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.39
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.484
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	: 6983.85
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.254
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128387792 kB
MemAvailable:   129939400 kB
Buffers:          340648 kB
Cached:          2054172 kB
SwapCached:            0 kB
Active:           619848 kB
Inactive:        2168360 kB
Active(anon):       1376 kB
Inactive(anon):   429724 kB
Active(file):     618472 kB
Inactive(file):  1738636 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             75036 kB
Writeback:             0 kB
AnonPages:        393036 kB
Mapped:           108412 kB
Shmem:             37704 kB
KReclaimable:      69400 kB
Slab:             155260 kB
SReclaimable:      69400 kB
SUnreclaim:        85860 kB
KernelStack:        3808 kB
PageTables:         9668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     753044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            24448 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 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:      252744 kB
DirectMap2M:    20623360 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 723708 MiB
End job on nodeC004 at 2024-08-06 18:43:42

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 4438341

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