PB'24 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Hybrid-LSMabSP+Exact 2024-07-11	SAT	45008	1825.12	1827.91

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 (61646 MiB free)
  memory of node 1: 64510 MiB (57611 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437198-1722972357/watcher-4437198-1722972357 -o /tmp/evaluation-result-4437198-1722972357/solver-4437198-1722972357 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722970388-350701 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437198-1722972357.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
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=352333, runsolver pid=352330

[startup+0.101013 s]*
/proc/loadavg: 4.16 4.11 4.01 5/266 352337
/proc/meminfo: memFree=122113500/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 63837445 10170368 708 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 708 633 264 0 134 0
[pid=352336] ppid=352333 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/352336/stat : 352336 (timeout) S 352333 352336 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63837445 8867840 229 134679101440 93953001050112 93953001085128 140721428435920 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93953003182544 93953003184676 93953027616768 140721428444201 140721428444317 140721428444317 140721428451303 0
/proc/352336/statm: 2165 229 205 9 0 87 0
[pid=352337] ppid=352336 vsize=23116 memory=16720 CPUtime=0.09 cores=1,3
/proc/352337/stat : 352337 (LS-MabSP) R 352336 352336 350689 0 -1 4194304 1157 0 0 0 8 1 0 0 20 0 1 0 63837446 23670784 4180 134679101440 4194304 15467897 140722193201856 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26787840 140722193208380 140722193208483 140722193208483 140722193215469 0
/proc/352337/statm: 5779 4180 2833 2753 0 2432 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41708 KiB
Current children cumulated memory: 20468 KiB

[startup+0.205881 s]*
/proc/loadavg: 4.16 4.11 4.01 5/266 352337
/proc/meminfo: memFree=122113116/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 63837445 10170368 708 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 708 633 264 0 134 0
[pid=352336] ppid=352333 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/352336/stat : 352336 (timeout) S 352333 352336 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63837445 8867840 229 134679101440 93953001050112 93953001085128 140721428435920 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93953003182544 93953003184676 93953027616768 140721428444201 140721428444317 140721428444317 140721428451303 0
/proc/352336/statm: 2165 229 205 9 0 87 0
[pid=352337] ppid=352336 vsize=23116 memory=16720 CPUtime=0.19 cores=1,3
/proc/352337/stat : 352337 (LS-MabSP) R 352336 352336 350689 0 -1 4194304 1157 0 0 0 16 3 0 0 20 0 1 0 63837446 23670784 4180 134679101440 4194304 15467897 140722193201856 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26787840 140722193208380 140722193208483 140722193208483 140722193215469 0
/proc/352337/statm: 5779 4180 2833 2753 0 2432 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41708 KiB
Current children cumulated memory: 20468 KiB

[startup+0.305424 s]*
/proc/loadavg: 4.16 4.11 4.01 5/266 352337
/proc/meminfo: memFree=122113136/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 63837445 10170368 708 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 708 633 264 0 134 0
[pid=352336] ppid=352333 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/352336/stat : 352336 (timeout) S 352333 352336 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63837445 8867840 229 134679101440 93953001050112 93953001085128 140721428435920 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93953003182544 93953003184676 93953027616768 140721428444201 140721428444317 140721428444317 140721428451303 0
/proc/352336/statm: 2165 229 205 9 0 87 0
[pid=352337] ppid=352336 vsize=23116 memory=16720 CPUtime=0.29 cores=1,3
/proc/352337/stat : 352337 (LS-MabSP) R 352336 352336 350689 0 -1 4194304 1157 0 0 0 24 5 0 0 20 0 1 0 63837446 23670784 4180 134679101440 4194304 15467897 140722193201856 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26787840 140722193208380 140722193208483 140722193208483 140722193215469 0
/proc/352337/statm: 5779 4180 2833 2753 0 2432 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41708 KiB
Current children cumulated memory: 20468 KiB

[startup+0.700204 s]
/proc/loadavg: 4.16 4.11 4.01 5/266 352337
/proc/meminfo: memFree=122113136/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 63837445 10170368 708 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 708 633 264 0 134 0
[pid=352336] ppid=352333 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/352336/stat : 352336 (timeout) S 352333 352336 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63837445 8867840 229 134679101440 93953001050112 93953001085128 140721428435920 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93953003182544 93953003184676 93953027616768 140721428444201 140721428444317 140721428444317 140721428451303 0
/proc/352336/statm: 2165 229 205 9 0 87 0
[pid=352337] ppid=352336 vsize=23116 memory=16720 CPUtime=0.68 cores=1,3
/proc/352337/stat : 352337 (LS-MabSP) R 352336 352336 350689 0 -1 4194304 1157 0 0 0 55 13 0 0 20 0 1 0 63837446 23670784 4180 134679101440 4194304 15467897 140722193201856 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26787840 140722193208380 140722193208483 140722193208483 140722193215469 0
/proc/352337/statm: 5779 4180 2833 2753 0 2432 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41708 KiB
Current children cumulated memory: 20468 KiB

[startup+1.5002 s]
/proc/loadavg: 4.16 4.11 4.01 5/266 352337
/proc/meminfo: memFree=122113136/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 63837445 10170368 708 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 708 633 264 0 134 0
[pid=352336] ppid=352333 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/352336/stat : 352336 (timeout) S 352333 352336 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63837445 8867840 229 134679101440 93953001050112 93953001085128 140721428435920 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93953003182544 93953003184676 93953027616768 140721428444201 140721428444317 140721428444317 140721428451303 0
/proc/352336/statm: 2165 229 205 9 0 87 0
[pid=352337] ppid=352336 vsize=23116 memory=16720 CPUtime=1.48 cores=1,3
/proc/352337/stat : 352337 (LS-MabSP) R 352336 352336 350689 0 -1 4194304 1157 0 0 0 118 30 0 0 20 0 1 0 63837446 23670784 4180 134679101440 4194304 15467897 140722193201856 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26787840 140722193208380 140722193208483 140722193208483 140722193215469 0
/proc/352337/statm: 5779 4180 2833 2753 0 2432 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41708 KiB
Current children cumulated memory: 20468 KiB

[startup+3.10568 s]
/proc/loadavg: 4.16 4.11 4.01 5/266 352337
/proc/meminfo: memFree=122112868/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 63837445 10170368 708 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 708 633 264 0 134 0
[pid=352336] ppid=352333 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/352336/stat : 352336 (timeout) S 352333 352336 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63837445 8867840 229 134679101440 93953001050112 93953001085128 140721428435920 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93953003182544 93953003184676 93953027616768 140721428444201 140721428444317 140721428444317 140721428451303 0
/proc/352336/statm: 2165 229 205 9 0 87 0
[pid=352337] ppid=352336 vsize=23116 memory=16720 CPUtime=3.09 cores=1,3
/proc/352337/stat : 352337 (LS-MabSP) R 352336 352336 350689 0 -1 4194304 1157 0 0 0 245 64 0 0 20 0 1 0 63837446 23670784 4180 134679101440 4194304 15467897 140722193201856 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26787840 140722193208380 140722193208483 140722193208483 140722193215469 0
/proc/352337/statm: 5779 4180 2833 2753 0 2432 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41708 KiB
Current children cumulated memory: 20468 KiB

[startup+6.3002 s]
/proc/loadavg: 4.15 4.11 4.01 5/266 352337
/proc/meminfo: memFree=122112948/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 63837445 10170368 708 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 708 633 264 0 134 0
[pid=352336] ppid=352333 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/352336/stat : 352336 (timeout) S 352333 352336 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63837445 8867840 229 134679101440 93953001050112 93953001085128 140721428435920 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93953003182544 93953003184676 93953027616768 140721428444201 140721428444317 140721428444317 140721428451303 0
/proc/352336/statm: 2165 229 205 9 0 87 0
[pid=352337] ppid=352336 vsize=23116 memory=16720 CPUtime=6.28 cores=1,3
/proc/352337/stat : 352337 (LS-MabSP) R 352336 352336 350689 0 -1 4194304 1157 0 0 0 499 129 0 0 20 0 1 0 63837446 23670784 4180 134679101440 4194304 15467897 140722193201856 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26787840 140722193208380 140722193208483 140722193208483 140722193215469 0
/proc/352337/statm: 5779 4180 2833 2753 0 2432 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41708 KiB
Current children cumulated memory: 20468 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.01 5/266 352339
/proc/meminfo: memFree=122112692/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 63837445 10170368 708 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 708 633 264 0 134 0
[pid=352336] ppid=352333 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/352336/stat : 352336 (timeout) S 352333 352336 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63837445 8867840 229 134679101440 93953001050112 93953001085128 140721428435920 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93953003182544 93953003184676 93953027616768 140721428444201 140721428444317 140721428444317 140721428451303 0
/proc/352336/statm: 2165 229 205 9 0 87 0
[pid=352337] ppid=352336 vsize=23116 memory=16720 CPUtime=12.66 cores=1,3
/proc/352337/stat : 352337 (LS-MabSP) R 352336 352336 350689 0 -1 4194304 1157 0 0 0 1004 262 0 0 20 0 1 0 63837446 23670784 4180 134679101440 4194304 15467897 140722193201856 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26787840 140722193208380 140722193208483 140722193208483 140722193215469 0
/proc/352337/statm: 5779 4180 2833 2753 0 2432 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41708 KiB
Current children cumulated memory: 20468 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.01 5/266 352340
/proc/meminfo: memFree=122112232/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 63837445 10170368 708 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 708 633 264 0 134 0
[pid=352336] ppid=352333 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/352336/stat : 352336 (timeout) S 352333 352336 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63837445 8867840 229 134679101440 93953001050112 93953001085128 140721428435920 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93953003182544 93953003184676 93953027616768 140721428444201 140721428444317 140721428444317 140721428451303 0
/proc/352336/statm: 2165 229 205 9 0 87 0
[pid=352337] ppid=352336 vsize=23116 memory=16720 CPUtime=25.45 cores=1,3
/proc/352337/stat : 352337 (LS-MabSP) R 352336 352336 350689 0 -1 4194304 1157 0 0 0 2010 535 0 0 20 0 1 0 63837446 23670784 4180 134679101440 4194304 15467897 140722193201856 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26787840 140722193208380 140722193208483 140722193208483 140722193215469 0
/proc/352337/statm: 5779 4180 2833 2753 0 2432 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 41708 KiB
Current children cumulated memory: 20468 KiB

[startup+51.1059 s]
/proc/loadavg: 4.07 4.09 4.01 5/265 352345
/proc/meminfo: memFree=122111848/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 63837445 10170368 708 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 708 633 264 0 134 0
[pid=352336] ppid=352333 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/352336/stat : 352336 (timeout) S 352333 352336 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63837445 8867840 229 134679101440 93953001050112 93953001085128 140721428435920 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93953003182544 93953003184676 93953027616768 140721428444201 140721428444317 140721428444317 140721428451303 0
/proc/352336/statm: 2165 229 205 9 0 87 0
[pid=352337] ppid=352336 vsize=23116 memory=16720 CPUtime=51.02 cores=1,3
/proc/352337/stat : 352337 (LS-MabSP) R 352336 352336 350689 0 -1 4194304 1157 0 0 0 4006 1096 0 0 20 0 1 0 63837446 23670784 4180 134679101440 4194304 15467897 140722193201856 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26787840 140722193208380 140722193208483 140722193208483 140722193215469 0
/proc/352337/statm: 5779 4180 2833 2753 0 2432 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 41708 KiB
Current children cumulated memory: 20468 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.01 5/265 352355
/proc/meminfo: memFree=122111208/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 63837445 10170368 708 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0

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

/proc/352333/statm: 2483 708 633 264 0 134 0
[pid=352336] ppid=352333 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/352336/stat : 352336 (timeout) S 352333 352336 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63837445 8867840 229 134679101440 93953001050112 93953001085128 140721428435920 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93953003182544 93953003184676 93953027616768 140721428444201 140721428444317 140721428444317 140721428451303 0
/proc/352336/statm: 2165 229 205 9 0 87 0
[pid=352337] ppid=352336 vsize=23116 memory=16940 CPUtime=1779.76 cores=1,3
/proc/352337/stat : 352337 (LS-MabSP) R 352336 352336 350689 0 -1 4194304 1172 0 0 0 140226 37750 0 0 20 0 1 0 63837446 23670784 4235 134679101440 4194304 15467897 140722193201856 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26787840 140722193208380 140722193208483 140722193208483 140722193215469 0
/proc/352337/statm: 5779 4235 2833 2753 0 2432 0
Current children cumulated CPU time: 1779.76 s
Current children cumulated vsize: 41708 KiB
Current children cumulated memory: 20688 KiB

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

# cumulated CPU time of all completed processes:  user=1444.27 s, system=380.849 s

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

[startup+1792 s]*
/proc/loadavg: 4.14 4.14 4.09 5/264 353342
/proc/meminfo: memFree=121299876/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 63837445 10170368 708 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 708 633 264 0 134 0
[pid=352336] ppid=352333 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/352336/stat : 352336 (timeout) S 352333 352336 350689 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63837445 8867840 229 134679101440 93953001050112 93953001085128 140721428435920 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93953003182544 93953003184676 93953027616768 140721428444201 140721428444317 140721428444317 140721428451303 0
/proc/352336/statm: 2165 229 205 9 0 87 0
[pid=352337] ppid=352336 vsize=23116 memory=16940 CPUtime=1789.45 cores=1,3
/proc/352337/stat : 352337 (LS-MabSP) R 352336 352336 350689 0 -1 4194304 1173 0 0 0 140991 37954 0 0 20 0 1 0 63837446 23670784 4235 134679101440 4194304 15467897 140722193201856 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26787840 140722193208380 140722193208483 140722193208483 140722193215469 0
/proc/352337/statm: 5779 4235 2833 2753 0 2432 0
Current children cumulated CPU time: 1789.45 s
Current children cumulated vsize: 41708 KiB
Current children cumulated memory: 20688 KiB

[startup+1804.8 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 353345
/proc/meminfo: memFree=121105440/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2888 CPUtime=1795.44 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 270 1395 0 0 0 0 141463 38081 20 0 1 0 63837445 10170368 722 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 722 633 264 0 134 0
[pid=353344] ppid=352333 vsize=8660 memory=1052 CPUtime=0 cores=1,3
/proc/353344/stat : 353344 (timeout) S 352333 353344 350689 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 64017246 8867840 263 134679101440 94121606348800 94121606383816 140724732522864 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94121608481232 94121608483364 94121613496320 140724732531700 140724732531869 140724732531869 140724732538855 0
/proc/353344/statm: 2165 263 238 9 0 87 0
[pid=353345] ppid=353344 vsize=61692 memory=45396 CPUtime=6.72 cores=1,3
/proc/353345/stat : 353345 (Exact) R 353344 353344 350689 0 -1 4194304 6398 0 0 0 670 2 0 0 20 0 1 0 64017246 63172608 11349 134679101440 4194304 7210733 140728722304176 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7850304 7914896 37089280 140728722310160 140728722310310 140728722310310 140728722317296 0
/proc/353345/statm: 15423 11349 748 737 0 14511 0
Current children cumulated CPU time: 1802.16 s
Current children cumulated vsize: 80284 KiB
Current children cumulated memory: 49336 KiB

[startup+1817.6 s]
/proc/loadavg: 4.09 4.13 4.09 5/264 353347
/proc/meminfo: memFree=120964412/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2888 CPUtime=1795.44 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 270 1395 0 0 0 0 141463 38081 20 0 1 0 63837445 10170368 722 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 722 633 264 0 134 0
[pid=353344] ppid=352333 vsize=8660 memory=1052 CPUtime=0 cores=1,3
/proc/353344/stat : 353344 (timeout) S 352333 353344 350689 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 64017246 8867840 263 134679101440 94121606348800 94121606383816 140724732522864 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94121608481232 94121608483364 94121613496320 140724732531700 140724732531869 140724732531869 140724732538855 0
/proc/353344/statm: 2165 263 238 9 0 87 0
[pid=353345] ppid=353344 vsize=66012 memory=53352 CPUtime=19.38 cores=1,3
/proc/353345/stat : 353345 (Exact) R 353344 353344 350689 0 -1 4194304 7348 0 0 0 1936 2 0 0 20 0 1 0 64017246 67596288 13338 134679101440 4194304 7210733 140728722304176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 37089280 140728722310160 140728722310310 140728722310310 140728722317296 0
/proc/353345/statm: 16503 13338 748 737 0 15591 0
Current children cumulated CPU time: 1814.82 s
Current children cumulated vsize: 84604 KiB
Current children cumulated memory: 57292 KiB

[startup+1824 s]*
/proc/loadavg: 4.16 4.14 4.09 5/264 353348
/proc/meminfo: memFree=120948012/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2888 CPUtime=1795.44 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 270 1395 0 0 0 0 141463 38081 20 0 1 0 63837445 10170368 722 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 722 633 264 0 134 0
[pid=353344] ppid=352333 vsize=8660 memory=1052 CPUtime=0 cores=1,3
/proc/353344/stat : 353344 (timeout) S 352333 353344 350689 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 64017246 8867840 263 134679101440 94121606348800 94121606383816 140724732522864 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94121608481232 94121608483364 94121613496320 140724732531700 140724732531869 140724732531869 140724732538855 0
/proc/353344/statm: 2165 263 238 9 0 87 0
[pid=353345] ppid=353344 vsize=67076 memory=54368 CPUtime=25.77 cores=1,3
/proc/353345/stat : 353345 (Exact) R 353344 353344 350689 0 -1 4194304 7625 0 0 0 2575 2 0 0 20 0 1 0 64017246 68685824 13592 134679101440 4194304 7210733 140728722304176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 37089280 140728722310160 140728722310310 140728722310310 140728722317296 0
/proc/353345/statm: 16769 13592 748 737 0 15857 0
Current children cumulated CPU time: 1821.21 s
Current children cumulated vsize: 85668 KiB
Current children cumulated memory: 58308 KiB

[startup+1825.6 s]
/proc/loadavg: 4.16 4.14 4.09 5/264 353348
/proc/meminfo: memFree=120928708/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2888 CPUtime=1795.44 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 270 1395 0 0 0 0 141463 38081 20 0 1 0 63837445 10170368 722 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 722 633 264 0 134 0
[pid=353344] ppid=352333 vsize=8660 memory=1052 CPUtime=0 cores=1,3
/proc/353344/stat : 353344 (timeout) S 352333 353344 350689 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 64017246 8867840 263 134679101440 94121606348800 94121606383816 140724732522864 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94121608481232 94121608483364 94121613496320 140724732531700 140724732531869 140724732531869 140724732538855 0
/proc/353344/statm: 2165 263 238 9 0 87 0
[pid=353345] ppid=353344 vsize=67076 memory=54368 CPUtime=27.36 cores=1,3
/proc/353345/stat : 353345 (Exact) R 353344 353344 350689 0 -1 4194304 7625 0 0 0 2734 2 0 0 20 0 1 0 64017246 68685824 13592 134679101440 4194304 7210733 140728722304176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 37089280 140728722310160 140728722310310 140728722310310 140728722317296 0
/proc/353345/statm: 16769 13592 748 737 0 15857 0
Current children cumulated CPU time: 1822.8 s
Current children cumulated vsize: 85668 KiB
Current children cumulated memory: 58308 KiB

[startup+1827.2 s]
/proc/loadavg: 4.16 4.14 4.09 5/264 353348
/proc/meminfo: memFree=120907956/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2888 CPUtime=1795.44 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 270 1395 0 0 0 0 141463 38081 20 0 1 0 63837445 10170368 722 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 722 633 264 0 134 0
[pid=353344] ppid=352333 vsize=8660 memory=1052 CPUtime=0 cores=1,3
/proc/353344/stat : 353344 (timeout) S 352333 353344 350689 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 64017246 8867840 263 134679101440 94121606348800 94121606383816 140724732522864 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94121608481232 94121608483364 94121613496320 140724732531700 140724732531869 140724732531869 140724732538855 0
/proc/353344/statm: 2165 263 238 9 0 87 0
[pid=353345] ppid=353344 vsize=67076 memory=54368 CPUtime=28.96 cores=1,3
/proc/353345/stat : 353345 (Exact) R 353344 353344 350689 0 -1 4194304 7632 0 0 0 2894 2 0 0 20 0 1 0 64017246 68685824 13592 134679101440 4194304 7210733 140728722304176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 37089280 140728722310160 140728722310310 140728722310310 140728722317296 0
/proc/353345/statm: 16769 13592 748 737 0 15857 0
Current children cumulated CPU time: 1824.4 s
Current children cumulated vsize: 85668 KiB
Current children cumulated memory: 58308 KiB

[startup+1827.6 s]
/proc/loadavg: 4.16 4.14 4.09 5/264 353348
/proc/meminfo: memFree=120907956/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2888 CPUtime=1795.44 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 270 1395 0 0 0 0 141463 38081 20 0 1 0 63837445 10170368 722 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 722 633 264 0 134 0
[pid=353344] ppid=352333 vsize=8660 memory=1052 CPUtime=0 cores=1,3
/proc/353344/stat : 353344 (timeout) S 352333 353344 350689 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 64017246 8867840 263 134679101440 94121606348800 94121606383816 140724732522864 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94121608481232 94121608483364 94121613496320 140724732531700 140724732531869 140724732531869 140724732538855 0
/proc/353344/statm: 2165 263 238 9 0 87 0
[pid=353345] ppid=353344 vsize=67076 memory=54368 CPUtime=29.36 cores=1,3
/proc/353345/stat : 353345 (Exact) R 353344 353344 350689 0 -1 4194304 7632 0 0 0 2934 2 0 0 20 0 1 0 64017246 68685824 13592 134679101440 4194304 7210733 140728722304176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 37089280 140728722310160 140728722310310 140728722310310 140728722317296 0
/proc/353345/statm: 16769 13592 748 737 0 15857 0
Current children cumulated CPU time: 1824.8 s
Current children cumulated vsize: 85668 KiB
Current children cumulated memory: 58308 KiB

[startup+1827.8 s]
/proc/loadavg: 4.16 4.14 4.09 5/264 353348
/proc/meminfo: memFree=120907956/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2888 CPUtime=1795.44 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 270 1395 0 0 0 0 141463 38081 20 0 1 0 63837445 10170368 722 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 722 633 264 0 134 0
[pid=353344] ppid=352333 vsize=8660 memory=1052 CPUtime=0 cores=1,3
/proc/353344/stat : 353344 (timeout) S 352333 353344 350689 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 64017246 8867840 263 134679101440 94121606348800 94121606383816 140724732522864 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94121608481232 94121608483364 94121613496320 140724732531700 140724732531869 140724732531869 140724732538855 0
/proc/353344/statm: 2165 263 238 9 0 87 0
[pid=353345] ppid=353344 vsize=67076 memory=54368 CPUtime=29.55 cores=1,3
/proc/353345/stat : 353345 (Exact) R 353344 353344 350689 0 -1 4194304 7633 0 0 0 2953 2 0 0 20 0 1 0 64017246 68685824 13592 134679101440 4194304 7210733 140728722304176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 37089280 140728722310160 140728722310310 140728722310310 140728722317296 0
/proc/353345/statm: 16769 13592 748 737 0 15857 0
Current children cumulated CPU time: 1824.99 s
Current children cumulated vsize: 85668 KiB
Current children cumulated memory: 58308 KiB

[startup+1827.9 s]
/proc/loadavg: 4.16 4.14 4.09 5/264 353348
/proc/meminfo: memFree=120907956/131524600 swapFree=131071996/131071996
[pid=352333] ppid=352330 vsize=9932 memory=2896 CPUtime=1825.1 cores=1,3
/proc/352333/stat : 352333 (Hybrid-LSMabSP+) S 352330 352333 350689 0 -1 4194304 397 9948 0 0 0 0 144426 38084 20 0 1 0 63837445 10170368 724 134679101440 93860715458560 93860716537880 140734389074208 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93860718636336 93860718683524 93860722851840 140734389081064 140734389081210 140734389081210 140734389088225 0
/proc/352333/statm: 2483 724 633 264 0 134 0
Current children cumulated CPU time: 1825.1 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2896 KiB

Child status: 0

Real time (s): 1827.91
CPU time (s): 1825.12
CPU user time (s): 1444.27
CPU system time (s): 380.849
CPU usage (%): 99.8474
Max. virtual memory (cumulated for all children) (KiB): 85668
Max. memory (cumulated for all children) (KiB): 58308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1444.27
system time used= 380.849
maximum resident set size= 56740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10546
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37
involuntary context switches= 725


# summary of solver processes directly reported to runsolver:
#   pid: 352333
#   total CPU time (s): 1825.12
#   total CPU user time (s): 1444.27
#   total CPU system time (s): 380.849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.80176 second user time and 8.53601 second system time

The end

Begin job on nodeC031 at 2024-08-06 21:25:57
IDJOB=4437198
IDBENCH=148726
IDSOLVER=3070
FILE ID=nodeC031/4437198-1722972357
RUNJOBID= nodeC031-1722970388-350701
SLURM_JOB_ID= 8259052
Free space on /tmp= 890008 MiB

SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__8.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437198-1722972357/watcher-4437198-1722972357 -o /tmp/evaluation-result-4437198-1722972357/solver-4437198-1722972357 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722970388-350701 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437198-1722972357.opb 3600 HOME 31000

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

MD5SUM BENCH= 991eb42852d791fff4af0455ecb98907
RANDOM SEED=1946690169

nodeC031.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		: 3678.095
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.95
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		: 3672.373
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	: 7007.12
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.343
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.95
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		: 3666.961
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	: 7007.12
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		: 3678.120
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.95
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		: 3682.188
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	: 7007.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.185
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.95
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		: 3621.627
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	: 7007.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122120352 kB
MemAvailable:   126813604 kB
Buffers:          342524 kB
Cached:          5187768 kB
SwapCached:            0 kB
Active:           676176 kB
Inactive:        8180824 kB
Active(anon):       1608 kB
Inactive(anon):  3362812 kB
Active(file):     674568 kB
Inactive(file):  4818012 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             20820 kB
Writeback:             0 kB
AnonPages:       3326580 kB
Mapped:           126580 kB
Shmem:             37720 kB
KReclaimable:      80640 kB
Slab:             174344 kB
SReclaimable:      80640 kB
SUnreclaim:        93704 kB
KernelStack:        4208 kB
PageTables:        16172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4299764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            29856 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1024000 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:      322260 kB
DirectMap2M:    19374080 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 889984 MiB
End job on nodeC031 at 2024-08-06 21:56:26

Name	PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__8.opb
MD5SUM	991eb42852d791fff4af0455ecb98907
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	45008
Best CPU time to get the best result obtained on this benchmark	0.009775
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	848
Total number of constraints	150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	102
Number of constraints which are nor clauses,nor cardinality constraints	48
Minimum length of a constraint	8
Maximum length of a constraint	73
Number of terms in the objective function	800
Biggest coefficient in the objective function	126454
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	26852280
Number of bits of the sum of numbers in the objective function	25
Biggest number in a constraint	126454
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	26852280
Number of bits of the biggest sum of numbers	25
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 4437198

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