PB'24 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
NaPS 1.03	OPT	0	267.774	268.587

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458225-1721880142/watcher-4458225-1721880142 -o /tmp/evaluation-result-4458225-1721880142/solver-4458225-1721880142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721876531-221820 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4458225-1721880142.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=223843, runsolver pid=223840

[startup+0.100068 s]*
/proc/loadavg: 4.14 4.49 4.34 6/241 223863
/proc/meminfo: memFree=126344184/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=13988 memory=12736 CPUtime=0.1 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 2948 0 0 0 10 0 0 0 20 0 1 0 24003026 14323712 3184 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 3497 3184 644 659 0 2701 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23920 KiB
Current children cumulated memory: 15540 KiB

[startup+0.212761 s]*
/proc/loadavg: 4.14 4.49 4.34 5/241 223870
/proc/meminfo: memFree=126339720/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=15472 memory=13996 CPUtime=0.21 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 3318 0 0 0 21 0 0 0 20 0 1 0 24003026 15843328 3499 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 3868 3499 644 659 0 3072 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 25404 KiB
Current children cumulated memory: 16800 KiB

[startup+0.312717 s]*
/proc/loadavg: 4.14 4.49 4.34 5/248 223884
/proc/meminfo: memFree=126335396/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=16792 memory=15064 CPUtime=0.31 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 4699 0 0 0 31 0 0 0 20 0 1 0 24003026 17195008 3766 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 4198 3766 660 659 0 3402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 26724 KiB
Current children cumulated memory: 17868 KiB

[startup+0.700344 s]
/proc/loadavg: 4.14 4.49 4.34 5/248 223884
/proc/meminfo: memFree=126329092/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=15596 memory=14268 CPUtime=0.68 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 5976 0 0 0 68 0 0 0 20 0 1 0 24003026 15970304 3567 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 3899 3567 660 659 0 3103 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 25528 KiB
Current children cumulated memory: 17072 KiB

[startup+1.50034 s]
/proc/loadavg: 4.14 4.49 4.34 5/248 223884
/proc/meminfo: memFree=126329792/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=15596 memory=14268 CPUtime=1.48 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 5993 0 0 0 148 0 0 0 20 0 1 0 24003026 15970304 3567 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 3899 3567 660 659 0 3103 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 25528 KiB
Current children cumulated memory: 17072 KiB

[startup+3.11272 s]
/proc/loadavg: 4.13 4.48 4.34 5/248 223934
/proc/meminfo: memFree=126437212/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=16800 memory=15688 CPUtime=3.09 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 6573 0 0 0 309 0 0 0 20 0 1 0 24003026 17203200 3922 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 4200 3922 660 659 0 3404 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 26732 KiB
Current children cumulated memory: 18492 KiB

[startup+6.30032 s]
/proc/loadavg: 4.13 4.48 4.34 5/248 223934
/proc/meminfo: memFree=126431864/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=16356 memory=15192 CPUtime=6.26 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 7422 0 0 0 626 0 0 0 20 0 1 0 24003026 16748544 3798 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 4089 3798 660 659 0 3293 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 26288 KiB
Current children cumulated memory: 17996 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.47 4.34 5/248 223936
/proc/meminfo: memFree=126423540/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=17692 memory=16684 CPUtime=12.65 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 10659 0 0 0 1264 1 0 0 20 0 1 0 24003026 18116608 4171 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 4423 4171 660 659 0 3627 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 19488 KiB

[startup+25.5004 s]
/proc/loadavg: 4.16 4.47 4.34 5/248 223937
/proc/meminfo: memFree=126407312/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=17520 memory=16312 CPUtime=25.41 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 13274 0 0 0 2540 1 0 0 20 0 1 0 24003026 17940480 4078 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 4380 4078 660 659 0 3584 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 27452 KiB
Current children cumulated memory: 19116 KiB

[startup+51.1127 s]
/proc/loadavg: 4.10 4.43 4.33 5/247 223943
/proc/meminfo: memFree=126369688/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=22568 memory=21616 CPUtime=50.96 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 18499 0 0 0 5093 3 0 0 20 0 1 0 24003026 23109632 5404 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 5642 5404 660 659 0 4846 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 24420 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.39 4.32 5/247 223951
/proc/meminfo: memFree=126339124/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=28748 memory=27752 CPUtime=102 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 23002 0 0 0 10196 4 0 0 20 0 1 0 24003026 29437952 6938 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 7187 6938 660 659 0 6391 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 38680 KiB
Current children cumulated memory: 30556 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.35 4.31 5/247 223962
/proc/meminfo: memFree=126316584/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=31956 memory=31052 CPUtime=161.8 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 25426 0 0 0 16176 4 0 0 20 0 1 0 24003026 32722944 7763 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 7989 7763 660 659 0 7193 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 41888 KiB
Current children cumulated memory: 33856 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.30 4.29 5/246 223972
/proc/meminfo: memFree=126264504/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=33812 memory=32784 CPUtime=221.62 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 27697 0 0 0 22157 5 0 0 20 0 1 0 24003026 34623488 8196 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 8453 8196 660 659 0 7657 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 43744 KiB
Current children cumulated memory: 35588 KiB

[startup+268.587 s]
# the end of solver process 223843 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=267.716 s, system=0.058356 s

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

[startup+230.4 s]
/proc/loadavg: 4.17 4.31 4.29 5/246 223974
/proc/meminfo: memFree=126295540/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=33812 memory=32784 CPUtime=229.69 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 27697 0 0 0 22964 5 0 0 20 0 1 0 24003026 34623488 8196 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 8453 8196 660 659 0 7657 0
Current children cumulated CPU time: 229.69 s
Current children cumulated vsize: 43744 KiB
Current children cumulated memory: 35588 KiB

[startup+243.2 s]
/proc/loadavg: 4.14 4.29 4.29 5/246 223977
/proc/meminfo: memFree=126275628/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=34276 memory=33312 CPUtime=242.45 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 27813 0 0 0 24240 5 0 0 20 0 1 0 24003026 35098624 8328 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 8569 8328 660 659 0 7773 0
Current children cumulated CPU time: 242.45 s
Current children cumulated vsize: 44208 KiB
Current children cumulated memory: 36116 KiB

[startup+256 s]*
/proc/loadavg: 4.11 4.28 4.28 5/246 223979
/proc/meminfo: memFree=126286172/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=34432 memory=33576 CPUtime=255.22 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 27852 0 0 0 25517 5 0 0 20 0 1 0 24003026 35258368 8394 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 8608 8394 660 659 0 7812 0
Current children cumulated CPU time: 255.22 s
Current children cumulated vsize: 44364 KiB
Current children cumulated memory: 36380 KiB

[startup+262.4 s]
/proc/loadavg: 4.10 4.27 4.28 5/246 223980
/proc/meminfo: memFree=126274524/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=34432 memory=33576 CPUtime=261.59 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 27858 0 0 0 26154 5 0 0 20 0 1 0 24003026 35258368 8394 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 8608 8394 660 659 0 7812 0
Current children cumulated CPU time: 261.59 s
Current children cumulated vsize: 44364 KiB
Current children cumulated memory: 36380 KiB

[startup+265.6 s]
/proc/loadavg: 4.10 4.27 4.28 5/246 223980
/proc/meminfo: memFree=126290204/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=34432 memory=33576 CPUtime=264.78 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 27858 0 0 0 26473 5 0 0 20 0 1 0 24003026 35258368 8394 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 8608 8394 660 659 0 7812 0
Current children cumulated CPU time: 264.78 s
Current children cumulated vsize: 44364 KiB
Current children cumulated memory: 36380 KiB

[startup+267.2 s]
/proc/loadavg: 4.10 4.27 4.28 5/246 223982
/proc/meminfo: memFree=126279316/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=34432 memory=33576 CPUtime=266.38 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 27858 0 0 0 26633 5 0 0 20 0 1 0 24003026 35258368 8394 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 8608 8394 660 659 0 7812 0
Current children cumulated CPU time: 266.38 s
Current children cumulated vsize: 44364 KiB
Current children cumulated memory: 36380 KiB

[startup+268 s]*
/proc/loadavg: 4.09 4.26 4.28 5/246 223982
/proc/meminfo: memFree=126279124/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=34432 memory=33576 CPUtime=267.18 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 27858 0 0 0 26713 5 0 0 20 0 1 0 24003026 35258368 8394 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 8608 8394 660 659 0 7812 0
Current children cumulated CPU time: 267.18 s
Current children cumulated vsize: 44364 KiB
Current children cumulated memory: 36380 KiB

[startup+268.4 s]
/proc/loadavg: 4.09 4.26 4.28 5/246 223982
/proc/meminfo: memFree=126279124/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=34432 memory=33576 CPUtime=267.57 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 27858 0 0 0 26752 5 0 0 20 0 1 0 24003026 35258368 8394 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 8608 8394 660 659 0 7812 0
Current children cumulated CPU time: 267.57 s
Current children cumulated vsize: 44364 KiB
Current children cumulated memory: 36380 KiB

[startup+268.5 s]
/proc/loadavg: 4.09 4.26 4.28 5/246 223982
/proc/meminfo: memFree=126279124/131655788 swapFree=131070192/131071996
[pid=223843] ppid=223840 vsize=9932 memory=2804 CPUtime=0 cores=5,7
/proc/223843/stat : 223843 (naps-1.03.sh) S 223840 223843 221807 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 24003025 10170368 701 134679101440 94564961918976 94564962998296 140731854301248 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94564965096752 94564965143940 94564978208768 140731854304228 140731854304353 140731854304353 140731854311368 0
/proc/223843/statm: 2483 701 623 264 0 134 0
[pid=223848] ppid=223843 vsize=34432 memory=33576 CPUtime=267.67 cores=5,7
/proc/223848/stat : 223848 (naps-1.03) R 223843 223843 221807 0 -1 4194304 27858 0 0 0 26762 5 0 0 20 0 1 0 24003026 35258368 8394 134679101440 4194304 6891213 140736159525264 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31399936 140736159527925 140736159528037 140736159528037 140736159535051 0
/proc/223848/statm: 8608 8394 660 659 0 7812 0
Current children cumulated CPU time: 267.67 s
Current children cumulated vsize: 44364 KiB
Current children cumulated memory: 36380 KiB

Child status: 30

Real time (s): 268.587
CPU time (s): 267.774
CPU user time (s): 267.716
CPU system time (s): 0.058356
CPU usage (%): 99.6974
Max. virtual memory (cumulated for all children) (KiB): 44364
Max. memory (cumulated for all children) (KiB): 36380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 267.716
system time used= 0.058356
maximum resident set size= 36764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28337
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 201


# summary of solver processes directly reported to runsolver:
#   pid: 223843
#   total CPU time (s): 267.774
#   total CPU user time (s): 267.716
#   total CPU system time (s): 0.058356

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.31322 second user time and 2.71503 second system time

The end

Begin job on nodeC002 at 2024-07-25 06:02:22
IDJOB=4458225
IDBENCH=177184
IDSOLVER=3063
FILE ID=nodeC002/4458225-1721880142
RUNJOBID= nodeC002-1721876531-221820
SLURM_JOB_ID= 8089260
Free space on /tmp= 723764 MiB

SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.opb
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458225-1721880142/watcher-4458225-1721880142 -o /tmp/evaluation-result-4458225-1721880142/solver-4458225-1721880142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721876531-221820 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4458225-1721880142.opb

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

MD5SUM BENCH= 04cf70665d2adff71755d5c35c939249
RANDOM SEED=305710630

nodeC002.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		: 3607.375
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.43
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		: 3595.096
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.41
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.334
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.43
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.176
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.41
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.159
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.43
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		: 3349.579
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.41
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.405
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.43
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.165
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.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126352328 kB
MemAvailable:   129800284 kB
Buffers:          313844 kB
Cached:          3946924 kB
SwapCached:           72 kB
Active:          2319584 kB
Inactive:        2397516 kB
Active(anon):       1552 kB
Inactive(anon):   508664 kB
Active(file):    2318032 kB
Inactive(file):  1888852 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070192 kB
Dirty:             11368 kB
Writeback:             4 kB
AnonPages:        452064 kB
Mapped:           109608 kB
Shmem:             53844 kB
KReclaimable:     162544 kB
Slab:             273856 kB
SReclaimable:     162544 kB
SUnreclaim:       111312 kB
KernelStack:        3920 kB
PageTables:        10180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     859728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    419840 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:      316232 kB
DirectMap2M:    36288512 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC002 at 2024-07-25 06:06:51

Name	PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.opb
MD5SUM	04cf70665d2adff71755d5c35c939249
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	0
Best CPU time to get the best result obtained on this benchmark	0.049018
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	640
Total number of constraints	940
Number of constraints which are clauses	600
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	340
Minimum length of a constraint	2
Maximum length of a constraint	5
Number of terms in the objective function	40
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	2097150
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	2097150
Number of bits of the biggest sum of numbers	21
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 4458225

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data