0.00/0.00 c NaPS 1.02b5.
0.00/0.00 c Input file name: HOME/instance-4427049-1720905875.wbo
28.02/28.10 o 995
28.02/28.10 o 296
28.02/28.10 o 116
28.02/28.10 o 72
28.02/28.10 o 43
28.02/28.10 o 27
28.02/28.10 o 16
28.02/28.10 s OPTIMUM FOUND
28.02/28.10 c _____________________________________________________________________________
28.02/28.10 c
28.02/28.10 c std/band forms : 31,0
28.02/28.10 c 2cl/3cl ITE-codings : 1296,0
28.02/28.10 c BDD/srt/adr Max costs : 1568,238936,0
28.02/28.10 c BDDraw/bin/mul/srt/adr: 23,0,0,8,0
28.02/28.10 c BDD nodes : 2009
28.02/28.10 c Es1/CC detections : 0,0
28.02/28.10 c SAT/UNSAT calls : 7,2
28.02/28.10 c regenrated variables : 13499
28.02/28.10 c restarts : 2574
28.02/28.10 c conflicts : 1109491 (39730 /sec)
28.02/28.10 c decisions : 2198722 (78734 /sec)
28.02/28.10 c propagations : 342780634 (12274664 /sec)
28.02/28.10 c inspects : 0 (0 /sec)
28.02/28.10 c CPU time (solving tm) : 27.93 s (27.37 s)
28.02/28.10 c Time for Opt-base : 0.03664 s
28.02/28.10 c _____________________________________________________________________________
28.02/28.10 v -x1 -x2 -x3 -x4 -x5 x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63134 MiB free)
memory of node 1: 64473 MiB (43854 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4427049-1720905875/watcher-4427049-1720905875 -o /tmp/evaluation-result-4427049-1720905875/solver-4427049-1720905875 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1720905520-740085 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4427049-1720905875.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=740576, runsolver pid=740573
[startup+0.100092 s]*
/proc/loadavg: 4.27 3.29 2.10 5/259 740581
/proc/meminfo: memFree=109533916/131524600 swapFree=131071996/131071996
[pid=740576] ppid=740573 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/740576/stat : 740576 (naps-1.02b5.sh) S 740573 740576 737802 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142749916 10170368 682 134679101440 94339632410624 94339633489944 140734342761616 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94339635588400 94339635635588 94339664482304 140734342767536 140734342767663 140734342767663 140734342774726 0
/proc/740576/statm: 2483 682 603 264 0 134 0
[pid=740581] ppid=740576 vsize=21852 memory=20968 CPUtime=0.09 cores=4,6
/proc/740581/stat : 740581 (naps-1.02b5) R 740576 740576 737802 0 -1 4194304 3454 0 0 0 9 0 0 0 20 0 1 0 142749917 22376448 5242 134679101440 4194304 5746509 140729342316608 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17346560 140729342321599 140729342321713 140729342321713 140729342328777 0
/proc/740581/statm: 5463 5242 421 379 0 4997 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31784 KiB
Current children cumulated memory: 23696 KiB
[startup+0.205988 s]*
/proc/loadavg: 4.27 3.29 2.10 5/259 740581
/proc/meminfo: memFree=109484944/131524600 swapFree=131071996/131071996
[pid=740576] ppid=740573 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/740576/stat : 740576 (naps-1.02b5.sh) S 740573 740576 737802 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142749916 10170368 682 134679101440 94339632410624 94339633489944 140734342761616 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94339635588400 94339635635588 94339664482304 140734342767536 140734342767663 140734342767663 140734342774726 0
/proc/740576/statm: 2483 682 603 264 0 134 0
[pid=740581] ppid=740576 vsize=74692 memory=68392 CPUtime=0.2 cores=4,6
/proc/740581/stat : 740581 (naps-1.02b5) R 740576 740576 737802 0 -1 4194304 13254 0 0 0 18 2 0 0 20 0 1 0 142749917 76484608 17098 134679101440 4194304 5746509 140729342316608 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17346560 140729342321599 140729342321713 140729342321713 140729342328777 0
/proc/740581/statm: 18673 17098 421 379 0 18207 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 84624 KiB
Current children cumulated memory: 71120 KiB
[startup+0.305837 s]*
/proc/loadavg: 4.27 3.29 2.10 5/259 740581
/proc/meminfo: memFree=109446700/131524600 swapFree=131071996/131071996
[pid=740576] ppid=740573 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/740576/stat : 740576 (naps-1.02b5.sh) S 740573 740576 737802 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142749916 10170368 682 134679101440 94339632410624 94339633489944 140734342761616 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94339635588400 94339635635588 94339664482304 140734342767536 140734342767663 140734342767663 140734342774726 0
/proc/740576/statm: 2483 682 603 264 0 134 0
[pid=740581] ppid=740576 vsize=113352 memory=103872 CPUtime=0.29 cores=4,6
/proc/740581/stat : 740581 (naps-1.02b5) R 740576 740576 737802 0 -1 4194304 19552 0 0 0 26 3 0 0 20 0 1 0 142749917 116072448 25968 134679101440 4194304 5746509 140729342316608 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17346560 140729342321599 140729342321713 140729342321713 140729342328777 0
/proc/740581/statm: 28338 25968 421 379 0 27872 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 123284 KiB
Current children cumulated memory: 106600 KiB
[startup+0.700278 s]
/proc/loadavg: 4.27 3.29 2.10 5/259 740581
/proc/meminfo: memFree=109423372/131524600 swapFree=131071996/131071996
[pid=740576] ppid=740573 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/740576/stat : 740576 (naps-1.02b5.sh) S 740573 740576 737802 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142749916 10170368 682 134679101440 94339632410624 94339633489944 140734342761616 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94339635588400 94339635635588 94339664482304 140734342767536 140734342767663 140734342767663 140734342774726 0
/proc/740576/statm: 2483 682 603 264 0 134 0
[pid=740581] ppid=740576 vsize=138536 memory=130196 CPUtime=0.69 cores=4,6
/proc/740581/stat : 740581 (naps-1.02b5) R 740576 740576 737802 0 -1 4194304 24646 0 0 0 64 5 0 0 20 0 1 0 142749917 141860864 32549 134679101440 4194304 5746509 140729342316608 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17346560 140729342321599 140729342321713 140729342321713 140729342328777 0
/proc/740581/statm: 34634 32549 421 379 0 34168 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 148468 KiB
Current children cumulated memory: 132924 KiB
[startup+1.50027 s]
/proc/loadavg: 4.27 3.29 2.10 6/259 740583
/proc/meminfo: memFree=109397588/131524600 swapFree=131071996/131071996
[pid=740576] ppid=740573 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/740576/stat : 740576 (naps-1.02b5.sh) S 740573 740576 737802 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142749916 10170368 682 134679101440 94339632410624 94339633489944 140734342761616 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94339635588400 94339635635588 94339664482304 140734342767536 140734342767663 140734342767663 140734342774726 0
/proc/740576/statm: 2483 682 603 264 0 134 0
[pid=740581] ppid=740576 vsize=259512 memory=232232 CPUtime=1.49 cores=4,6
/proc/740581/stat : 740581 (naps-1.02b5) R 740576 740576 737802 0 -1 4194304 31757 0 0 0 141 8 0 0 20 0 1 0 142749917 265740288 58058 134679101440 4194304 5746509 140729342316608 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17346560 140729342321599 140729342321713 140729342321713 140729342328777 0
/proc/740581/statm: 64878 58058 421 379 0 64412 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 269444 KiB
Current children cumulated memory: 234960 KiB
[startup+3.10564 s]
/proc/loadavg: 4.24 3.30 2.11 5/259 740583
/proc/meminfo: memFree=109223400/131524600 swapFree=131071996/131071996
[pid=740576] ppid=740573 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/740576/stat : 740576 (naps-1.02b5.sh) S 740573 740576 737802 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142749916 10170368 682 134679101440 94339632410624 94339633489944 140734342761616 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94339635588400 94339635635588 94339664482304 140734342767536 140734342767663 140734342767663 140734342774726 0
/proc/740576/statm: 2483 682 603 264 0 134 0
[pid=740581] ppid=740576 vsize=324540 memory=304748 CPUtime=3.09 cores=4,6
/proc/740581/stat : 740581 (naps-1.02b5) R 740576 740576 737802 0 -1 4194304 35006 0 0 0 299 10 0 0 20 0 1 0 142749917 332328960 76187 134679101440 4194304 5746509 140729342316608 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17346560 140729342321599 140729342321713 140729342321713 140729342328777 0
/proc/740581/statm: 81135 76187 421 379 0 80669 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 334472 KiB
Current children cumulated memory: 307476 KiB
[startup+6.30025 s]
/proc/loadavg: 4.24 3.30 2.11 5/259 740583
/proc/meminfo: memFree=109009380/131524600 swapFree=131071996/131071996
[pid=740576] ppid=740573 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/740576/stat : 740576 (naps-1.02b5.sh) S 740573 740576 737802 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142749916 10170368 682 134679101440 94339632410624 94339633489944 140734342761616 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94339635588400 94339635635588 94339664482304 140734342767536 140734342767663 140734342767663 140734342774726 0
/proc/740576/statm: 2483 682 603 264 0 134 0
[pid=740581] ppid=740576 vsize=340944 memory=308372 CPUtime=6.27 cores=4,6
/proc/740581/stat : 740581 (naps-1.02b5) R 740576 740576 737802 0 -1 4194304 35423 0 0 0 617 10 0 0 20 0 1 0 142749917 349126656 77093 134679101440 4194304 5746509 140729342316608 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17346560 140729342321599 140729342321713 140729342321713 140729342328777 0
/proc/740581/statm: 85236 77093 421 379 0 84770 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 350876 KiB
Current children cumulated memory: 311100 KiB
[startup+12.7003 s]
/proc/loadavg: 4.29 3.34 2.14 5/259 740584
/proc/meminfo: memFree=107983640/131524600 swapFree=131071996/131071996
[pid=740576] ppid=740573 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/740576/stat : 740576 (naps-1.02b5.sh) S 740573 740576 737802 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142749916 10170368 682 134679101440 94339632410624 94339633489944 140734342761616 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94339635588400 94339635635588 94339664482304 140734342767536 140734342767663 140734342767663 140734342774726 0
/proc/740576/statm: 2483 682 603 264 0 134 0
[pid=740581] ppid=740576 vsize=340944 memory=311140 CPUtime=12.65 cores=4,6
/proc/740581/stat : 740581 (naps-1.02b5) R 740576 740576 737802 0 -1 4194304 35653 0 0 0 1255 10 0 0 20 0 1 0 142749917 349126656 77785 134679101440 4194304 5746509 140729342316608 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17346560 140729342321599 140729342321713 140729342321713 140729342328777 0
/proc/740581/statm: 85236 77785 421 379 0 84770 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 350876 KiB
Current children cumulated memory: 313868 KiB
[startup+25.5002 s]
/proc/loadavg: 4.24 3.36 2.16 5/259 740586
/proc/meminfo: memFree=107823888/131524600 swapFree=131071996/131071996
[pid=740576] ppid=740573 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/740576/stat : 740576 (naps-1.02b5.sh) S 740573 740576 737802 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142749916 10170368 682 134679101440 94339632410624 94339633489944 140734342761616 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94339635588400 94339635635588 94339664482304 140734342767536 140734342767663 140734342767663 140734342774726 0
/proc/740576/statm: 2483 682 603 264 0 134 0
[pid=740581] ppid=740576 vsize=340944 memory=311244 CPUtime=25.42 cores=4,6
/proc/740581/stat : 740581 (naps-1.02b5) R 740576 740576 737802 0 -1 4194304 35787 0 0 0 2532 10 0 0 20 0 1 0 142749917 349126656 77811 134679101440 4194304 5746509 140729342316608 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17346560 140729342321599 140729342321713 140729342321713 140729342328777 0
/proc/740581/statm: 85236 77811 421 379 0 84770 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 350876 KiB
Current children cumulated memory: 313972 KiB
[startup+28.1257 s]
# the end of solver process 740576 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=27.9408 s, system=0.114021 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 4.24 3.36 2.16 5/259 740586
/proc/meminfo: memFree=107823888/131524600 swapFree=131071996/131071996
[pid=740576] ppid=740573 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/740576/stat : 740576 (naps-1.02b5.sh) S 740573 740576 737802 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142749916 10170368 682 134679101440 94339632410624 94339633489944 140734342761616 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94339635588400 94339635635588 94339664482304 140734342767536 140734342767663 140734342767663 140734342774726 0
/proc/740576/statm: 2483 682 603 264 0 134 0
[pid=740581] ppid=740576 vsize=340944 memory=311244 CPUtime=25.52 cores=4,6
/proc/740581/stat : 740581 (naps-1.02b5) R 740576 740576 737802 0 -1 4194304 35787 0 0 0 2542 10 0 0 20 0 1 0 142749917 349126656 77811 134679101440 4194304 5746509 140729342316608 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17346560 140729342321599 140729342321713 140729342321713 140729342328777 0
/proc/740581/statm: 85236 77811 421 379 0 84770 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 350876 KiB
Current children cumulated memory: 313972 KiB
[startup+27.2003 s]
/proc/loadavg: 4.22 3.37 2.17 5/259 740586
/proc/meminfo: memFree=107748028/131524600 swapFree=131071996/131071996
[pid=740576] ppid=740573 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/740576/stat : 740576 (naps-1.02b5.sh) S 740573 740576 737802 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142749916 10170368 682 134679101440 94339632410624 94339633489944 140734342761616 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94339635588400 94339635635588 94339664482304 140734342767536 140734342767663 140734342767663 140734342774726 0
/proc/740576/statm: 2483 682 603 264 0 134 0
[pid=740581] ppid=740576 vsize=340944 memory=311244 CPUtime=27.12 cores=4,6
/proc/740581/stat : 740581 (naps-1.02b5) R 740576 740576 737802 0 -1 4194304 35789 0 0 0 2702 10 0 0 20 0 1 0 142749917 349126656 77811 134679101440 4194304 5746509 140729342316608 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17346560 140729342321599 140729342321713 140729342321713 140729342328777 0
/proc/740581/statm: 85236 77811 421 379 0 84770 0
Current children cumulated CPU time: 27.12 s
Current children cumulated vsize: 350876 KiB
Current children cumulated memory: 313972 KiB
[startup+27.6002 s]
/proc/loadavg: 4.22 3.37 2.17 5/259 740586
/proc/meminfo: memFree=107748028/131524600 swapFree=131071996/131071996
[pid=740576] ppid=740573 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/740576/stat : 740576 (naps-1.02b5.sh) S 740573 740576 737802 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142749916 10170368 682 134679101440 94339632410624 94339633489944 140734342761616 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94339635588400 94339635635588 94339664482304 140734342767536 140734342767663 140734342767663 140734342774726 0
/proc/740576/statm: 2483 682 603 264 0 134 0
[pid=740581] ppid=740576 vsize=340944 memory=311244 CPUtime=27.52 cores=4,6
/proc/740581/stat : 740581 (naps-1.02b5) R 740576 740576 737802 0 -1 4194304 35789 0 0 0 2742 10 0 0 20 0 1 0 142749917 349126656 77811 134679101440 4194304 5746509 140729342316608 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17346560 140729342321599 140729342321713 140729342321713 140729342328777 0
/proc/740581/statm: 85236 77811 421 379 0 84770 0
Current children cumulated CPU time: 27.52 s
Current children cumulated vsize: 350876 KiB
Current children cumulated memory: 313972 KiB
[startup+28.0002 s]*
/proc/loadavg: 4.22 3.37 2.17 6/259 740586
/proc/meminfo: memFree=107706928/131524600 swapFree=131071996/131071996
[pid=740576] ppid=740573 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/740576/stat : 740576 (naps-1.02b5.sh) S 740573 740576 737802 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142749916 10170368 682 134679101440 94339632410624 94339633489944 140734342761616 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94339635588400 94339635635588 94339664482304 140734342767536 140734342767663 140734342767663 140734342774726 0
/proc/740576/statm: 2483 682 603 264 0 134 0
[pid=740581] ppid=740576 vsize=340944 memory=311244 CPUtime=27.92 cores=4,6
/proc/740581/stat : 740581 (naps-1.02b5) R 740576 740576 737802 0 -1 4194304 35789 0 0 0 2782 10 0 0 20 0 1 0 142749917 349126656 77811 134679101440 4194304 5746509 140729342316608 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17346560 140729342321599 140729342321713 140729342321713 140729342328777 0
/proc/740581/statm: 85236 77811 421 379 0 84770 0
Current children cumulated CPU time: 27.92 s
Current children cumulated vsize: 350876 KiB
Current children cumulated memory: 313972 KiB
[startup+28.1056 s]
/proc/loadavg: 4.22 3.37 2.17 6/259 740586
/proc/meminfo: memFree=107706928/131524600 swapFree=131071996/131071996
[pid=740576] ppid=740573 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/740576/stat : 740576 (naps-1.02b5.sh) S 740573 740576 737802 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142749916 10170368 682 134679101440 94339632410624 94339633489944 140734342761616 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94339635588400 94339635635588 94339664482304 140734342767536 140734342767663 140734342767663 140734342774726 0
/proc/740576/statm: 2483 682 603 264 0 134 0
[pid=740581] ppid=740576 vsize=340944 memory=311244 CPUtime=28.02 cores=4,6
/proc/740581/stat : 740581 (naps-1.02b5) R 740576 740576 737802 0 -1 4194304 35790 0 0 0 2792 10 0 0 20 0 1 0 142749917 349126656 77811 134679101440 4194304 5746509 140729342316608 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 17346560 140729342321599 140729342321713 140729342321713 140729342328777 0
/proc/740581/statm: 85236 77811 421 379 0 84770 0
Current children cumulated CPU time: 28.02 s
Current children cumulated vsize: 350876 KiB
Current children cumulated memory: 313972 KiB
Child status: 30
Real time (s): 28.1258
CPU time (s): 28.0548
CPU user time (s): 27.9408
CPU system time (s): 0.114021
CPU usage (%): 99.7478
Max. virtual memory (cumulated for all children) (KiB): 350876
Max. memory (cumulated for all children) (KiB): 313972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.9408
system time used= 0.114021
maximum resident set size= 311244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36268
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= 12
involuntary context switches= 26
# summary of solver processes directly reported to runsolver:
# pid: 740576
# total CPU time (s): 28.0548
# total CPU user time (s): 27.9408
# total CPU system time (s): 0.114021
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.068745 second user time and 0.16671 second system time
The end
Begin job on nodeC018 at 2024-07-13 23:24:47
IDJOB=4427049
IDBENCH=143599
IDSOLVER=3045
FILE ID=nodeC018/4427049-1720905875
RUNJOBID= nodeC018-1720905520-740085
SLURM_JOB_ID= 7486067
Free space on /tmp= 890068 MiB
SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4427049-1720905875/watcher-4427049-1720905875 -o /tmp/evaluation-result-4427049-1720905875/solver-4427049-1720905875 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1720905520-740085 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4427049-1720905875.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dddb0d744d834e2d5f9db141b6c49ab7
RANDOM SEED=456920806
nodeC018.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 : 3656.075
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.52
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 : 3677.539
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.30
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 : 3607.614
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.52
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 : 3600.026
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.30
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 : 3637.993
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.52
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 : 3677.638
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.30
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 : 3650.598
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.52
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 : 3599.926
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 109556312 kB
MemAvailable: 109493860 kB
Buffers: 325012 kB
Cached: 458708 kB
SwapCached: 0 kB
Active: 471768 kB
Inactive: 20894332 kB
Active(anon): 1564 kB
Inactive(anon): 20618520 kB
Active(file): 470204 kB
Inactive(file): 275812 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 3964 kB
Writeback: 0 kB
AnonPages: 20580588 kB
Mapped: 108564 kB
Shmem: 37712 kB
KReclaimable: 62708 kB
Slab: 163324 kB
SReclaimable: 62708 kB
SUnreclaim: 100616 kB
KernelStack: 4160 kB
PageTables: 49776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 22997728 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 55104 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6164480 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: 209620 kB
DirectMap2M: 10049536 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 890064 MiB
End job on nodeC018 at 2024-07-13 23:25:15