Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | SAT | 19.2013 | 19.208 |
Name | MagicSquare/MagicSquare-sum-s1/ MagicSquare-13-sum.xml |
MD5SUM | 507ff1916128830fd6a67d5c849b681a |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 16.6118 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 169 |
Number of constraints | 29 |
Number of domains | 1 |
Minimum domain size | 169 |
Maximum domain size | 169 |
Distribution of domain sizes | [{"size":169,"count":169}] |
Minimum variable degree | 3 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":3,"count":144},{"degree":4,"count":24},{"degree":5,"count":1}] |
Minimum constraint arity | 13 |
Maximum constraint arity | 169 |
Distribution of constraint arities | [{"arity":13,"count":28},{"arity":169,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"allDifferent","count":1},{"type":"sum","count":28}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c root propagations : 0 0.00/0.00 c restarts enabled, print stats at every restarts 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c This is cosoco 2.00 -- 0.00/0.00 c 0.00/0.00 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389644-1568339757.xml 0.00/0.00 c ========================================[ Problem Statistics ]=========================================== 0.00/0.00 c | 0.00/0.00 c | Parse time : 0.00 s 0.00/0.00 c | 0.00/0.00 c | Variables: 169 0.00/0.00 c | Domain Sizes: 169..169 0.00/0.00 c | 0.00/0.00 c | Constraints: 29 0.00/0.00 c | Arity: 13..169 0.00/0.00 c | 0.00/0.00 c | Types: 0.00/0.00 c | All Different: 1 0.00/0.00 c | Sum: 28 0.00/0.00 c | 0.00/0.00 c ========================================================================================================= 0.00/0.00 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.03 c 101 131 1473 23229 0 0 8 11 9 0.00/0.06 c 211 291 3493 53186 0 0 8 23 14 0.00/0.09 c 332 461 5504 80373 0 0 11 23 21 0.10/0.12 c 465 651 7748 112905 0 0 12 24 21 0.10/0.16 c 611 857 10209 151741 0 0 9 24 20 0.10/0.20 c 771 1087 12912 191589 0 0 11 37 31 0.21/0.24 c 947 1354 16143 232736 0 0 25 49 36 0.21/0.27 c 1140 1615 18601 294350 0 0 25 47 37 0.31/0.32 c 1352 1937 22652 344136 0 0 37 62 48 0.31/0.38 c 1585 2299 27857 400222 0 0 25 77 58 0.41/0.44 c 1841 2662 32043 452473 0 0 25 48 39 0.41/0.50 c 2122 3072 37969 508839 0 0 30 63 51 0.51/0.56 c 2431 3486 43128 571900 0 0 21 57 53 0.60/0.66 c 2770 3958 49170 674800 0 0 7 35 22 0.69/0.75 c 3142 4481 55020 771844 0 0 11 47 40 0.79/0.83 c 3551 5048 61037 854508 0 0 12 66 55 0.89/0.91 c 4000 5651 67045 958728 0 0 25 55 44 0.89/1.00 c 4493 6263 73621 1146706 0 0 24 48 47 1.00/1.10 c 5035 6984 81373 1261296 0 0 7 66 45 1.10/1.19 c 5631 7716 88048 1416795 0 0 11 49 46 1.29/1.30 c 6286 8557 96691 1533224 0 0 12 60 57 1.39/1.43 c 7006 9463 105283 1701193 0 0 13 33 31 1.49/1.59 c 7798 10510 116860 1856064 0 0 8 67 42 1.69/1.75 c 8669 11671 127878 2073121 0 0 12 58 56 1.89/1.90 c 9627 12915 140304 2231935 0 0 13 78 70 2.00/2.08 c 10680 14432 156582 2399053 0 0 14 79 76 2.29/2.30 c 11838 15933 173057 2662358 0 0 15 67 48 2.49/2.51 c 13111 17605 188735 2956608 0 0 17 85 64 2.59/2.66 c 14511 19249 201837 3286338 0 0 24 84 82 2.89/2.90 c 16051 21406 225486 3615108 0 0 20 124 95 3.10/3.13 c 17745 23580 247221 3910029 0 0 19 90 87 3.49/3.55 c 19608 26315 288368 4621390 0 0 26 102 88 3.79/3.82 c 21657 28909 313611 4968683 0 0 53 115 106 4.10/4.13 c 23910 32116 341620 5410014 0 0 32 96 88 4.59/4.61 c 26388 35520 375962 6351585 0 0 37 89 87 5.19/5.22 c 29113 39473 425533 7682552 0 0 17 108 106 5.59/5.64 c 32110 43478 466342 8201979 0 0 10 158 104 6.19/6.22 c 35406 48168 510816 9315996 0 0 11 93 90 7.10/7.13 c 39031 54898 604521 10480081 0 0 11 143 134 7.89/8.00 c 43018 60261 684371 12275911 0 0 16 149 148 8.79/8.85 c 47403 67129 763022 13596463 0 0 23 126 123 10.59/10.61 c 52226 75357 931292 15871596 0 0 17 160 152 12.59/12.63 c 57531 84002 1122989 17723013 0 0 21 157 151 14.59/14.69 c 63366 96801 1279455 21612860 0 0 18 123 121 16.49/16.58 c 69784 107200 1455130 23522393 0 0 29 157 153 18.79/18.87 c 76843 120951 1679006 26497674 0 0 21 135 131 19.19/19.20 c First solution is found 19.19/19.20 s SATISFIABLE 19.19/19.20 c restarts : 46 19.19/19.20 c conflicts : 78297 (4078 /sec) 19.19/19.20 c decisions : 123525 (6434 /sec) 19.19/19.20 c propagations : 26824870 (1397282 /sec) 19.19/19.20 c root propagations : 0 19.19/19.20 c filter calls : 1710299 (89088 /sec) 19.19/19.20 c useless filter calls : 995019 (58 %) 19.19/19.20 c Memory used : 27.11 MB 19.19/19.20 c CPU time : 19.1978 s 19.19/19.20 c real time : 19.2042 s 19.19/19.20 19.19/19.20 c solution 1 19.19/19.20 19.19/19.20 v <instantiation type='solution'> 19.19/19.20 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] </list> 19.19/19.20 v <values>24 139 154 121 116 131 36 6 67 79 126 48 58 108 64 157 124 98 94 129 5 65 27 118 46 70 153 12 23 119 141 25 151 4 158 120 18 21 160 56 34 1 140 38 143 26 104 161 85 149 166 2 88 128 53 51 22 87 95 152 137 50 52 130 60 37 114 42 35 100 167 101 117 39 115 40 127 71 41 106 47 28 89 125 148 112 44 72 45 168 80 9 165 13 77 109 3 164 169 10 93 138 8 147 150 43 156 81 33 76 74 30 54 96 82 133 97 110 163 20 132 111 17 15 144 145 11 19 134 84 136 16 162 102 92 78 31 7 99 135 123 49 75 86 59 122 29 83 91 103 142 57 159 105 14 55 107 62 155 66 73 68 32 113 69 63 90 61 146 </values> 19.19/19.20 v </instantiation> 19.19/19.20
OK
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: 16375 MiB (13564 MiB free) memory of node 1: 16384 MiB (13602 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389644-1568339757/watcher-4389644-1568339757 -o /tmp/evaluation-result-4389644-1568339757/solver-4389644-1568339757 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323826654-9510 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389644-1568339757.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=15713, runsolver pid=15710 [startup+0.100471 s]* /proc/loadavg: 2.22 2.21 2.12 3/199 15714 /proc/meminfo: memFree=27817764/32770688 swapFree=66919992/67108860 [pid=15713] ppid=15710 vsize=27616 memory=4016 CPUtime=0.1 cores=4-7 /proc/15713/stat : 15713 (cosoco) R 15710 15713 9478 0 -1 4202496 1231 0 0 0 10 0 0 0 20 0 1 0 409981991 28278784 1004 33554432000 4194304 6210612 140736731213680 140736731211640 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 10997760 140736731214859 140736731214961 140736731214961 140736731217870 0 /proc/15713/statm: 6904 1004 836 493 0 209 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27616 KiB Current children cumulated memory: 4016 KiB [startup+0.210557 s]* /proc/loadavg: 2.22 2.21 2.12 3/199 15714 /proc/meminfo: memFree=27817764/32770688 swapFree=66919992/67108860 [pid=15713] ppid=15710 vsize=27616 memory=4276 CPUtime=0.21 cores=4-7 /proc/15713/stat : 15713 (cosoco) R 15710 15713 9478 0 -1 4202496 1236 0 0 0 21 0 0 0 20 0 1 0 409981991 28278784 1069 33554432000 4194304 6210612 140736731213680 140736731211640 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 10997760 140736731214859 140736731214961 140736731214961 140736731217870 0 /proc/15713/statm: 6904 1069 882 493 0 209 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 27616 KiB Current children cumulated memory: 4276 KiB [startup+0.310302 s]* /proc/loadavg: 2.22 2.21 2.12 3/199 15714 /proc/meminfo: memFree=27817392/32770688 swapFree=66919992/67108860 [pid=15713] ppid=15710 vsize=27760 memory=4276 CPUtime=0.31 cores=4-7 /proc/15713/stat : 15713 (cosoco) R 15710 15713 9478 0 -1 4202496 1247 0 0 0 31 0 0 0 20 0 1 0 409981991 28426240 1069 33554432000 4194304 6210612 140736731213680 140736731211640 5392192 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 10997760 140736731214859 140736731214961 140736731214961 140736731217870 0 /proc/15713/statm: 6940 1069 882 493 0 245 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 27760 KiB Current children cumulated memory: 4276 KiB [startup+0.700293 s] /proc/loadavg: 2.22 2.21 2.12 3/199 15714 /proc/meminfo: memFree=27817392/32770688 swapFree=66919992/67108860 [pid=15713] ppid=15710 vsize=27760 memory=4276 CPUtime=0.69 cores=4-7 /proc/15713/stat : 15713 (cosoco) R 15710 15713 9478 0 -1 4202496 1249 0 0 0 69 0 0 0 20 0 1 0 409981991 28426240 1069 33554432000 4194304 6210612 140736731213680 140736731211640 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 10997760 140736731214859 140736731214961 140736731214961 140736731217870 0 /proc/15713/statm: 6940 1069 882 493 0 245 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 27760 KiB Current children cumulated memory: 4276 KiB [startup+1.50029 s] /proc/loadavg: 2.22 2.21 2.12 3/199 15714 /proc/meminfo: memFree=27817416/32770688 swapFree=66919992/67108860 [pid=15713] ppid=15710 vsize=27760 memory=4276 CPUtime=1.49 cores=4-7 /proc/15713/stat : 15713 (cosoco) R 15710 15713 9478 0 -1 4202496 1249 0 0 0 149 0 0 0 20 0 1 0 409981991 28426240 1069 33554432000 4194304 6210612 140736731213680 140736731211640 5149280 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 10997760 140736731214859 140736731214961 140736731214961 140736731217870 0 /proc/15713/statm: 6940 1069 882 493 0 245 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 27760 KiB Current children cumulated memory: 4276 KiB [startup+3.11014 s] /proc/loadavg: 2.22 2.21 2.12 3/199 15714 /proc/meminfo: memFree=27817416/32770688 swapFree=66919992/67108860 [pid=15713] ppid=15710 vsize=27760 memory=4344 CPUtime=3.1 cores=4-7 /proc/15713/stat : 15713 (cosoco) R 15710 15713 9478 0 -1 4202496 1396 0 0 0 310 0 0 0 20 0 1 0 409981991 28426240 1086 33554432000 4194304 6210612 140736731213680 140736731211640 5149306 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 10997760 140736731214859 140736731214961 140736731214961 140736731217870 0 /proc/15713/statm: 6940 1086 882 493 0 245 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 27760 KiB Current children cumulated memory: 4344 KiB [startup+6.30028 s] /proc/loadavg: 2.20 2.21 2.12 3/199 15715 /proc/meminfo: memFree=27817572/32770688 swapFree=66919992/67108860 [pid=15713] ppid=15710 vsize=27760 memory=4360 CPUtime=6.29 cores=4-7 /proc/15713/stat : 15713 (cosoco) R 15710 15713 9478 0 -1 4202496 1545 0 0 0 629 0 0 0 20 0 1 0 409981991 28426240 1090 33554432000 4194304 6210612 140736731213680 140736731211640 5081394 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 10997760 140736731214859 140736731214961 140736731214961 140736731217870 0 /proc/15713/statm: 6940 1090 882 493 0 245 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 27760 KiB Current children cumulated memory: 4360 KiB [startup+12.7003 s] /proc/loadavg: 2.19 2.21 2.12 3/199 15715 /proc/meminfo: memFree=27817572/32770688 swapFree=66919992/67108860 [pid=15713] ppid=15710 vsize=27760 memory=4376 CPUtime=12.69 cores=4-7 /proc/15713/stat : 15713 (cosoco) R 15710 15713 9478 0 -1 4202496 1701 0 0 0 1269 0 0 0 20 0 1 0 409981991 28426240 1094 33554432000 4194304 6210612 140736731213680 140736731211640 5078493 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 10997760 140736731214859 140736731214961 140736731214961 140736731217870 0 /proc/15713/statm: 6940 1094 882 493 0 245 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 27760 KiB Current children cumulated memory: 4376 KiB [startup+19.208 s] # the end of solver process 15713 was just reported to runsolver # cumulated CPU time of all completed processes: user=19.1983 s, system=0.002999 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+12.8003 s] /proc/loadavg: 2.19 2.21 2.12 3/199 15715 /proc/meminfo: memFree=27817572/32770688 swapFree=66919992/67108860 [pid=15713] ppid=15710 vsize=27760 memory=4376 CPUtime=12.79 cores=4-7 /proc/15713/stat : 15713 (cosoco) R 15710 15713 9478 0 -1 4202496 1701 0 0 0 1279 0 0 0 20 0 1 0 409981991 28426240 1094 33554432000 4194304 6210612 140736731213680 140736731211640 5393231 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 10997760 140736731214859 140736731214961 140736731214961 140736731217870 0 /proc/15713/statm: 6940 1094 882 493 0 245 0 Current children cumulated CPU time: 12.79 s Current children cumulated vsize: 27760 KiB Current children cumulated memory: 4376 KiB [startup+16.0003 s]* /proc/loadavg: 2.17 2.20 2.12 3/199 15715 /proc/meminfo: memFree=27817512/32770688 swapFree=66919992/67108860 [pid=15713] ppid=15710 vsize=27760 memory=4392 CPUtime=16 cores=4-7 /proc/15713/stat : 15713 (cosoco) R 15710 15713 9478 0 -1 4202496 1853 0 0 0 1600 0 0 0 20 0 1 0 409981991 28426240 1098 33554432000 4194304 6210612 140736731213680 140736731211640 5080973 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 10997760 140736731214859 140736731214961 140736731214961 140736731217870 0 /proc/15713/statm: 6940 1098 882 493 0 245 0 Current children cumulated CPU time: 16 s Current children cumulated vsize: 27760 KiB Current children cumulated memory: 4392 KiB [startup+17.6003 s] /proc/loadavg: 2.17 2.20 2.12 3/199 15715 /proc/meminfo: memFree=27817512/32770688 swapFree=66919992/67108860 [pid=15713] ppid=15710 vsize=27760 memory=4392 CPUtime=17.59 cores=4-7 /proc/15713/stat : 15713 (cosoco) R 15710 15713 9478 0 -1 4202496 1854 0 0 0 1759 0 0 0 20 0 1 0 409981991 28426240 1098 33554432000 4194304 6210612 140736731213680 140736731211640 5078394 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 10997760 140736731214859 140736731214961 140736731214961 140736731217870 0 /proc/15713/statm: 6940 1098 882 493 0 245 0 Current children cumulated CPU time: 17.59 s Current children cumulated vsize: 27760 KiB Current children cumulated memory: 4392 KiB [startup+18.4003 s] /proc/loadavg: 2.17 2.20 2.12 3/199 15715 /proc/meminfo: memFree=27817512/32770688 swapFree=66919992/67108860 [pid=15713] ppid=15710 vsize=27760 memory=4392 CPUtime=18.39 cores=4-7 /proc/15713/stat : 15713 (cosoco) R 15710 15713 9478 0 -1 4202496 1854 0 0 0 1839 0 0 0 20 0 1 0 409981991 28426240 1098 33554432000 4194304 6210612 140736731213680 140736731211640 5149321 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 10997760 140736731214859 140736731214961 140736731214961 140736731217870 0 /proc/15713/statm: 6940 1098 882 493 0 245 0 Current children cumulated CPU time: 18.39 s Current children cumulated vsize: 27760 KiB Current children cumulated memory: 4392 KiB [startup+18.8003 s] /proc/loadavg: 2.17 2.20 2.12 3/199 15715 /proc/meminfo: memFree=27817512/32770688 swapFree=66919992/67108860 [pid=15713] ppid=15710 vsize=27760 memory=4392 CPUtime=18.79 cores=4-7 /proc/15713/stat : 15713 (cosoco) R 15710 15713 9478 0 -1 4202496 1854 0 0 0 1879 0 0 0 20 0 1 0 409981991 28426240 1098 33554432000 4194304 6210612 140736731213680 140736731211640 5081090 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 10997760 140736731214859 140736731214961 140736731214961 140736731217870 0 /proc/15713/statm: 6940 1098 882 493 0 245 0 Current children cumulated CPU time: 18.79 s Current children cumulated vsize: 27760 KiB Current children cumulated memory: 4392 KiB [startup+19.2003 s] /proc/loadavg: 2.17 2.20 2.12 3/199 15715 /proc/meminfo: memFree=27817512/32770688 swapFree=66919992/67108860 [pid=15713] ppid=15710 vsize=27760 memory=4392 CPUtime=19.19 cores=4-7 /proc/15713/stat : 15713 (cosoco) R 15710 15713 9478 0 -1 4202496 1854 0 0 0 1919 0 0 0 20 0 1 0 409981991 28426240 1098 33554432000 4194304 6210612 140736731213680 140736731211640 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 10997760 140736731214859 140736731214961 140736731214961 140736731217870 0 /proc/15713/statm: 6940 1098 882 493 0 245 0 Current children cumulated CPU time: 19.19 s Current children cumulated vsize: 27760 KiB Current children cumulated memory: 4392 KiB Child status: 0 Real time (s): 19.208 CPU time (s): 19.2013 CPU user time (s): 19.1983 CPU system time (s): 0.002999 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (KiB): 27760 Max. memory (cumulated for all children) (KiB): 4392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19.1983 system time used= 0.002999 maximum resident set size= 4472 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1897 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= 6 involuntary context switches= 17 # summary of solver processes directly reported to runsolver: # pid: 15713 # total CPU time (s): 19.2013 # total CPU user time (s): 19.1983 # total CPU system time (s): 0.002999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.106556 second user time and 0.181209 second system time The end
Begin job on node120 at 2011-12-14 10:16:19 IDJOB=4389644 IDBENCH=133235 IDSOLVER=2829 FILE ID=node120/4389644-1568339757 RUNJOBID= node120-1323826654-9510 PBS_JOBID= 21701129 Free space on /tmp= 59152 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/MagicSquare/MagicSquare-sum-s1/MagicSquare-13-sum.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389644-1568339757/watcher-4389644-1568339757 -o /tmp/evaluation-result-4389644-1568339757/solver-4389644-1568339757 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323826654-9510 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389644-1568339757.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 507ff1916128830fd6a67d5c849b681a RANDOM SEED=1924512000 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 27818400 kB MemAvailable: 31800908 kB Buffers: 153464 kB Cached: 4122976 kB SwapCached: 77548 kB Active: 1234900 kB Inactive: 3140144 kB Active(anon): 19708 kB Inactive(anon): 128784 kB Active(file): 1215192 kB Inactive(file): 3011360 kB Unevictable: 108228 kB Mlocked: 108228 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 2860 kB Writeback: 0 kB AnonPages: 131060 kB Mapped: 49132 kB Shmem: 41008 kB Slab: 172696 kB SReclaimable: 143584 kB SUnreclaim: 29112 kB KernelStack: 3504 kB PageTables: 5664 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 561748 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 59148 MiB End job on node120 at 2011-12-14 10:16:39