Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PicatSAT 2019-09-12 | ? (TO) | 2400.05 | 2399.8 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-053.xml |
MD5SUM | 7b052d900118d6d219a2e5f61835436e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 318 |
Best CPU time to get the best result obtained on this benchmark | 2400.07 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2861 |
Number of constraints | 1482 |
Number of domains | 105 |
Minimum domain size | 2 |
Maximum domain size | 105 |
Distribution of domain sizes | [{"size":2,"count":1432},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 52 |
Distribution of variable degrees | [{"degree":0,"count":1326},{"degree":2,"count":1482},{"degree":52,"count":53}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 53 |
Distribution of constraint arities | [{"arity":2,"count":53},{"arity":3,"count":1379},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":29,"count":1}, {"arity":30,"count":1}, {"arity":31,"count":1}, {"arity":32,"count":1}, {"arity":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1430 |
Distribution of constraint types | [{"type":"intension","count":1430},{"type":"sum","count":52}] |
Optimization problem | YES |
Type of objective | min SUM |
18.69/18.74 c xcsp_picat version 2.7b12 (9/12/2019) 18.69/18.74 o 1942 33.40/33.46 o 618
One s line expected
runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (13763 MiB free) memory of node 1: 16384 MiB (15731 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395688-1568336279/watcher-4395688-1568336279 -o /tmp/evaluation-result-4395688-1568336279/solver-4395688-1568336279 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568323423-22106 --watchdog 2560 xcsp_picat HOME/instance-4395688-1568336279.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=25312, runsolver pid=25309 [startup+0.100199 s]* /proc/loadavg: 1.92 2.00 2.04 3/199 25313 /proc/meminfo: memFree=30179988/32770624 swapFree=67001568/67108860 [pid=25312] ppid=25309 vsize=2041804 memory=28076 CPUtime=0.1 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 3742 0 0 0 10 0 0 0 20 0 1 0 409876546 2090807296 7019 33554432000 4194304 5870510 140723123626128 140723123623272 140243395521509 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 510451 7019 957 410 0 505924 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 2041804 KiB Current children cumulated memory: 28076 KiB [startup+0.209879 s]* /proc/loadavg: 1.92 2.00 2.04 3/199 25313 /proc/meminfo: memFree=30178252/32770624 swapFree=67001568/67108860 [pid=25312] ppid=25309 vsize=2043128 memory=29592 CPUtime=0.21 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 4169 0 0 0 19 2 0 0 20 0 1 0 409876546 2092163072 7398 33554432000 4194304 5870510 140723123626128 140723123623272 5562059 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 510782 7398 957 410 0 506255 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 2043128 KiB Current children cumulated memory: 29592 KiB [startup+0.309474 s]* /proc/loadavg: 1.92 2.00 2.04 3/199 25313 /proc/meminfo: memFree=30178288/32770624 swapFree=67001568/67108860 [pid=25312] ppid=25309 vsize=2043128 memory=29592 CPUtime=0.31 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 4170 0 0 0 29 2 0 0 20 0 1 0 409876546 2092163072 7398 33554432000 4194304 5870510 140723123626128 140723123625240 5418887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 510782 7398 957 410 0 506255 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 2043128 KiB Current children cumulated memory: 29592 KiB [startup+0.700331 s] /proc/loadavg: 1.92 2.00 2.04 3/199 25313 /proc/meminfo: memFree=30178112/32770624 swapFree=67001568/67108860 [pid=25312] ppid=25309 vsize=2043128 memory=29592 CPUtime=0.69 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 4175 0 0 0 67 2 0 0 20 0 1 0 409876546 2092163072 7398 33554432000 4194304 5870510 140723123626128 140723123625240 5496754 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 510782 7398 957 410 0 506255 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 2043128 KiB Current children cumulated memory: 29592 KiB [startup+1.50036 s] /proc/loadavg: 1.92 2.00 2.04 3/199 25313 /proc/meminfo: memFree=30178112/32770624 swapFree=67001568/67108860 [pid=25312] ppid=25309 vsize=2041572 memory=28232 CPUtime=1.49 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 4873 0 0 0 146 3 0 0 20 0 1 0 409876546 2090569728 7058 33554432000 4194304 5870510 140723123626128 140723123625384 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 510393 7058 967 410 0 505866 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 2041572 KiB Current children cumulated memory: 28232 KiB [startup+3.10953 s] /proc/loadavg: 1.92 2.00 2.04 3/199 25313 /proc/meminfo: memFree=30174768/32770624 swapFree=67001568/67108860 [pid=25312] ppid=25309 vsize=2046224 memory=33760 CPUtime=3.1 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 7648 0 0 0 307 3 0 0 20 0 1 0 409876546 2095333376 8440 33554432000 4194304 5870510 140723123626128 140723123624568 5308341 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 511556 8440 988 410 0 507029 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 2046224 KiB Current children cumulated memory: 33760 KiB [startup+6.30039 s] /proc/loadavg: 1.93 2.00 2.04 3/199 25313 /proc/meminfo: memFree=30166972/32770624 swapFree=67001568/67108860 [pid=25312] ppid=25309 vsize=2053296 memory=40960 CPUtime=6.29 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 11381 0 0 0 625 4 0 0 20 0 1 0 409876546 2102575104 10240 33554432000 4194304 5870510 140723123626128 140723123624568 5308368 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 513324 10240 988 410 0 508797 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 2053296 KiB Current children cumulated memory: 40960 KiB [startup+12.7004 s] /proc/loadavg: 1.93 2.00 2.04 3/199 25313 /proc/meminfo: memFree=30166112/32770624 swapFree=67001568/67108860 [pid=25312] ppid=25309 vsize=2055748 memory=43108 CPUtime=12.69 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 17947 0 0 0 1261 8 0 0 20 0 1 0 409876546 2105085952 10777 33554432000 4194304 5870510 140723123626128 140723123624696 5277491 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 513937 10777 995 410 0 509410 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 2055748 KiB Current children cumulated memory: 43108 KiB [startup+25.5004 s] /proc/loadavg: 1.95 2.00 2.04 3/199 25313 /proc/meminfo: memFree=30167592/32770624 swapFree=67001568/67108860 [pid=25312] ppid=25309 vsize=2055628 memory=41772 CPUtime=25.5 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 29227 0 0 0 2538 12 0 0 20 0 1 0 409876546 2104963072 10443 33554432000 4194304 5870510 140723123626128 140723123624696 5282489 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 513907 10443 995 410 0 509380 0 Current children cumulated CPU time: 25.5 s Current children cumulated vsize: 2055628 KiB Current children cumulated memory: 41772 KiB [startup+51.1098 s] /proc/loadavg: 1.97 2.00 2.04 3/199 25317 /proc/meminfo: memFree=30147168/32770624 swapFree=67001576/67108860 [pid=25312] ppid=25309 vsize=2071492 memory=58924 CPUtime=51.1 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 36937 0 0 0 5097 13 0 0 20 0 1 0 409876546 2121207808 14731 33554432000 4194304 5870510 140723123626128 140723123624568 5288765 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 517873 14731 995 410 0 513346 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 2071492 KiB Current children cumulated memory: 58924 KiB [startup+102.3 s] /proc/loadavg: 1.99 2.00 2.04 3/199 25321 /proc/meminfo: memFree=30086764/32770624 swapFree=67001576/67108860 [pid=25312] ppid=25309 vsize=2094588 memory=80908 CPUtime=102.3 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 43520 0 0 0 10215 15 0 0 20 0 1 0 409876546 2144858112 20227 33554432000 4194304 5870510 140723123626128 140723123624568 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 523647 20227 995 410 0 519120 0 Current children cumulated CPU time: 102.3 s Current children cumulated vsize: 2094588 KiB Current children cumulated memory: 80908 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.04 3/199 25325 /proc/meminfo: memFree=30100920/32770624 swapFree=67001576/67108860 [pid=25312] ppid=25309 vsize=2118284 memory=98652 CPUtime=162.31 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 50216 0 0 0 16215 16 0 0 20 0 1 0 409876546 2169122816 24663 33554432000 4194304 5870510 140723123626128 140723123624568 5289552 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 529571 24663 995 410 0 525044 0 Current children cumulated CPU time: 162.31 s Current children cumulated vsize: 2118284 KiB Current children cumulated memory: 98652 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.04 3/200 25339 /proc/meminfo: memFree=30098752/32770624 swapFree=67001584/67108860 [pid=25312] ppid=25309 vsize=2118284 memory=98852 CPUtime=222.32 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 56323 0 0 0 22215 17 0 0 20 0 1 0 409876546 2169122816 24713 33554432000 4194304 5870510 140723123626128 140723123624568 5282464 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 529571 24713 995 410 0 525044 0 Current children cumulated CPU time: 222.32 s Current children cumulated vsize: 2118284 KiB Current children cumulated memory: 98852 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.04 3/201 25365 /proc/meminfo: memFree=30039372/32770624 swapFree=67001596/67108860 [pid=25312] ppid=25309 vsize=2118580 memory=106168 CPUtime=282.32 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 57197 0 0 0 28215 17 0 0 20 0 1 0 409876546 2169425920 26542 33554432000 4194304 5870510 140723123626128 140723123624696 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 529645 26542 995 410 0 525118 0 Current children cumulated CPU time: 282.32 s Current children cumulated vsize: 2118580 KiB Current children cumulated memory: 106168 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.04 3/201 25369 /proc/meminfo: memFree=30074128/32770624 swapFree=67001596/67108860 [pid=25312] ppid=25309 vsize=2118580 memory=106348 CPUtime=342.32 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 57228 0 0 0 34215 17 0 0 20 0 1 0 409876546 2169425920 26587 33554432000 4194304 5870510 140723123626128 140723123624696 5282609 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 529645 26587 995 410 0 525118 0 Current children cumulated CPU time: 342.32 s Current children cumulated vsize: 2118580 KiB Current children cumulated memory: 106348 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.04 3/201 25375 /proc/meminfo: memFree=30068044/32770624 swapFree=67001596/67108860 [pid=25312] ppid=25309 vsize=2118580 memory=106348 CPUtime=402.33 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 57236 0 0 0 40216 17 0 0 20 0 1 0 409876546 2169425920 26587 33554432000 4194304 5870510 140723123626128 140723123624696 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 529645 26587 995 410 0 525118 0 Current children cumulated CPU time: 402.33 s Current children cumulated vsize: 2118580 KiB Current children cumulated memory: 106348 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.04 3/201 25379 /proc/meminfo: memFree=30041372/32770624 swapFree=67001596/67108860 [pid=25312] ppid=25309 vsize=2118580 memory=106364 CPUtime=462.34 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 64142 0 0 0 46217 17 0 0 20 0 1 0 409876546 2169425920 26591 33554432000 4194304 5870510 140723123626128 140723123624696 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 529645 26591 995 410 0 525118 0 Current children cumulated CPU time: 462.34 s Current children cumulated vsize: 2118580 KiB Current children cumulated memory: 106364 KiB ################ # More data... # ################ /proc/25312/statm: 535364 32386 995 410 0 530837 0 Current children cumulated CPU time: 1602.45 s Current children cumulated vsize: 2141456 KiB Current children cumulated memory: 129544 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.04 3/200 25483 /proc/meminfo: memFree=29996788/32770624 swapFree=67001612/67108860 [pid=25312] ppid=25309 vsize=2141456 memory=129448 CPUtime=1662.46 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 92769 0 0 0 166218 28 0 0 20 0 1 0 409876546 2192850944 32362 33554432000 4194304 5870510 140723123626128 140723123624696 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 535364 32362 995 410 0 530837 0 Current children cumulated CPU time: 1662.46 s Current children cumulated vsize: 2141456 KiB Current children cumulated memory: 129448 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.04 3/200 25488 /proc/meminfo: memFree=29995848/32770624 swapFree=67001616/67108860 [pid=25312] ppid=25309 vsize=2141456 memory=130936 CPUtime=1722.46 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 93160 0 0 0 172218 28 0 0 20 0 1 0 409876546 2192850944 32734 33554432000 4194304 5870510 140723123626128 140723123624696 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 535364 32734 995 410 0 530837 0 Current children cumulated CPU time: 1722.46 s Current children cumulated vsize: 2141456 KiB Current children cumulated memory: 130936 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.04 3/200 25492 /proc/meminfo: memFree=29995516/32770624 swapFree=67001616/67108860 [pid=25312] ppid=25309 vsize=2141456 memory=130936 CPUtime=1782.47 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 93162 0 0 0 178219 28 0 0 20 0 1 0 409876546 2192850944 32734 33554432000 4194304 5870510 140723123626128 140723123624696 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 535364 32734 995 410 0 530837 0 Current children cumulated CPU time: 1782.47 s Current children cumulated vsize: 2141456 KiB Current children cumulated memory: 130936 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.00 2.04 3/200 25498 /proc/meminfo: memFree=29995260/32770624 swapFree=67001616/67108860 [pid=25312] ppid=25309 vsize=2141456 memory=131072 CPUtime=1842.48 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 94066 0 0 0 184220 28 0 0 20 0 1 0 409876546 2192850944 32768 33554432000 4194304 5870510 140723123626128 140723123624696 5282688 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 535364 32768 995 410 0 530837 0 Current children cumulated CPU time: 1842.48 s Current children cumulated vsize: 2141456 KiB Current children cumulated memory: 131072 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.00 2.04 3/200 25564 /proc/meminfo: memFree=29960368/32770624 swapFree=67001620/67108860 [pid=25312] ppid=25309 vsize=2141456 memory=131072 CPUtime=1902.48 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 94088 0 0 0 190220 28 0 0 20 0 1 0 409876546 2192850944 32768 33554432000 4194304 5870510 140723123626128 140723123624696 5282736 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 535364 32768 995 410 0 530837 0 Current children cumulated CPU time: 1902.48 s Current children cumulated vsize: 2141456 KiB Current children cumulated memory: 131072 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.00 2.04 3/200 25632 /proc/meminfo: memFree=30163956/32770624 swapFree=67001620/67108860 [pid=25312] ppid=25309 vsize=2141456 memory=131072 CPUtime=1962.49 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 94098 0 0 0 196221 28 0 0 20 0 1 0 409876546 2192850944 32768 33554432000 4194304 5870510 140723123626128 140723123624696 5283032 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 535364 32768 995 410 0 530837 0 Current children cumulated CPU time: 1962.49 s Current children cumulated vsize: 2141456 KiB Current children cumulated memory: 131072 KiB [startup+2022.3 s] /proc/loadavg: 2.07 2.03 2.05 3/200 25685 /proc/meminfo: memFree=29948472/32770624 swapFree=67001648/67108860 [pid=25312] ppid=25309 vsize=2141456 memory=131072 CPUtime=2022.5 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 94132 0 0 0 202222 28 0 0 20 0 1 0 409876546 2192850944 32768 33554432000 4194304 5870510 140723123626128 140723123624696 5282464 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 535364 32768 995 410 0 530837 0 Current children cumulated CPU time: 2022.5 s Current children cumulated vsize: 2141456 KiB Current children cumulated memory: 131072 KiB [startup+2082.3 s] /proc/loadavg: 2.03 2.02 2.05 3/200 25689 /proc/meminfo: memFree=29946544/32770624 swapFree=67001648/67108860 [pid=25312] ppid=25309 vsize=2171804 memory=135628 CPUtime=2082.5 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 96412 0 0 0 208221 29 0 0 20 0 1 0 409876546 2223927296 33907 33554432000 4194304 5870510 140723123626128 140723123624568 5282251 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 542951 33907 995 410 0 538424 0 Current children cumulated CPU time: 2082.5 s Current children cumulated vsize: 2171804 KiB Current children cumulated memory: 135628 KiB [startup+2142.3 s] /proc/loadavg: 2.01 2.01 2.05 3/200 25693 /proc/meminfo: memFree=29969444/32770624 swapFree=67001648/67108860 [pid=25312] ppid=25309 vsize=2171804 memory=135628 CPUtime=2142.5 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 96418 0 0 0 214221 29 0 0 20 0 1 0 409876546 2223927296 33907 33554432000 4194304 5870510 140723123626128 140723123624568 5282295 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 542951 33907 995 410 0 538424 0 Current children cumulated CPU time: 2142.5 s Current children cumulated vsize: 2171804 KiB Current children cumulated memory: 135628 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 25699 /proc/meminfo: memFree=29935220/32770624 swapFree=67001648/67108860 [pid=25312] ppid=25309 vsize=2171804 memory=135628 CPUtime=2202.51 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 96431 0 0 0 220222 29 0 0 20 0 1 0 409876546 2223927296 33907 33554432000 4194304 5870510 140723123626128 140723123624568 5283024 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 542951 33907 995 410 0 538424 0 Current children cumulated CPU time: 2202.51 s Current children cumulated vsize: 2171804 KiB Current children cumulated memory: 135628 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 25703 /proc/meminfo: memFree=30086324/32770624 swapFree=67001648/67108860 [pid=25312] ppid=25309 vsize=2171804 memory=136032 CPUtime=2262.53 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 96606 0 0 0 226223 30 0 0 20 0 1 0 409876546 2223927296 34008 33554432000 4194304 5870510 140723123626128 140723123624568 5282680 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 542951 34008 995 410 0 538424 0 Current children cumulated CPU time: 2262.53 s Current children cumulated vsize: 2171804 KiB Current children cumulated memory: 136032 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 4/200 25707 /proc/meminfo: memFree=29943028/32770624 swapFree=67001648/67108860 [pid=25312] ppid=25309 vsize=2171804 memory=136060 CPUtime=2322.53 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 97525 0 0 0 232223 30 0 0 20 0 1 0 409876546 2223927296 34015 33554432000 4194304 5870510 140723123626128 140723123624568 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 542951 34015 995 410 0 538424 0 Current children cumulated CPU time: 2322.53 s Current children cumulated vsize: 2171804 KiB Current children cumulated memory: 136060 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 25773 /proc/meminfo: memFree=30096040/32770624 swapFree=67001648/67108860 [pid=25312] ppid=25309 vsize=2171804 memory=136060 CPUtime=2382.54 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 97673 0 0 0 238224 30 0 0 20 0 1 0 409876546 2223927296 34015 33554432000 4194304 5870510 140723123626128 140723123624568 5282531 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 542951 34015 995 410 0 538424 0 Current children cumulated CPU time: 2382.54 s Current children cumulated vsize: 2171804 KiB Current children cumulated memory: 136060 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.8 s] /proc/loadavg: 2.00 2.01 2.05 3/199 25774 /proc/meminfo: memFree=30045124/32770624 swapFree=67001648/67108860 [pid=25312] ppid=25309 vsize=2171804 memory=136060 CPUtime=2400.04 cores=0,2,4,6 /proc/25312/stat : 25312 (xcsp_picat) R 25309 25312 22075 0 -1 4202496 97685 0 0 0 239974 30 0 0 20 0 1 0 409876546 2223927296 34015 33554432000 4194304 5870510 140723123626128 140723123624568 5283116 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40120320 140723123635231 140723123635309 140723123635309 140723123638218 0 /proc/25312/statm: 542951 34015 995 410 0 538424 0 Current children cumulated CPU time: 2400.04 s Current children cumulated vsize: 2171804 KiB Current children cumulated memory: 136060 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2399.8 s] # the end of solver process 25312 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.75 s, system=0.303032 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 2399.8 CPU time (s): 2400.05 CPU user time (s): 2399.75 CPU system time (s): 0.303032 CPU usage (%): 100.01 Max. virtual memory (cumulated for all children) (KiB): 2171804 Max. memory (cumulated for all children) (KiB): 136060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.75 system time used= 0.303032 maximum resident set size= 150636 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 97685 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= 873 # summary of solver processes directly reported to runsolver: # pid: 25312 # total CPU time (s): 2400.05 # total CPU user time (s): 2399.75 # total CPU system time (s): 0.303032 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.4406 second user time and 18.0315 second system time The end
Begin job on node136 at 2019-09-13 02:57:15 IDJOB=4395688 IDBENCH=127015 IDSOLVER=2845 FILE ID=node136/4395688-1568336279 RUNJOBID= node136-1568323423-22106 PBS_JOBID= 21701143 Free space on /tmp= 56788 MiB SOLVER NAME= PicatSAT 2019-09-12 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-053.xml COMMAND LINE= xcsp_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395688-1568336279/watcher-4395688-1568336279 -o /tmp/evaluation-result-4395688-1568336279/solver-4395688-1568336279 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568323423-22106 --watchdog 2560 xcsp_picat HOME/instance-4395688-1568336279.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7b052d900118d6d219a2e5f61835436e RANDOM SEED=1796837199 node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30202924 kB MemAvailable: 31743220 kB Buffers: 68508 kB Cached: 1752772 kB SwapCached: 3756 kB Active: 1035908 kB Inactive: 948344 kB Active(anon): 161044 kB Inactive(anon): 41884 kB Active(file): 874864 kB Inactive(file): 906460 kB Unevictable: 107452 kB Mlocked: 107452 kB SwapTotal: 67108860 kB SwapFree: 67001568 kB Dirty: 3284 kB Writeback: 0 kB AnonPages: 267288 kB Mapped: 44800 kB Shmem: 31468 kB Slab: 178580 kB SReclaimable: 149612 kB SUnreclaim: 28968 kB KernelStack: 3584 kB PageTables: 6096 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2673212 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 56784 MiB End job on node136 at 2019-09-13 03:37:15